Maximal divisible subgroups in modular group rings of \(p\)-mixed Abelian groups. (Q968024)

Let \(R(G)\) be the group ring of an Abelian group \(G\) over a commutative unital ring \(R\), with normalized unit group \(VR(G)\) and its \(p\)-component \(V_pR(G)\). As usual, \(G_t\) denotes the maximal torsion subgroup of \(G\) and \(dG\) denotes the maximal divisible subgroup of \(G\). Moreover, \(id(R)=\{e\in R:e^2=e\}\) designates the set of all idempotents in \(R\), \(N(R)\) designates the nil-radical of \(R\), \(R^{(p)}\) designates the maximal \((p)\)-divisible subring of \(R\) when \(\text{char}(R)=p\) is a prime. We note that the paper is not new! The main result of the paper, namely Theorem 9, is published in [Commun. Algebra 38 (2010)]. Here we give this result. Theorem 9. Let \(G\) be a \(p\)-mixed Abelian group and \(R\) a commutative unital ring of prime characteristic \(p\). Then the following isomorphism holds: \[ dVR(G)\cong\coprod_\lambda Z(p^\infty)\times\coprod_\mu\left({dG\over dG_p}\right) \] where \(\lambda=\max(|R^{(p)}|,|G^{(p)}|)\) if \(dG_p\neq 1\), or \(\lambda=\max(|N(R^{(p)})|,|G^{(p)}|)\) if \(dG_p=1\), \(G^{(p)}\neq 1\) and \(N(R^{(p)})\neq 0\), or \(\lambda=0\) if \(G^{(p)}=1\) and \(N(R^{(p)})=0\), and \(\mu=|id(R)|\geq\aleph_0\) or \(\mu=\log_2|id(R)|\) if \(|id(R)|<\aleph_0\). Additional remarks: (i) The main result of the article (Theorem 9) in contrast with the author's assertion, does not extend the result of the reviewer [Commun. Algebra 23, No. 7, 2469-2489 (1995; Zbl 0828.16037)], since in Theorem 9 the group \(G\) is \(p\)-mixed, that is \(G_t=G_p\), while in the result of the reviewer \(G\) is an arbitrary Abelian group. Besides, in the proof the author uses the result of the reviewer. (ii) Theorem 9 is not complete, since in this theorem is not formulated the case when \(dG_p=1\) and at least one of the conditions \(G^{(p)}=1\) and \(N(R^{(p)})=0\) holds. In this case in the Theorem 9 must be written \(\lambda=0\) which follows from the above mentioned result of the reviewer.