- #1

- 96

- 0

**Theorem (Cauchy’s Theorem)**:

*Let G be a finite group, and let p be a prime divisor of the order of G, then G has element of order p.*

**Proof:**Suppose G is a finite group. Let the order of G be k. Let p be any prime divisor of k. Our goal is to prove that G has an element of order p. We shall do so by dividing our claim into two parts: one where G is abelian and one where G is not abelian.

*Part I: G is abelian.*

First, we shall suppose G is abelian. We will prove our claim for this case by induction. If k=1, then our claim is true trivially. Now, suppose that our claim is true for abelian finite groups of order n, where n is less than k.

Take any a in G, where a ≠ e. Then, if the order of a is p, then we are done. Suppose the order of a is a multiple of p. That is, a

^{qp}=e for some integer q. But then, the order of a

^{q}is p and, again, we are done. Thus, suppose the order of a is not equal to a multiple of p. Now, let us consider the group G/<a>. First, let |<a>|=n (and consequently, n will also be the order of a) and note that, by Lagrange’s Theorem, n|k. We recall that this quotient group is the group of all cosets of <a> in G. Thus, |G/<a>|=(G:<a>)= k/n. Next, note that if n=k, the n is a multiple of p, which is a contradiction! Thus, n<k. Now, let k=ln, where l is an integer. Since p|k, then p|ln, but p does not divide n, hence, p|l, and l is the order of G/<a>. Now, we have that G/<a> has order l<k and prime divisor p. Thus, by our assumption G/<a> has an element of order p.

From a previous exercise, we have shown that if H is a normal subgroup of a group G, then the order of the element Ha in G/H is a divisor of the order of a in G. Thus, since p is the order of an element in G/<a>, say x<a>, p must also be a divisor of an element in G, namely x. Then, let m be the order of x. Then, m=qp for some integer q. That is, x

^{m}=x

^{qp}=e. This implies that x

^{q}in G has order p, which is our desire result.

*Part II: G is not abelian.*

Now, we suppose G is not abelian with order k. Again, we will proceed with induction. The case for k=1 remains true by default. Thus, suppose that our claim is true for any finite nonabelian group G with order n<k. Let C be the center of G for each a in G, let C

_{a}be the centralizer. Let us recall our class equation for G. If |C|=c, then, |G|=k=c+k

_{s}+….+ k

_{t}.

Suppose is p is not a factor of | C

_{a}| for any a in G, where a is not in the center. Consider the quotient group G/ C

_{a}. There a one-to-one correspondence between the set of all conjugates of a and the set of all cosets of C

_{a}. That is, the set of all cosets of the centralizer give rises to a partition of G. Now, let n be the order of C

_{a}. Then, | G/ C

_{a}| = (G: C

_{a})= k/n. Now, if n=k, then p divides n, which is a contradiction. Hence, n<k. Let k=ln for some integer l. We note that l is the order of G/ C

_{a}. We also note that p|l since p|k and p|ln, but p does not divide n. Since p divides | G/C

_{a}|=(G/C

_{a}) for each a in G, a ,not the center, every conjugacy class is a multiple of p [Remember, our bijection between the conjugacy classes of a and the cosets of C

_{a}]. Then, |G|=k=c+k

_{s}+….+ k

_{t}=c+q

_{1}p+…q

_{n}p for integers q

_{1},…,q

_{n}.

If we solve for c we observe that we get k-q

_{1}p…-q

_{n}p=c. We can factor the prime p out of everything on the right. Leaving p times an integer equal to c. Thus, p is a factor of c. .......

_______________________End Attempt__________________________

I am having a hard time expressing why G has an element of order p from this. Any hints? By the way, after I finish this, would anyone care to share a "slick" verison of this proof.

Also, this proof is developed from a series of questions in Pinter's book. I wanted to make one cohesive proof to make it my own in a sense. :) At least I tried!

**Edit: I wanted to add that this is a type up from my notebook. There may be typos!