# Every finite group admits a just finite presentation

arXiv: https://arxiv.org/abs/2605.10402 · HTML: https://mlsanity.com/paper/2605.10402/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 1 of its 12 references that are in the map.
- First posted on arXiv 11 May 2026.

## Builds on (most cited first, 1 of 1)

- [AI co-mathematician: Accelerating mathematicians with agentic AI](https://mlsanity.com/paper/2605.06651/) (2026)

## Abstract (arXiv)

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.