Stability group of subnormal series of finite group has no other prime factors
This article states and (possibly) proves a fact about a finite group and a Coprime automorphism group (?): a subgroup of the automorphism group whose order is relatively prime to the order of the group itself.
View other such facts
Then, any prime factor of the order of the stability group of this subnormal series, must divide the order of . In other words, no non-identity stability automorphism of this subnormal series can have order relatively prime to the order of .
The converse to the statement is not true: we can have a subgroup of the automorphism group of , with no other prime factors to its order, which cannot be realized as the stability group of any subnormal series. However, the converse is true if we restrict ourselves to a group of prime power order:
- Centralizer-commutator product decomposition for finite nilpotent groups
- Centralizer-commutator product decomposition for finite groups
- Burnside's theorem on coprime automorphisms and Frattini subgroup
- Centralizer of coprime automorphism in homomorphic image equals image of centralizer