{"id":"arxiv/2605.10402","url":"https://arxiv.org/abs/2605.10402","tags":["math.GR","cs.AI"],"score":0,"title":"Every finite group admits a just finite presentation","domain":"math.GR","source":"arxiv","authors":["Marc Lackenby"],"reviews":0,"subject":"math.GR","summary":"A finite presentation 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.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-11","reactions":{}}