No label defined (Q3983708)

Let \(G\) be a group. By \(G\langle h\rangle\), we will denote a cyclic extension of \(G\) by an element \(h\) so that \(G\) is normal in \(G\langle h\rangle\). For any prime \(p\) and any natural number \(n\), \(C_ p\) denotes the cyclic group of order \(p\) and \(C_ p^ n\) denotes the product of \(n\) copies of \(C_ p\). Theorem 1: For a variety \(V\) of groups, the following conditions are equivalent: (a) Every group of \(V\) of the form \(C_ p^ n\langle h\rangle\) is nilpotent. (b) Every finite group of \(V\) is nilpotent. (c) Every soluble group of \(V\) of finite type is nilpotent. (d) Every linear group of \(V\) is nilpotent. A generalized Engel identity of order \(k\) is an identity of the form \([x,\gamma_ 1,\gamma_ 2,\dots,\gamma_ k]=1\), where each \(\gamma_ i\) is a member of the free monoid on \(\{x,x^{-1},y,y^{-1},z,z^{- 1},\dots\}\) of degree 1 in \(y\). Corollary: A group that is finite, linear or soluble of finite type and satisfies a generalized Engel identity is nilpotent. Theorem 2. For every positive integer \(k\), there are two members \(u_ k\), \(v_ k\) of the free monoid on \(\{x,y\}\) such that (a) Every nilpotent group of nilpotency class \(\leq k\) satisfies \(u_ k=v_ k\), (b) The identity \(u_ k=v_ k\) implies the identity \(u_{k+1}=v_{k+1}\), (c) The identity \(u_ k=v_ k\) in linear groups and soluble groups of finite type implies nilpotency.