Algebra · Oct 6, 2026

An infinite finitely presented residually finite 2-group and a finitely presented nil algebra

Constructs an infinite finitely presented residually finite group whose elements all have finite 2-power order, answering the finitely presented Burnside problem negatively even in this class. The construction also yields an infinite-dimensional finitely presented nil associative 𝔽2-algebra and a finitely presented infinite-dimensional algebraic unitization, giving negative answers to the corresponding nilpotence and Kurosh finiteness questions.

Contributors

Unreleased OpenAI model

AI systems: Unreleased OpenAI model

Sources