Generalizations of morphic group rings. (Q925348)

Let \(R\) be an associative ring with identity. If \(a\in R\), then let \(l_R(a)\) be the left annihilator of \(a\) in \(R\). The element \(a\in R\) is said to be left morphic if there exists \(b\in R\) such that \(l_R(a)=Rb\) and \(l_R(b)=Ra\). An element \(a\in R\) is called left \(\pi\)-morphic (resp., left \(G\)-morphic) if there exists a positive integer \(n\) such that \(a^n\) (resp., \(a^n\) with \(a^n\neq 0\)) is left morphic. The ring \(R\) is called left morphic if every element of \(R\) is left morphic. Left \(\pi\)-morphic and left \(G\)-morphic rings are defined analogously [see \textit{W. K. Nicholson} and \textit{E. Sánchez Campos}, J. Algebra 271, No. 1, 391-406 (2004; Zbl 1071.16006)]. In this paper the authors investigate when the group ring \(RG\) of a group \(G\) over a ring \(R\) is left \(\pi\)-morphic (resp., left \(G\)-morphic). Let \(G\) be a locally finite group. If \(RG\) is left \(\pi\)-morphic (resp., left \(G\)-morphic), then it is proved that \(R\) is left \(\pi\)-morphic (resp., left \(G\)-morphic). Moreover, if \(RH\) is left \(\pi\)-morphic (resp., left \(G\)-morphic) for every finite subgroup \(H\) of \(G\), then \(RG\) is left \(\pi\)-morphic (resp., left \(G\)-morphic). Necessary and sufficient conditions for \(RG\) to be left \(G\)-morphic are obtained when \(R=Z_n\) and \(G\) is a finite Abelian group.