OpenAI reports an Eilenberg–Ganea counterexample
- Mathematics
There is a finitely generated residually finite group of integral cohomological dimension two and geometric dimension three.
There is a finitely generated residually finite group of integral cohomological dimension two and geometric dimension three.
There is a finitely generated residually finite group of integral cohomological dimension two and geometric dimension three.
There is a finitely generated residually finite group of integral cohomological dimension two and geometric dimension three.
If correct, disproves the long-standing Eilenberg–Ganea conjecture with a finitely generated residually finite example.
Can a group have cohomological dimension two but geometric dimension three?
Publication dates and editorial changes.
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.