Separable mixed groups
In this paper, we initiate the study of various classes of isotype subgroups of global mixed groups. Our goal is to advance the theory of -isotype subgroups to a level comparable to its status in the simpler contexts of torsion-free and -local mixed groups. Given the history of those theories, one anticipates that definitive results are to be found only when attention is restricted to global -groups, the prototype being global groups with decomposition bases. A large portion of this paper is...
If is an isotype knice subgroup of a global Warfield group , we introduce the notion of a -subgroup to obtain various necessary and sufficient conditions on the quotient group in order for itself to be a global Warfield group. Our main theorem is that is a global Warfield group if and only if possesses an -family of almost strongly separable -subgroups. By an -family we mean an Axiom 3 family in the strong sense of P. Hill. As a corollary to the main theorem, we are able to characterize...
It is demonstrated that an isotype subgroup of a simply presented abelian group can be simply presented without being a separable subgroup. In particular, the conjecture based on a variety of special cases that Warfield groups are absolutely separable is disproved.
Page 1