Finiteextensible implies classpreserving
From Groupprops
Revision as of 18:02, 24 June 2008 by Vipul (talk  contribs) (New page: {{automorphism property implication}} ==Statement== Any finiteextensible automorphism of a finite group is classpreserving automorphism. ==Facts used== * [[Finiteextensi...)
This article gives the statement and possibly, proof, of an implication relation between two automorphism properties. That is, it states that every automorphism satisfying the first automorphism property must also satisfy the second automorphism property
View all automorphism property implications  View all automorphism property nonimplications

Property "Page" (as page type) with input value "{{{stronger}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
Property "Page" (as page type) with input value "{{{weaker}}}" contains invalid characters or is incomplete and therefore can cause unexpected results during a query or annotation process.
Statement
Any finiteextensible automorphism of a finite group is classpreserving automorphism.
Facts used
 Finiteextensible implies finitecharacteristicsemidirectly extensible
 Finitecharacteristicsemidirectlyextensible implies linearly pushforwardable over prime field (where the prime does not divide the order of the group)
 Linearly pushforwardable implies classpreserving when the field is a classseparating field
 Every finite group admits a sufficiently large prime field
 Sufficiently large implies splitting, splitting implies characterseparating, characterseparating implies classseparating