arXiv:2605.10402 · v2

Every finite group admits a just finite presentation

首次提交 2026-05-11 19:42

版本更新 2026-11-04 17:57

雷达观测 2026-11-05 12:13

摘要

A finite presentation < X | R > of a finite group is called `just finite' if removing any relation from R results in a presentation for an infinite group. It has been an open question (Kourovka Notebook, Problem 21.10) whether every finite group admits such a presentation. We resolve this conjecture in the affirmative.

作者备注：Significant assistance was provided by the AI co-mathematician tool developed by Google DeepMind. v2: 7 pages, incorporates referee's comments and improvements. Accepted by the Journal of Group Theory