Analogue of critical subgroup theorem for finite solvable groups

From Groupprops

Statement

Suppose is a Finite solvable group (?). Then, there exists a Characteristic subgroup (?) of satisfying the following two conditions:

  1. (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 (?).
  2. : in other words, is a Self-centralizing subgroup (?) of .
  3. 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.