When does almost free imply free? (For groups, transversals, etc.)

We show that the construction of an almost free nonfree Abelian group can be pushed from a regular cardinal /C to ~IC+I. Hence there are unboundedly many almost free nonfree Abelian groups below the first cardinal fixed point. We give a sufficient condition for "/c free implies free", and then we show, assuming the consistency of infinitely many supercompacts, that one can have a model of ZFC+G.C.H. in which ~w2+1 free implies ~w2+2 free. Similar construction yields a model in which ~" free implies free for /C the first cardinal fixed point (namely, the first cardinal a satisfying a = ~a) . The absolute results about the existence of almost free nonfree groups require only minimal knowledge of set theory. Also, no knowledge of metamathematics is required for reading the section on the combinatorial principle used to show that almost free implies free. The consistency of the combinatorial principle requires acquaintance with forcing techniques. INSTITUTE OF MATHEMATICS, HEBREW UNIVERSITY, JERUSALEM, ISRAEL License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use

[1]  P. Erdös,et al.  A Partition Calculus in Set Theory , 1956 .

[2]  P. Hill.  On the freeness of abelian groups: A generalization of Pontryagin’s theorem , 1970 .

[3]  P. Hill.  On the Splitting of Modules and Abelian Groups , 1974, Canadian Journal of Mathematics.

[4]  Joaquín Pascual,et al.  Infinite Abelian Groups , 1970 .

[5]  Saharon Shelah.  Incompactness in regular cardinals , 1985, Notre Dame J. Formal Log..

[6]  A. Mekler.  How to Construct Almost Free Groups , 1980, Canadian Journal of Mathematics.

[7]  S. Ben-David.  On Shelah’s compactness of cardinals , 1978 .

[8]  Richard Laver,et al.  Making the supercompactness of κ indestructible under κ-directed closed forcing , 1978 .

[9]  Moto Gitik,et al.  The Negation of the Singular Cardinal Hypothesis from o(k) = k++ , 1989, Ann. Pure Appl. Log..

[10]  A. R. D. Mathias.  Surveys in set theory , 1983 .

[11]  Akihiro Kanamori,et al.  The evolution of large cardinal axioms in set theory , 1978 .

[12]  Almost Free Groups , 1951 .

[13]  On the Existence of κ-Free Abelian Groups , 1975 .

[14]  R. Jensen,et al.  The fine structure of the constructible hierarchy , 1972 .

[15]  Menachem Magidor,et al.  Shelah's pcf Theory and Its Applications , 1990, Ann. Pure Appl. Log..

[16]  Telis K. Menas.  A combinatorial property of p κλ , 1976 .

[17]  Paul C. Eklof.  Almost free modules , 1990 .

[18]  Saharon Shelah,et al.  A compactness theorem for singular cardinals, free algebras, Whitehead problem and tranversals , 1975 .

[19]  James E. Baumgartner,et al.  A new class of order types , 1976 .

[20]  Paul C. Eklof.  On the existence of -free abelian groups , 1975 .

[21]  Akihiro Kanamori,et al.  Strong axioms of infinity and elementary embeddings , 1978 .

[22]  W. Hodges.  In singular cardinality, locally free algebras are free , 1981 .

[23]  P. Griffith.  Infinite abelian group theory , 1970 .

[24]  Matthew Foreman,et al.  The generalized continuum hypothesis can fail everywhere , 1991 .

[25]  Menachem Magidor,et al.  On the singular cardinals problem I , 1977 .

[26]  Saharon Shelah,et al.  On Successors of Singular Cardinals , 1979 .