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.

50 2 Direct Sums and Direct Products<br />

complete, final form is due to Frobenius–Stickelberger [1]. The result generalizes straightforwardly<br />

to torsion modules over Dedekind domains.<br />

In contrast to Theorem 1.2, Theorem 1.4 easily generalizes to arbitrary modules: if a module<br />

is the union of simple submodules, then it is a direct sum of simple modules (it is then called<br />

semi-simple). Semi-simple modules may be characterized by the property that every submodule is<br />

a direct summand.<br />

The result on the subdirect sum of two groups is due to R. Remak; he dealt with finite,<br />

not necessarily commutative groups. Ultraproducts have profound implications in various areas,<br />

especially in model theory. See Eklof [1] for their structure.<br />

Exercises<br />

(1) Let B; C be subgroups of A, andB ˚ C their external direct sum. There is an<br />

exact sequence 0 ! B \ C ! B ˚ C ! B C C ! 0.<br />

(2) Determine when the direct product of infinitely many torsion groups is again a<br />

torsion group.<br />

˛i<br />

(3) If 0 ! A i !B i<br />

ˇi!C i ! 0 are exact sequences for i 2 I,thensoare<br />

0 !˚A i<br />

˚˛i<br />

! ˚ B i<br />

˚ˇi<br />

! ˚ C i ! 0 and 0 ! Y A i<br />

Q ˛i<br />

! Y B i<br />

Q ˇi<br />

! Y C i ! 0:<br />

(4) If G is a subdirect sum of B and C,thenB C G D B ˚ C D G C C.<br />

(5) Let B; C be subgroups of A such that B \ C D 0. If.B C C/=C is a summand<br />

of A=C,thenB is a summand of A.<br />

(6) (a) The subdirect sum of Z.p m / and Z.p n /.0

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

Saved successfully!

Ooh no, something went wrong!