Prove PeriodicGroup (openai/math family 247: An infinite finitely presented residually finite $2$-group) in…
Prove PeriodicGroup (openai/math family 247: An infinite finitely presented residually finite $2$-group) in…: a task in openai/math as Harbor environments (Harbor dataset). Context: this statement belongs to family 247 of the release, An infinite finitely presented residually finite $2$-group…
The task
Context: this statement belongs to family 247 of the release, *An infinite finitely presented residually finite $2$-group* (Group theory). The family as a whole: Constructs an infinite finitely presented residually finite group whose elements all have finite $2$-power order, answering the finitely presented Burnside…
Part of raising-heart/openai-math.