AIProofWatch
← Explore interestsIndividual problem

An infinite finitely presented residually finite 2-group

Infinite finitely generated residually finite torsion groups were known.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

Understanding the problem

Read the background

Infinite finitely generated residually finite torsion groups were known. The additional target is an ordinary finite presentation, rather than a profinite presentation or a presentation in a restricted variety.

The proof relies on its companion periodic Steinberg-group construction. The group is abstract discrete, and finite presentation must not be confused with finite generation.

Why it matters

If correct, adds ordinary finite presentation to the stated infinite residually finite torsion-group construction target.

What counts as progress

A sourced resolution or substantial advance on the precise target, with hypotheses, prior context, and verification evidence stated separately.

What to watch for

  • Assess the precise statement and assumptions before comparing results.
  • The proof relies on its companion periodic Steinberg-group construction. The group is abstract discrete, and finite presentation must not be confused with finite generation.
  • Track independent assessments, dependencies, corrections, and withdrawals separately from importance.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.