No label defined (Q4520159)

In 1959, P.~S.~Novikov proved that the free Burnside group \(B(m,n)\) is infinite, where \(m\geq 2\) and \(n\) is large enough. Since that time many results on the local finiteness property appeared. All these results have the same structure: if a periodic group satisfies certain additional conditions then the group is locally finite. In the book under review, an analogous result is proved. A group \(G\) containing an involution \(i\) is called \(T_0\)-group if \(G\) satisfies the following conditions: (1) for all \(g\in G\) the subgroup \(\langle i,i^g\rangle\) is finite; (2) Sylow 2-subgroups of \(G\) are either cyclic or generalized quaternion groups; (3) the centralizer \(C_G(i)\) is infinite and the set \(\{s\in C_G(i):|s|\) is finite\(\}\) is a subgroup of~\(G\); (4) the normalizer of every nontrivial \((i)\)-stable finite subgroup of \(G\) either is a subgroup of \(C_G(i)\) or the set of its finite-order elements is a Frobenius group with Abelian Frobenius kernel and finite Frobenius complement of even order; (5) \(C_G(i)\not=G\) and if \(c\in G\setminus C_G(i)\), \(c^i=c^{-1}\), then there exists an element \(s_c\in C_G(i)\) such that \(\langle c,c^{s_c}\rangle\) is infinite. \(\pi(G)\) is the set of all prime divisors of the orders of finite subgroups of~\(G\). The following theorem is the main result of the book: Theorem 1. Let \(G\) be a group, let \(a\) be an element of \(G\) of prime order \(p\), and let \(a\) satisfy the following conditions: (1) for \(g\in G\), the subgroups \(\langle a,a^g\rangle\) are finite and almost all of them are soluble; (2) the set of finite-order elements of \(C_G(a)\) is finite; (3) the set of finite-order elements of the normalizer of every \((a)\)-stable finite subgroup of \(G\) is a subgroup; (4) if \(p\not=2\), \(q\in\pi(G)\), and \(q\not=p\) then every \((a)\)-stable elementary Abelian \(q\)-subgroup of \(G\) is finite. Then either the set of finite-order elements of \(G\) is an almost nilpotent subgroup or \(G\) is a \(T_0\)-group and \(p=2\). The author also proves the following remarkable Theorem 2. Let \(G\) be a group, let \(a\) be an element of \(G\) of prime order \(p\), and let \(a\) satisfy the following conditions: (1) for \(g\in G\), the subgroups \(\langle a,a^g\rangle\) are finite and almost all of them are soluble; (2) the centralizer \(C_G(a)\) is finite; (3) if \(p\not=2\), \(q\in\pi(G)\), and \(q\not=p\) then every \((a)\)-stable elementary Abelian \(q\)-subgroup is finite. Then \(G\) is a torsion almost nilpotent group. As a corollary to Theorem 2, the following is obtained: Theorem 3. A nontrivial finitely generated group is finite if and only if it contains an element of order \(p\) such that this element satisfies conditions (1)-(3) of Theorem 2. Unfortunately, the text of the book is not easy to understand due to numerous misprints and undefined symbols.