Finite solvable-extensible implies class-preserving

Statement
Any finite solvable-extensible automorphism of a finite solvable group is a class-preserving automorphism.

Finite solvable-extensible automorphism
An automorphism $$\sigma$$ of a finite solvable group $$G$$ is termed finite solvable-extensible if, for any finite solvable group $$H$$ containing $$G$$, there is an automorphism $$\sigma'$$ of $$H$$ whose restriction to $$G$$ equals $$\sigma$$.

Class-preserving automorphism
An automorphism $$\sigma$$ of a finite group $$G$$ is termed class-preserving if it sends every element to a conjugate element.

Stronger facts

 * Finite solvable-extensible implies inner

Other facts proved using the same method

 * Hall-semidirectly extensible implies class-preserving
 * Finite-extensible implies class-preserving
 * Finite-quotient-pullbackable implies class-preserving

Facts used

 * 1) uses::Finite solvable-extensible implies semidirectly extensible for representation over finite field of coprime characteristic
 * 2) uses::Semidirectly extensible implies linearly pushforwardable for representation over prime field
 * 3) uses::Linearly pushforwardable implies class-preesrving for class-separating field
 * 4) uses::Every finite group admits a sufficiently large finite prime field
 * 5) uses::Sufficiently large implies splitting, uses::Splitting implies character-separating, Character-separating implies class-separating

Proof
Facts (1) and (2) combine to yield that any finite solvable-extensible automorphism is linearly pushforwardable over a finite prime field where the prime does not divide the order of the group, and fact (3) yields that if the field chosen is a class-separating field for the group, then the automorphism is class-preserving. Thus, we need to show that for every finite group, there exists a prime field with the prime not dividing the order of the group, such that the field is a class-separating field for the group. This is achieved by facts (4) and (5).