Centralizer of coprime automorphism in homomorphic image equals image of centralizer
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
Suppose is a finite group and is an automorphism of whose order is coprime to the order of . Suppose is a normal -invariant subgroup of , and let denote the quotient map. Then, has a natural induced action on the quotient group , and we have:
- Stability group of subnormal series of finite group has no other prime factors
- Centralizer-commutator product decomposition for finite groups
- Burnside's theorem on coprime automorphisms and Frattini subgroup