On almost-dense extension groups of torsion-free groups (Q1265535)

The paper deals with a class of mixed abelian groups called \(p\)-cyclic ADE groups of rank \(1\). The groups of this class have torsion-free rank one, so \(\text{rk}(G/T(G))=1\) where \(T(G)\) is the maximal torsion subgroup of \(G\); they have cyclic \(p\)-primary components \(G_p\), and finally they contain a \(T(G)\)-high subgroup \(A\) that is almost dense in \(G\). The latter means that for every pure subgroup \(K\) of \(G\) containing \(A\), the group \(T(K/A)\) is divisible, and this is equivalent to \((p^nG)[p]\subseteq A+p^{n+1}G\) for each positive integer \(n\) and each prime \(p\). Thus ADE stands for ``almost dense extension''. The special torsion-free rank-one subgroup \(A\) is called a moho-subgroup of \(G\). Extensive information is obtained about these groups. There is a Structure Theorem (Theorem 2.6) that gives a technical description of a group \(G\) in the class. For example, the primary components \((G/A)_p\) are isomorphic to \(\mathbb{Z}(p^n)\) for \(0\leq n\leq\infty\). There is a Representation Theorem (Theorem 2.7) that contains conditions on certain invariants for a given moho-subgroup \(A\) such as: \(| G_p|<|(G/A)_p|\) and \(pA\neq A\) whenever \(G_p\neq 0\); on the other hand \((G/A)_p=0\) if \(G_p=0\). There is a Realization Theorem (Theorem 2.8) establishing the existence of \(p\)-cyclic ADE groups of rank one with prescribed invariants. The paper culminates in a Classification Theorem (Theorem 4.5) describing isomorphism in terms of equivalence of invariants. An example is given that two moho-subgroups of a group in the class need not be isomorphic. The reviewer is bothered by a lack of clarity in the distinction between an equivalence class (such as a type) and a member of the class (such as a characteristic).