OpenAI reports Gersten’s one-relator hyperbolicity conjecture

Every finitely generated one-relator group containing no subgroup isomorphic to a Baumslag–Solitar group BS(m,n), with m and n nonzero, is word-hyperbolic.

Curated contributions 1

Understand the problem ↓

Understanding the problem

Read the background

Every finitely generated one-relator group containing no subgroup isomorphic to a Baumslag–Solitar group BS(m,n), with m and n nonzero, is word-hyperbolic.

Why it matters

If correct, characterizes hyperbolicity of these one-relator groups through the absence of Baumslag–Solitar subgroups.

What counts as progress

Are one-relator groups without Baumslag–Solitar subgroups hyperbolic?

Website timeline

Publication dates and editorial changes.