Commutator endomorphisms of totally projective abelian \(p\)-groups (Q6082368)

All groups in the paper under review are \(p\)-primary abelian groups, where \(p\) is fixed prime. For a primary abelian group \(G\), \textit{A. R. Chekhlov} and \textit{P. V. Danchev} [J. Group Theory 18, No. 4, 623--647 (2015; Zbl 1325.20049)] defined variations of Kaplansky's notion of full transitivity. If \(E\) is the endomorphism ring of the group \(G\) then let \(Z\) be the set of endomorphisms \([\varphi,\psi]=\varphi\psi-\psi\varphi\) ranging over all the elements of \(E\) (the collection of all commutator endomorphisms). The author studies \(X\)-full transitivity (in terms of Chekhlov and Danchev [loc. cit.]) if \(X=S\), where \(S\) is the additive subgroup of \(E\) generated by the set \(Z\); or \(X=R\), where \(R\) is the (possibly non-unital) subring of \(E\) generated by \(Z\); or \(X=U\), where \(U\) is the unital subring of \(E\) generated by \(Z\). The author finds conditions on a \(C_{\lambda}\)-groups \(G\) such that it is either \(S\)-fully transitive, \(R\)-fully transitive or \(U\)-fully transitive. For example, if \(\lambda\) is a limit ordinal and \(G\) is a \(C_{\lambda}\) group with \(p^{\lambda}G=0\), then \(G\) is \(U\)-fully transitive if and only if there do not exist ordinals \(\alpha\) and \(\beta\) with \(\alpha+1<\beta\) and \(f_G(\alpha)=f_G(\beta)=1\) where \(f_G\) is the Ulm function. A group \(G\) is a \(CX\)-group if the full endomorphism ring \(E\) of \(G\) coincides with \(X\). The author finds conditions on a totally projective group \(G\) such that it is either a \(CS\)-group, a \(CR\)-group or a \(CU\)-group. For example, \(G\) is a \(CS\)-group if and only if \(f_G(\alpha)\) is \(0\) or infinite for every ordinal \(\alpha\).