P-quotient-pullbackable automorphism

From Groupprops
Jump to: navigation, search
This article defines an automorphism property, viz a property of group automorphisms. Hence, it also defines a function property (property of functions from a group to itself)
View other automorphism properties OR View other function properties

Definition

Let P be a group of prime power order, i.e., a finite p-group for some prime p. An automorphism \sigma of P is termed a p-quotient-pullbackable automorphism if, given any finite p-group Q and a surjective homomorphism \rho:Q \to P, there exists an automorphism \sigma' of Q that is a pullback of \sigma; in other words, \rho \circ \sigma' = \sigma \circ \rho.

Relation with other properties

Stronger properties

Weaker properties

Facts