Skip to main content
fixed parenthesis
Source Link
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.

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.

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.

Source Link
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.