24.11.2017 Views

Abelian Groups - László Fuchs [Springer]

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

120 3 Direct Sums of Cyclic <strong>Groups</strong><br />

9 Shelah’s Singular Compactness Theorem<br />

The question as to when -free implies C -free turns out to be extremely complicated<br />

for regular cardinals (see Magidor–Shelah [1]). As far as singular cardinals<br />

are concerned, the same question can be fully answered; this is shown by the next<br />

theorem, a most powerful result.<br />

The following lemma will be required in the proof of Theorem 9.2.<br />

Lemma 9.1 (Eklof–Mekler [EM]). If is a regular cardinal, then a C -free group<br />

is strongly -free.<br />

Proof. By way of contradiction, assume that A is C -free, but not strongly -free.<br />

This means that A contains a subgroup B of cardinality

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

Saved successfully!

Ooh no, something went wrong!