I will try to give a breakdown of the proof of Sylow’s theorems in group theory. These theorems can be tricky to understand, and especially retain even if you’ve understood the basic line of argument.

1. Sylow’s First Theorem- If for a prime number , , and , then there is a subgroup such that .

First we will try to understand what an orbit of a group is. Take a set , and a group . does not necessarily have to be a subset of . . Note that this is right multiplication.

.

Now the Orbit-Stabilizer Theorem- $|Orbit||Stabilizer|=|Group|$. Something to remember from this is that there is nothing special about this theorem. It is just another way of saying $|Image||Kernel|=|Group|$, as derived from the First Isomorphism Theorem.

The stabilizer of a set is a subgroup. Proof: Let and . Then . Also, if , then taking left inverse on both sides, .

Now we move to a combinatorial argument: what power of divides ? On expanding, we get . The highest power of that can divide is . Hence, the power of that divides is the same that which divides . In fact, does not have to be prime for this property to be true. More generally speaking, just to gain a feel for this kind of argument, provided , the fraction of the form not be divided by any power of except for , as long as both and are divisible by powers of greater than or equal to . is clearly the constraint here. Remember that is a necessary condition for this.

Now we prove .

Now we will define the set to contain all subsets of with elements. Clearly, , which as shown above is not divisible by . Take every , and multiply it with every element of . Note that very element of is itself a set containing elements of . If , then . Moreover, equivalence classes are formed when all elements of are multiplied with all elements of , and these equivalence classes partition . The proof of this: let be the orbit of . Then if . Moreover, if , then . This gives a feel for why these objects of are all in the same class.

Let there be such partitions of . Then , where ,etc are partitions of . We know is not divisible by . Hence, there has to be at least one which is not divisible by . Let , where is an equivalence class partitioning . Consider a mapping such that . The image is , and the kernel is the stabilizer. By the orbit-stabilizer theorem, . We know that the orbit is not divisible by . Hence, the stabilizer has to be divisible by . Also, the stabilizer is a subgroup.

The rest of the proof will be continued next time.