Linearly pushforwardable automorphism
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
This article defines an automorphism property related to (or which arises in the context of): linear representation theory
View other automorphism properties related to linear representation theory OR View all terminology related to linear representation theory OR View all automorphism properties
This term is related to: Extensible automorphisms problem
View other terms related to Extensible automorphisms problem | View facts related to Extensible automorphisms problem
This is a variation of extensible automorphism|Find other variations of extensible automorphism |
Definition
Definition with symbols
Let be a group and be a field. An automorphism of is termed linearly pushforwardable if for any linear representation , there exists such that for any , we have:
Relation with other properties
Stronger properties
- Inner automorphism (unconditionally)
- Class-preserving automorphism when the field is a class-determining field (for instance, a field whose characteristic does not divide the order of the group, for a finite group)
Weaker properties
- Linearly extensible automorphism
- Class-preserving automorphism when the field is a class-separating field (for instance, a splitting field for a finite group)