A simple construction of infinite finitely generated torsion groups
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.
\section{Introduction}
Recall that a group $G$ is said to be \emph{torsion} (or \emph{periodic}) if every element of $G$ has finite order. Obviously, every finite group is torsion. Infinite torsion groups can be constructed as direct products of finite groups; note, however, that these groups are not finitely generated. The following famous problem was posed by William Burnside in 1902.

\begin{prob}
Is every finitely generated torsion group finite?
\end{prob}

This question and its variations served as a catalyst for research in group theory throughout the 20th century. In 1964,
Golod answered it in negative \cite{Gol}.

\begin{thm}[Golod] \label{main}
There exists a finitely generated infinite torsion group.
\end{thm}

Golod's proof was based on the Golod-Shafarevich inequality giving a sufficient condition for certain graded algebras to be infinite dimensional. Since then, many alternative constructions of infinite finitely generated torsion groups have been found. Notable examples include free Burnside groups \cite{A}, groups acting on rooted trees \cite{Gri}, and inductive limits of hyperbolic groups \cite{Gro,Ols93}.

Although most of these constructions are quite involved, the Grigorchuck example \cite{Gri} and Olshanskii's simplification of the original Golod's argument  \cite{Ols95} are simple enough to be discussed in a standard group theory course. The goal of this paper is to provide yet another elementary proof based on the Nielsen-Schreier formula. The idea of our proof is by no means original. In one form or another, it appeared in \cite{LO,OO} and some other papers. However, the proofs in these papers were ``spoiled" by technicalities caused by the desire to ensure certain additional properties. Below we provide the simplified proof along these lines.

