Coprime automorphism-faithful characteristic subgroup

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to Coprime automorphism-faithful characteristic subgroup, all facts related to Coprime automorphism-faithful characteristic subgroup) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This page describes a subgroup property obtained as a conjunction (AND) of two (or more) more fundamental subgroup properties: characteristic subgroup and coprime automorphism-faithful subgroup
View other subgroup property conjunctions | view all subgroup properties

Definition

A subgroup $H$ of a finite group $G$ is termed copime automorphism-faithful characteristic if every automorphism of $G$ restricts to an automorphism of $H$ (i.e., $H$ is a characteristic subgroup) and if $K$ is the kernel of the map:

$\operatorname {Aut} (G)\to \operatorname {Aut} (H)$

defined by restriction, then every prime divisor of the order of $K$ , divides the order of $G$ .

Relation with other properties

Stronger properties

Critical subgroup

Weaker properties