Abelian groups and regular modules (Q5951057): Difference between revisions

By the word module it is always meant a unitary left module over an associative ring with identity element and all groups are Abelian. A module is said to be regular if any of its cyclic submodules is a direct summand and a group is called endoregular if it is regular as a module over its endomorphism ring. The additive group of a regular module \(M\) is a direct sum of a divisible torsionfree group \(D\) and a reduced group \(A\) such that \(\bigoplus_pC_p\subseteq A\subseteq\prod_pC_p\), where \(C_p\) is an elementary \(p\)-group and \(A\) is pure in \(\prod_pC_p\) (Theorem 1). A group \(G\) is endoregular and endoinjective if and only if either \(G=D\oplus A\), where \(D\) is a divisible torsionfree group, \(A\) is an elementary group, and the ranks of both groups are finite, or if \(G=\prod_pC_p\), where \(C_p\) is a finite elementary \(p\)-group for any prime \(p\) (Corollary 3). Recall, that a mixed group \(A\) is said to be an \(sp\)-group if \(\bigoplus_pA_p\subseteq A\subseteq\prod_pA_p\), where the last inclusion is pure. An elementary torsionfree \(sp\)-group \(A\) of finite rank is endoregular if and only if \(A=C_1\oplus\cdots\oplus C_n\oplus E\), where \(C_1,\dots,C_n\) are irreducible \(sp\)-groups such that \(\Hom(C_i,C_j)=0\) for all \(i,j=1,\dots,n\), \(i\neq j\), and \(E\) is an elementary group (Theorem 2).