Characteristic and self-centralizing implies coprime automorphism-faithful
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., self-centralizing characteristic subgroup) must also satisfy the second subgroup property (i.e., coprime automorphism-faithful subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about self-centralizing characteristic subgroup|Get more facts about coprime automorphism-faithful subgroup
Statement
Any characteristic Self-centralizing subgroup (?) of a finite group is coprime automorphism-faithful: in particular, it is a Coprime automorphism-faithful characteristic subgroup (?).
Statement with symbols
Let be a finite group, and be a characteristic self-centralizing subgroup, i.e. (or equivalently ). Then, any non-identity automorphism of restricts to a non-identity automorphism of .
Facts used
This is a special case of a somewhat more general fact:
Normal and self-centralizing implies coprime automorphism-faithful