\section{Proof of Golod's theorem}

Given two elements $x,y$ of a group $G$, we  write $x^y$ for $y^{-1}xy$. We denote by $\ll S\rr ^G$ the normal closure of a subset $S$ in $G$, i.e., the smallest normal subgroup of $G$ containing $S$. If $G$ is finitely presented, $\d (G)$ denotes the deficiency of $G$. That is, $\d(G)$ is the maximum of the difference between the number of generators and the number of relations over all finite presentations of $G$.

\begin{lem}\label{sm}
For every finite index subgroup $H$ of a finitely presented group $G$, we have
\begin{equation}\label{eq:sm}
\d (H)-1\ge (\d (G)-1)|G:H|.
\end{equation}
\end{lem}
\begin{proof}
Let $G=F/R$ be a finitely presented group, where $F=\langle x_1, \ldots , x_d\rangle $ is free of rank $d$, $R=\ll R_1, \ldots , R_r\rr ^F$, and $d-r=\d(G)$. Let $H$ be a finite index subgroup of $G$, $K$ the full preimage of $H$ in $F$. By the Nilsen-Schreier formula, $K$ is a free group of rank $(d-1)j+1$, where $j=|F:K|=|G:H|$. It is straightforward to check that $R=\ll \{ R_i^t \mid i=1, \ldots, r,\, t\in T\} \rr ^K$, where $T$ is a set of left transversal for $K$ (i.e., the set of representatives of left cosets of $K$ in $F$). Thus, $H=K/R$ has a presentation with $(d-1)j+1$ generators and $r|T|=rj$ relations, which implies (\ref{eq:sm}).
\end{proof}


Let $\mathcal D$ denote the class of all finitely presented groups that contain a finite index subgroup of deficiency at least $2$. Let $G\in \mathcal D$  and let $H\le G$ be a finite index subgroup of deficiency at least $2$. Passing to the intersection of all conjugates of $H$, we obtain a finite index normal subgroup $N\lhd G$ such that $N\le H$. Lemma \ref{sm} implies that $\d (N)\ge 2$. Thus, every $G\in \mathcal D$ contains a finite index \emph{normal} subgroup of deficiency at least $2$.

For a group $G$, we denote by $\widehat G$ the quotient of $G$ by the intersection of all finite index subgroups of $G$. Basic linear algebra implies that every group of deficiency at least $2$ surjects onto $\mathbb Z$. Therefore, $|\widehat G|=\infty$ for every $G\in \mathcal D$.

\begin{prop}\label{quot}
Let $G\in \mathcal D$. For every $g\in G$, there exists $m\in \mathbb Z$ such that $Q=G/\ll g^{m}\rr ^G\in \mathcal D$ and the image of $g$ in $\widehat Q$ has finite order.
\end{prop}

\begin{proof}
The idea of the proof is borrowed from \cite{BP}. If the image of $g$ in $\widehat G$ has finite order, we can take $m=0$. Henceforth, we assume that the image of $g$ in $\widehat G$ has infinite order.

Let $M$ be a finite index normal subgroup of $G$ such that $\d (M)\ge 2$. By our assumption, there exist finite index subgroups $N\lhd G$ such that $|\langle g\rangle N / N |$ is arbitrarily large; in particular, we can find a finite index subgroup $N\lhd G$ such that $N\le M$ and
\begin{equation}\label{o(g)}
|\langle g\rangle N / N |> |G:M|.
\end{equation}
Let $m= |\langle g\rangle N / N |$, $f=g^m$. Obviously, $f\in N$.

Let $T$ be a right transversal of $\langle g\rangle N$ in $G$. For every $s\in G$, we have $s=g^knt$ for some $k\in \mathbb Z$,
$n\in N$, $t\in T$, and $f^s=f^{nt}=(f^{t})^{n^t}$. Since $n^{t}\in N$, we obtain $\ll f\rr ^G=\ll \{ f^{t} \, |\, t\in T\}\rr^N$. Therefore,
$$
\d\Big(N/\ll f\rr^G\Big) \ge \d(N) - |T| =\d(N) - |G:\langle g\rangle N| = \d(N)- \frac{|G/N|}m.
$$
Combining this inequality with Lemma \ref{sm} and (\ref{o(g)}), we obtain
$$
\d\Big(N/\ll f\rr^G\Big) -1  \ge   (\d(M)-1)|M/N| - \frac{|G/N|}m  = |M/N|\left(\d(M)-1 - \frac{|G/M|}m\right) > 0.
$$
Therefore, $G/\ll f\rr^G\in \mathcal D$.
\end{proof}

\begin{proof}[Proof of Theorem \ref{main}]
Let $M_0=G_0=F_2$ be the free group of rank $2$. Clearly, $G_0\in \mathcal D$. We enumerate all elements of $G=\{ 1=g_0, g_1, g_2, \ldots \} $ and  construct an infinite torsion quotient of $G_0$ by the following inductive procedure. Suppose that for some $k\ge 0$, we have already constructed a group $G_k$ and a subgroup $M_k\lhd G_k$ such that the following conditions hold:
\begin{enumerate}
\item[(a)] $G_k\in \mathcal D$;
\item[(b)] the natural image of $g_k$ in $\widehat G_k$ has finite order;
\item[(c)] $|G_k/M_k|\ge k$.
\end{enumerate}

Since $G_k\in \mathcal D$, $G_k$ contains subgroups of arbitrarily large finite index. In particular, we can find a subgroup $L_k\lhd G_k$ such that $L_k\le M_k$ and $\infty > |G_k/L_k|\ge k+1$. If the image of $g_{k+1}$ in $\widehat G_{k+1}$ has finite order, we let $G_{k+1}=G_k$ and $M_{k+1}=L_k$. Otherwise, let $g$ be a non-trivial element of $\langle g_{k+1}\rangle \cap L_k$. By Proposition \ref{quot}, there exists $m\in \mathbb Z$ such that $G_{k+1}= G_{k}/\ll g^m\rr ^{G_{k}}\in \mathcal D$ and the image of $g_{k+1}$ in $\widehat G_{k+1}$ has finite order.
Let $M_{k+1}$ be the image of $L_k$ in $G_{k+1}$.

Note that we have $G_{k+1}/ M_{k+1} \cong G_{k}/L_k$ since $g\in L_k$; therefore, $G_{k+1}/ M_{k+1}$ naturally surjects onto $G_k/M_k$.
Thus we obtain the following commutative diagram
\begin{equation}\label{seq}
\begin{array}{ccccccc}
G_0 & \longrightarrow  & G_1 &  \longrightarrow & G_2 &  \longrightarrow &\ldots\\
\downarrow && \downarrow && \downarrow &&\\
G_0/M_0& \longleftarrow & G_1/M_1 & \longleftarrow & G_2/M_2 & \longleftarrow & \ldots,\\
\end{array}
\end{equation}
where all arrows are surjective.

Let $G$ be the direct limit of the first row. That is, $G=G_0/\bigcup_{k\in \mathbb N}N_k$, where $N_k$ is the kernel of the homomorphism $G_0\to G_k$ obtained by composing the first $k$ maps in the first row of (\ref{seq}). By (b), the image of $g_k$ has finite order in $\widehat G_k$. Since $\widehat G_k$ surjects onto $\widehat G$ for all $k$, $\widehat G$ is a torsion group. On the other hand, $G$ surjects onto $G_k/M_k$ for all $k$. Combining this with (c), we obtain that $\widehat G$ is infinite.
\end{proof}



2022-12-05T02:02:02.000
2211
2211.09989
en
https://arxiv.org/abs/2211.09989
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.
Group Theory (math.GR)
A simple construction of infinite finitely generated torsion groups
Qwen/Qwen-72B
1. YES
2. YES