A simple construction of finitely generated infinite torsion groups

Abstract

The goal of this note is to provide yet another proof of the following theorem of Golod: there exists an infinite finitely generated group $G$ such that every element of $G$ has finite order. Our proof is based on the Nielsen–Schreier index formula and is simple enough to be included in a standard group theory course.