On left Engel elements of a group relative to a subgroup of certain linear groups. (Q1946179)

Let \(G\) be a group and \(x,y\in G\). For any non-negative integer \(n\), the \(n\)-Engel left normed commutator \([x,{_ny}]\) is defined inductively as follows \[ [x,{_0y}]=x,\quad [x,{_1y}]=[x,y]=x^{-1}y^{-1}xy,\quad [x,{_ny}]=[[x,{_{n-1}y}],y]\quad\text{for all }n\geq 1. \] Let \(X\) be a subset of a group \(G\). An element \(g\in G\) is called an \(X\)-relative left Engel element of \(G\), if for each \(x\in X\), there is a positive integer \(n=n(g,x)\) such that \([x,{_ng}]=1\). The set of all \(X\)-relative left Engel elements of \(G\) is denoted by \(L(G,X)\). An element \(g\in G\) is called an \(X\)-relative left \(m\)-Engel element of \(G\), if \([x,{_mg}]=1\) for all \(x\in X\). The set of all \(X\)-relative left \(m\)-Engel elements is denoted by \(L_m(G,X)\). The elements in \(\overline L(G,X)=\bigcup_{m\in\mathbb N}L_m(G,X)\) are called bounded \(X\)-relative left Engel elements of \(G\). Let \(H\) be a subgroup of \(G\) and \(X\) be a subset of \(G\). Then \(H^X\) denotes the subgroup \(\langle h^x\mid h\in H,\;x\in X\rangle\). The \(X\)-relative Hirsch-Plotkin radical is defined to be \(HP(G,X)=\{a\in G\mid\langle a\rangle^X\) is locally nilpotent\(\}\) whereas the \(X\)-relative Baer radical is defined to be \(B(G,X)=\{a\in G\mid\langle a\rangle\) is subnormal in \(\langle a\rangle^X\}\). Note that when \(X=G\), we have \(HP(G,G)=HP(G)\) the usual Hirsch-Plotkin radical, and \(B(G,G)=B(G)\) the Baer radical. Let \(R\) be a commutative ring with identity and \(A\) be an \(R\)-module. The group of all \(R\)-automorphisms of \(A\) is denoted by \(\Aut_RA\). Let \[ F\Aut_RA=\{\alpha\in\Aut_RA\mid(\alpha-1)A\text{ is a Noetherian }R\text{-module}\}. \] \(F\Aut_RA\) is a subgroup of \(\Aut_RA\) and it is called the finitary automorphism group of \(A\) over \(R\). Main results of the paper under review are the following: Theorem 2.9. Let \(G\) be a group, \(R\) be a commutative Noetherian ring with identity and \(A\) be a finitely generated \(R\)-module. If \(\langle L(G)\rangle\) is a subgroup of \(\Aut_RA\), then \(L(G)=HP(G)\) and \(\overline L(G)=B(G)\). Furthermore, \(\langle L(G)\rangle\) is solvable. Let \(H,K\) be subgroups of a group \(G\) and \(H\vartriangleleft K\). Let \(\mathbb N_0\) be the set of non-negative integers. An element \(b\in G\) is said to be \((H,K)\)-centralizable if there is a sequence of normal subgroups of \(K\), say \(\{H_i\}_{i\in\mathbb N_0}\), such that (a) \(H_0=H\), (b) \(H_{i+1}=\{d\in K\mid [d,b]\in H_i\}\) for all \(i\in\mathbb N_0\). It is not hard to see that \(H=H_0\vartriangleleft H_1\vartriangleleft H_2\vartriangleleft\cdots\). The sequence \(\{H_i\}_{i\in \mathbb N_0}\) shall be called the \((H,K)\)-centralized normal sequence of \(b\). A set \(W\subseteq G\) is said to be \((H,K)\)-centralizable if every element in \(W\) is \((H,K)\)-centralizable. Theorem 3.8. Let \(G\) be a group, \(R\) be a commutative Noetherian ring with identity and \(A\) be a finitely generated \(R\)-module. Let \(S\) be a normal subgroup of \(G\) such that \(\langle L(S)\rangle\) is a subgroup of \(\Aut_RA\). If \(L(G,S)\) is \((HP(S),S)\)-centralizable, then (a) \(B(G,S)=\overline L(G,S)\), (b) \(HP(G,S)=L(G,S)\). Theorem 4.1. Let \(G\) be a group, \(R\) be a commutative ring with identity and \(A\) be an \(R\)-module. If \(\langle L(G)\rangle\) is a subgroup of \(F\Aut_RA\), then \(L(G)=HP(G)\) and \(\overline L(G)=B(G)\). Theorem 4.3. Let \(S\) be a normal locally solvable subgroup of a group \(G\). Then \(HP(G,S)=L(G,S)\). Theorem 4.4. Let \(G\) be a group, \(R\) be a commutative Noetherian ring with identity and \(A\) be a finitely generated \(R\)-module. Let \(S\) be a normal subgroup of \(G\) such that \(\langle L(S)\rangle\) is a subgroup of \(F\Aut_RA\). If \(L(G,S)\) is \((HP(S),S)\)-centralizable, then \(HP(G,S)=L(G,S)\).