§ Class equation, P-group structure
- The centralizer of a subset of a group is largest subgroup of which is the center of . It's defined as . This can be written as .
§ Conjucacy classes and the class equation
- Define if there exists a such that . This is an equivalence relation on the group, and it partitions the group into conjugacy classes .
- Suppose an element is in the center (Zentrum). Now, the product for all . Thus, elements in the center all sit in conjugacy classes of size .
- Let be the center of the group, and let (J for conJugacy) be conjugacy classes of elements other than the center. Let be representatives of the conjugacy classes, which also generate the conjugacy class as orbits under the action of conjugation.
- By orbit stabilizer, we have that .
- The stabilizer under the action of conjugation is the centralizer! So we have .
- Thus, we get the class equation: .
- A group is a group where every element has order divisible by .
- Claim: a finite group is a -group iff it has cardinality for some .
- Forward - implies is a -group: Let . The divides by Lagrange. Hence proved.
- Backward - divides |\langle g \rangle| for all implies for some : Write as disjoint union of cyclic subgroups: . Take cardinality on both sides, modulo . Each of the terms on the RHS is divisible by , and thus vanish. Thus, modulo . Hence, is divisible by .
§ Center of group
- Let be a -group. We know that , where we are considering orbits under group conjugation.
- See that . The quantity on the right must be a power of (since the numerator is ). The quantity must be more than , since the element is not in the center (and thus is conjugated non-trivially by some element of the group).
- Thus, is divisible by .
- Take the equation modulo . This gives . Hence, (Since that would give ). So, the center is non-trivial.
§ Cauchy's theorem: order of group is divisible by implies group has element of order .
- Abelian case, order : immediate, must be the group which has generator of order . Now induction on group cardinality.
- Abelian case, order divisible by : Pick an element and let the cyclic subgroup be generated by it be and let the order of be (Thus, ).
- Case 1: If divides , then there is a power of with order (Let . Consider ; this has order ).
- Case 2: If does not divide . Then divides the order of the quotient . Thus by induction, we have an element of order .
- Let be the order of in . Then we have that that , where the last equality follows from the assumption that is the order of . Thus we can raise to get the identity in . This implies (the order of ) must divide (the order of ).
- Thus, by an argument similar to the previous, there is some power of with order . (Let . Consider ' this has order )
- General case: consider the center . If divides , then use the abelian case to find an element of order and we are done.
- Otherwise, use the class equation: .
- The LHS vanishes modulo , the RHS has which does not vanish. Thus there is some term whose orbit is not divisible modulo .
- We know that where the action is conjugacy. Since the LHS is not divisible by , while is divisible by , this means that has order divisible by and is a subgroup of .
- Further, is a proper subgroup as is a proper orbit, and is thus not stabilized by every element of the group.
- Use induction on to find element of order .
§ Subgroups of p-group
- Let be a finite group. So . Then has a normal subgroup of size for all .
- Proof by induction on .
- For , we have the normal subgroup .
- Assume this holds for . We need to show it's true for .
- So we have a normal subgroup of size . We need to establish a subgroup of size .
- Consider . This is a -group and has cardinality . As it is a -group, it has non-trivial center. So, is non-trivial and has cardinality at least .
- Recall that every subgroup of the center is normal. This is because the center is fixed under conjugation, thus subgroups of the center are fixed under conjugation and are therefore normal.
- Next, by Cauchy's theorem, there exists an element of order in . Thus, there is a normal subgroup
- We want to pull this back to a normal subgroup of of order .
- By correspndence theorem, the group is normal in and has order . Thus we are done.