24.11.2017 Views

Abelian Groups - László Fuchs [Springer]

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

188 6 Algebraically Compact <strong>Groups</strong><br />

Theorem 1.14. For a non-measurable index set I and any groups A i , every reduced<br />

torsion epic image of the factor group Q i2I A i= ˚i2I A i is bounded.<br />

Proof. Let W A D Q i2I A i= ˚i2I A i ! T; where T is a reduced torsion group.<br />

Im D T may be assumed. We consider as a homomorphism of the product<br />

that vanishes on ˚A i .IfIm is unbounded, then the image of followedbyan<br />

epimorphism of T onto its basic subgroup B Theorem 6.10 in Chapter 5 is still<br />

unbounded. In this situation, in the application of Theorem 6.5 in Chapter 2 we<br />

can ignore I 0 and J 0 , and conclude that there is an m 2 N such that m Im. / is<br />

contained in the Ulm subgroup B 1 D 0. Hence Im. / is bounded, and so is Im .<br />

ut<br />

@ 1 -Algebraic Compactness It seems reasonable to consider generalizations<br />

of algebraic compactness for higher cardinalities. @ 1 -algebraic compactness was<br />

studied by Megibben [6]. He proved that this concept does not yield anything new.<br />

However, for higher cardinalities the situation is different, though it does not seem<br />

to be too interesting. Here we wish to discuss only the @ 1 case. In the proof, we need<br />

a couple of results to be proved later, in particular, the characterization of algebraic<br />

compactness from Proposition 5.8 in Chapter 9.<br />

A group M is said to be @ 1 -algebraically compact if it has the injective property<br />

relative to all @ 1 -pure-exact sequences. Equivalently, it is a summand in every group<br />

in which it is contained as an @ 1 -pure subgroup. All algebraically compact groups<br />

are evidently @ 1 -algebraically compact.<br />

In the proof of the next theorem, the following simple fact is needed from set<br />

theory. For an infinite cardinal there is a cardinal >such that < @ 0<br />

.D 2 /.<br />

(For instance, D P i jGj such<br />

that < @ 0<br />

.LetF be the Z-adic closure of the free group F 0 D Z ./ in the direct<br />

product Z . F is @ 1 -free and has cardinality @ 0<br />

. Thus F=F 0 Š˚@ 0 Q. We obtain<br />

the induced exact sequence<br />

G Š Hom.F 0 ; G/ ! Ext.F=F 0 ; G/ ! Ext.F; G/ D 0:

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!