It's a conjecture that surface groups are characterized by being the only 1-relator groups such that every finite-index subgroup is also 1-relator and every infinite index subgroup is free.
Ian Agol
- 68.9k
- 3
- 194
- 358