Exercise 5, § 4

Let G be a finite abelian group of order n. Show that for every integer q dividing n there exists a subgroup of order q in G (decompose G as a direct sum of indecomposable cyclic subgroups).