Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Torsion free groups

Authors: Paul Hill and Charles Megibben
Journal: Trans. Amer. Math. Soc. 295 (1986), 735-751
MSC: Primary 20K20
MathSciNet review: 833706
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: In this paper we introduce the class of torsion free $k$-groups and the notion of a knice subgroup. Torsion free $k$-groups form a class of groups more extensive than the separable groups of Baer, but they enjoy many of the same closure properties. We establish a role for knice subgroups of torsion free groups analogous to that played by nice subgroups in the study of torsion groups. For example, among the torsion free groups, the balanced projectives are characterized by the fact that they satisfy the third axiom of countability with respect to knice subgroups. Separable groups are characterized as those torsion free $k$-groups with the property that all finite rank, pure knice subgroups are direct summands. The introduction of these new classes of groups and subgroups is based on a preliminary study of the interplay between primitive elements and $\ast$-valuated coproducts. As a by-product of our investigation, new proofs are obtained for many classical results on separable groups. Our techniques lead naturally to the discovery that a balanced subgroup of a completely decomposable group is itself completely decomposable provided the corresponding quotient is a separable group of cardinality not exceeding ${\aleph _1}$; that is, separable groups of cardinality ${\aleph _1}$ have balanced projective dimension $\leq 1$.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 20K20

Retrieve articles in all journals with MSC: 20K20

Additional Information

Keywords: Torsion free group, primitive element, <IMG WIDTH="16" HEIGHT="20" ALIGN="BOTTOM" BORDER="0" SRC="images/img2.gif" ALT="$\ast$">-valuated coproduct, free <IMG WIDTH="16" HEIGHT="20" ALIGN="BOTTOM" BORDER="0" SRC="images/img5.gif" ALT="$\ast$">-valuated subgroup, <IMG WIDTH="17" HEIGHT="19" ALIGN="BOTTOM" BORDER="0" SRC="images/img1.gif" ALT="$k$">-group, separable group, knice subgroup, completely decomposable, third axiom of countability, balanced projective dimension
Article copyright: © Copyright 1986 American Mathematical Society