A conjugacy class of a group is a set of elements that are connected by an operation called conjugation. This operation is defined in the following way: in a group , the elements and are conjugates of each other if there is another element such that .
Conjugacy classes partition the elements of a group into disjoint subsets, which are the orbits of the group acting on itself by conjugation. Conjugacy classes of a group can be used to classify groups; they can be used to show that two groups are not isomorphic, or to discover properties of an isomorphism between groups if it exists. In general, the sizes of conjugacy classes in a group give information about its structure.
Here is the definition of conjugacy, repeated for clarity.
An element in a group is conjugate to an element if there is a such that Alternatively, one says that is a conjugate of
To frame this in the language of group actions, consider the function defined by
Then for all and
This shows that defines a group action of on itself.
Then the conjugates of are precisely the members of the orbit of under the action. The stabilizer of is the subgroup of elements such that or This is called the centralizer of the subgroup of elements of which commute with
As mentioned above, elements and of a group are conjugate if there is another element such that . In fact, this is an equivalence relation. This follows immediately from the general theory of group actions, but it is instructive to prove it directly as well.
Conjugation is an equivalence relation.
There are three properties to check:
- Reflexivity, that is conjugate to . This follows from , where is the identity element of the group.
- Symmetry, that being conjugate to implies being conjugate to . This follows from
- Transitivity, that being conjugate to and being conjugate to implies that is conjugate to . This follows from
It follows now that conjugation partitions into equivalence classes, and this gives the formal definition of conjugacy classes.
The conjugacy classes of are the equivalence classes produced by the relation of conjugation. So a conjugacy class in is a subset of consisting of elements which are all conjugate to one another.
Equivalently, the conjugacy classes are the orbits of acting on itself by conjugation.
In linear algebra, the matrix group ) contains all invertible matrices with real entries. In this group, two matrices and are conjugates if there is a matrix such that , which corresponds to matrix similarity. The conjugacy classes of this group then are the sets of matrices that represent the same linear transformation in different bases.
- There is the identity permutation, which does nothing and is in its own class.
- There are the cyclic permutations, which take to or to .
- Finally, there are the permutations that swap two elements—these are to , to , and to .
Thus there are 3 conjugacy classes of .
The final example of the previous section illustrates that the sum of the sizes of the conjugacy classes must be equal to the size of the group. This fact, along with the orbit-stabilizer theorem, can be used to derive an important equation known as the class equation.
Recall from the above discussion that the centralizer of an element is the subgroup of consisting of elements which commute with it is the stabilizer of with respect to the action of conjugation.
Let be a finite group with conjugacy classes, and pick representatives of each class. Then Alternatively, suppose are representatives of the conjugacy classes with more than one element. Then where is the center of consisting of all the elements which commute with every element of
equals the sum of the sizes of its conjugacy classes. The orbit-stabilizer theorem says that the size of the conjugacy class of an element equals the index of its stabilizer, and the stabilizer of is as discussed above. Putting these facts together gives the first formula immediately.
The second formula is an immediate consequence of the first, because the conjugacy classes with one element correspond precisely to the elements of the center: for all if and only if for all which happens if and only if
This formula has quite a few well-known applications. One of them is in the -group wiki: the center of a group of prime power order is always non-trivial. Here is another.
Write down the class equation of Use it to show that is a simple group.
The elements of come in four types: the identity, products of two disjoint transpositions, 3-cycles, and 5-cycles.
Any product of two disjoint transpositions is conjugate to in Proof: let be such a product; then is conjugate to in So for some If then we are done; otherwise, if is odd, let and note that as well, and is even. Note that there are elements of this form.
Any 3-cycle is conjugate to in Proof: same idea as above; if then either or is even, and both of them conjugate to Note that there are elements of this form.
On the other hand, two 5-cycles that are conjugate in may not be conjugate in In fact, it is impossible for all 5-cycles to be conjugate in because there are of them, and the size of a conjugacy class must divide Since there are 24 5-cycles in the centralizer of a 5-cycle in has size and thus must consist only of the powers of the 5-cycle. This must also be true in so the conjugacy class of a 5-cycle must have size
Putting this all together, the class equation of is
Any proper normal subgroup of must be a union of some of these conjugacy classes from So its class equation will give its order as the sum of some subset of the above terms, including (since it must contain the identity). The order of a proper normal subgroup is a proper nontrivial divisor of But there is no way to add up any subset of the other four terms, plus to get a proper nontrivial divisor of So has no nontrivial proper normal subgroup; so it is simple.