Corollaries of the Theorem of Finite Abelian Groups

[Barre]

Homework Statement

If G is a finite abelian group and p is a prime such that [itex]p^n [/itex] divides order of G, then prove that G has a subgroup of order [itex]p^n[/itex]

Homework Equations

Theorem of Finite Abelian Groups: Every finite abelian group G is a direct sum of cyclic groups, each of prime power order.

The Attempt at a Solution

I of course have worked on a solution myself, and it's simply the last step that I'm unsure about.

Since G is finite, by Fundamental Theorem of Abelian Groups we know that

[itex]G = C_1 \times C_2 \times ... \times C_t[/itex]

for a finite number of cyclic groups [itex]C_i[/itex] of prime power order. Also, order of G and it's direct summands share the following relation:
[itex]|G| = |C_1||C_2|...|C_t| [/itex], and since [itex]p^n [/itex] divides |G|, there must be a finite set of summands such that product of their orders is equal to exactly [itex]p^n [/itex]. Let [itex]C_{p_1}, C_{p_2}, ... ,C_{p_m} [/itex] be those summands. The set:
[itex] S = \{(e_1, e_2,...,a_{p_1},...,a_{p_2},...,a_{p_m},..., e_t) | a_{p_i} \in C_{p_i} \} [/itex],
where all [itex]e_i [/itex] are the identity elements, is clearly a subgroup of [itex]C_1 \times C_2 \times ... \times C_n [/itex], of order [itex]|C_{p_1}||C_{p_2}| ... |C_{p_m}| = p^n [/itex].

Is it now OK to assume that since [itex]G = C_1 \times C_2 \times ... \times C_t [/itex], that G has a subgroup of order [itex]p^n [/itex] isomorphic to the subgroup S ?

It seems logical to me that this is the case, but I need confirmation. Also, is there a more obvious way of proving it? Of course all of this is just a consequence of Sylow theorems, but these come in the next section, so all I want to use is very elementary group theory + the theorem I described.

I'm also sorry about the set S, it might be totally unreadable but I had no idea how to otherwise describe it :D

 

[micromass]

Seems ok!

 

[Barre]

Actually when I think more about this, it seems like there is a special case in which this does not work.

Assume [itex]G = Z_8[/itex]. This group is also a product of cyclic abelian groups, namely itself. Order is clearly 8, and 4 (2^2) divides the order, but there is no summand of degree 4. Obviously [itex]Z_8[/itex] contains a subgroup of order 4 anyway, so the proof might not be all lost.

edit: if a summand group [itex]C_i[/itex] has order n then subgroups of any order dividing n can be constructed, as if a generates the group, |a| = n and n = dm then [itex]({a^d})^m = 0[/itex], and the element [itex]a^d[/itex] generates a group of order m. I think this would help cover up the part I missed + probably prove in general the converse of Lagrange's Theorem for abelian groups.

 

[Barre]

Shameless bump and also a new idea on how to approach this one. I've still not figured out a 'nice' proof of this, where my definition of 'nice' is simple (since the fact to be proven is IMO intuitive).

My new try has been by induction on the exponent of divisor [itex]p^n[/itex]. I use Cauchy's Theorem for Abelian case which basically is a corollary of Theorem of Finite Abelian Groups. Note that I want to prove this without Sylow's theorems.

[itex]n = 1[/itex] it is clearly true, as Cauchy's Theorem for Abelian Groups says that if order of G is divisible by p, then it contains an element a of order p which clearly generates a cyclic group [itex]<a>[/itex] of order p. Inductive assumption will then of course be that if order of G is divisible by [itex]p^{n-1}[/itex], then G contains a subgroup of this order.

Assume order of G is divisible by [itex]p^n[/itex]. Then it certainly also is divisible by [itex]p^{n-1}[/itex], so it contains a nontrivial subgroup of order [itex]p^{n-1}[/itex]. Call this subgroup for S. Then, since G is abelian, quotient group [itex]G/S[/itex] certainly exists, and we have relation of orders of groups:
[itex]|G| = |G/S||S|[/itex]
Since order of G is divisible by [itex]p^n[/itex], then it follows from the relation that p divides [itex]|G/S|[/itex] and by Cauchy's Theorem, G/S contains an element of order p. Could I somehow 'construct' a group of order [itex]p^n[/itex] by direct product of the S and the group generated by element of order P in G/S?

I'm pretty much stuck. Is there a way to go on, or have I hit a wall?
If somebody knows, could you point me to a place on the internet where this or similar proof has been written out?