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 -groups and the notion of a knice subgroup. Torsion free -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 -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 -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 ; that is, separable groups of cardinality have balanced projective dimension .

**[1]**Reinhold Baer,*Abelian groups without elements of finite order*, Duke Math. J.**3**(1937), no. 1, 68–122. MR**1545974**, 10.1215/S0012-7094-37-00308-9**[2]**L. Fuchs,*Summands of separable abelian groups*, Bull. London Math. Soc.**2**(1970), 205–208. MR**0268271****[3]**László Fuchs,*Infinite abelian groups. Vol. II*, Academic Press, New York-London, 1973. Pure and Applied Mathematics. Vol. 36-II. MR**0349869****[4]**Phillip A. Griffith,*Infinite abelian group theory*, The University of Chicago Press, Chicago, Ill.-London, 1970. MR**0289638****[5]**Paul Hill,*The third axiom of countability for abelian groups*, Proc. Amer. Math. Soc.**82**(1981), no. 3, 347–350. MR**612716**, 10.1090/S0002-9939-1981-0612716-0**[6]**Paul Hill,*Isotype subgroups of totally projective groups*, Abelian group theory (Oberwolfach, 1981) Lecture Notes in Math., vol. 874, Springer, Berlin-New York, 1981, pp. 305–321. MR**645937****[7]**Paul Hill and Charles Megibben,*On the theory and classification of abelian 𝑝-groups*, Math. Z.**190**(1985), no. 1, 17–38. MR**793345**, 10.1007/BF01159160**[8]**Paul Hill and Charles Megibben,*Axiom 3 modules*, Trans. Amer. Math. Soc.**295**(1986), no. 2, 715–734. MR**833705**, 10.1090/S0002-9947-1986-0833705-6**[9]**K. M. Rangaswamy,*On strongly balanced subgroups of separable torsion-free abelian groups*, Abelian group theory (Honolulu, Hawaii, 1983) Lecture Notes in Math., vol. 1006, Springer, Berlin, 1983, pp. 268–274. MR**722623**, 10.1007/BFb0103707

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

Retrieve articles in all journals with MSC: 20K20

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1986-0833706-8

Keywords:
Torsion free group,
primitive element,
-valuated coproduct,
free -valuated subgroup,
-group,
separable group,
knice subgroup,
completely decomposable,
third axiom of countability,
balanced projective dimension

Article copyright:
© Copyright 1986
American Mathematical Society