]> 2010-03-19T09:24:13-07:00 Finite-extensible implies class-preserving Fact Normal-extensible not implies extensible Uses property satisfaction of Character-separating implies class-separating Splitting implies character-separating Sufficiently large implies splitting Every finite group admits a sufficiently large finite prime field Linearly pushforwardable implies class-preserving for class-separating field Semidirectly extensible implies linearly pushforwardable for representation over prime field Finite-extensible implies semidirectly extensible for representation over finite field of coprime characteristic Uses Proves property satisfaction of Page class Extensible automorphisms problem Fact related to Class-preserving automorphism Finite-extensible automorphism Fact about Automorphism property implications