Group acts on set of subgroups by conjugation
This article describes a pivotal group action: a group action on a set closely associated with the group. This action is important to understand and remember.
View other pivotal group actions
In other words, any subgroup is sent to the conjugate subgroup by that group element.
This is a well-defined group action: in other words, is a subgroup for every , and the conditions for a group action are satisfied. Further:
- The orbits are the conjugacy classes of subgroups. In other words, two subgroups are conjugate if and only if they are in the same orbit.
- The fixed points under the action are precisely the normal subgroups.
- The stabilizer (i.e., the isotropy subgroup) of a subgroup under this action is the normalizer : the set of those for which .
- There is a bijection between the left coset space and the set of conjugate subgroups to . In particular, the number of conjugate subgroups to in equals the index of the normalizer .
Part (4) of the statement tells us that the number of conjugate subgroups of equals the index of a bigger subgroup, namely, the normalizer of . Since index is multiplicative, and , we have:
Thus, the number of conjugate subgroups to is not more than the index of . In fact, composing the natural maps used in the proofs of these statements yields a map from the coset space of to the set of conjugate subgroups: the coset maps to the conjugate subgroup .
Some related terminology:
- Self-normalizing subgroup is a subgroup that equals its normalizer. In particular, the map sending each coset to the corresponding conjugate subgroup is a bijection.
- Normal subgroup is a subgroup whose normalizer is the whole group.
- Almost normal subgroup is a subgroup that has only finitely many conjugate subgroups; equivalently, the normalizer has finite index.
Some further related facts:
- Union of all conjugates is proper: In a finite group, the union of all conjugates of a proper subgroup is proper. This follows from the fact that the number of conjugate subgroups is not more than the number of cosets, and any two subgroups intersect (at least) at the identity element.
- Group acts as automorphisms by conjugation: The action of a group on itself defined by is a group action, and every element of the group acts as an automorphism.
- Group action on set defined group action on power set
- Fundamental theorem of group actions: If acts on a set and is the orbit of a point , then there is a bijection between the cosets of the stabilizer of and the elements of .
Proof that we have a group action
- Since the action of on itself by conjugation is a group action (fact (1)), the induced action on the set of subsets is also a group action (by fact (2)).
- Thus, to show that the induced action on the set of subgroups is a group action, it suffices to show that is a subgroup of if and only if the conjugate is: For this, note that by fact (1), the map is an automorphism. In particular, it sends subgroups to subgroups, and the inverse image of a subgroup is also a subgroup. Thus, is a subgroup of if and only if is.
Proof of the other consequent facts
- Orbits are the conjugacy classes of subgroups: This is direct from the definition.
- Fixed points are the normal subgroups: A fixed point under the action is a subgroup such that for all , which is the definition of a normal subgroup.
- Stabilizer is the normalizer: This is again direct from the definition.
- Bijection between left coset space of normalizer and the set of conjugate subgroups of : This follows from fact (3), setting the point as the subgroup , as the set of its conjugate subgroups, and noting that the stabilizer of equals its normalizer.