Prove EilenbergGanea (openai/math family 249: A finitely generated counterexample to Eilenberg–Ganea) in…
Prove EilenbergGanea (openai/math family 249: A finitely generated counterexample to Eilenberg–Ganea) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 249 of the release, A finitely generated counterexample to Eilenberg–Ganea (Group…
The task
Context: this statement belongs to family 249 of the release, *A finitely generated counterexample to Eilenberg–Ganea* (Group theory). The family as a whole: Constructs a finitely generated residually finite group with integral cohomological dimension two and geometric dimension three, disproving the Eilenberg–Ganea…
Part of raising-heart/openai-math.