Skip to main content
1 of 2
Avshalom
  • 2.1k
  • 17
  • 19

I agree with the first answer.

The ultraproduct in question is pure-injective (by a theorem of Jan Mycielski, Some compactifications of general agebras, Coll. Math., 13 (1964), 1-9). If an abelian group G contains a non-zero homomorphic image of a pure-injective group, then G is not slender. However, the infinite cyclic group is slender (by a theorem of Specker from 1950 (E. Specker, Additive Gruppen von folgen ganzer Zahlen, Portugaliae Math. 9 (1950), 131-140), which is proved above as the Claim.

One might add: by a theorem of Sasiada (in L. Fuchs, Infinite Abelian Groups, vol.2, 1973), no reduced torsion-free abelian group of power less than continuum contains a non-trivial homomorphic image of the ultraproduct in question.

The results quoted above are also to be found in P.C. Eklof, A.H. Mekler, Almost Free Modules, rev. ed., 2002.

Avshalom
  • 2.1k
  • 17
  • 19