Analogue of critical subgroup theorem for finite solvable groups
Statement
Suppose is a Finite solvable group (?). Then, there exists a Characteristic subgroup (?) of satisfying the following two conditions:
- (the derived subgroup is contained in the Frattini subgroup, which in turn is contained in the center): in other words, is a Frattini-in-center group (?).
- : in other words, is a Self-centralizing subgroup (?) of .
- is coprime automorphism-faithful in : any automorphism of of order relatively prime to the order of , that restricts to the identity automorphism on , must be the identity automorphism on .
This statement is a weaker analogue of Thompson's critical subgroup theorem, that holds for a group of prime power order.