Algebra · Oct 6, 2026

Gersten’s conjecture and virtual compact specialness of one-relator groups

Proves Gersten's conjecture: every finitely generated one-relator group containing no Baumslag–Solitar subgroup BS(m,n)\mathrm{BS}(m,n), with m,n≠0m,n\ne0, is word-hyperbolic. It also proves that every word-hyperbolic one-relator group is virtually compact special.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources