Marc Lackenby 证明每个有限群都容许"恰好有限"表现，破解 Kourovka Notebook 问题 21.10
Every finite group admits a just finite presentation
AI 导读
数学家 Marc Lackenby 在 arXiv 论文中证明：每个有限群都存在"恰好有限"（just finite）表现，即删去任一关系后所得群变为无限群，肯定回答了 Kourovka Notebook 问题 21.10。
正文 · 原文
Abstract: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.
| Comments: | 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 |
| Subjects: | Group Theory (math.GR); Artificial Intelligence (cs.AI) |
| MSC classes: | 20F05, 20D99, 20E06, 22D55 |
| Cite as: | arXiv:2605.10402 [math.GR] |
| (or arXiv:2605.10402v2 [math.GR] for this version) | |
| https://doi.org/10.48550/arXiv.2605.10402 arXiv-issued DOI via DataCite |
Submission history
From: Marc Lackenby [view email]
[v1]
Mon, 11 May 2026 11:42:08 UTC (6 KB)
[v2]
Wed, 4 Nov 2026 09:57:27 UTC (7 KB)
来源：arXiv cs.AI · arxiv.org