P-automorphism-invariant subgroup of finite p-group

BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]

For its use outside the wiki, please define the term when using it. If you are aware of an equivalent standard term, please leave a comment on the talk page
VIEW: Definitions built on this | Facts about this: (facts closely related to P-automorphism-invariant subgroup of finite p-group, all facts related to P-automorphism-invariant subgroup of finite p-group) |Survey articles about this | Survey articles about definitions built on this
VIEW RELATED: Analogues of this | Variations of this | Opposites of this |
Learn more about terminology local to the wiki | view a complete list of such terminology

This article describes a property that arises as the conjunction of a subgroup property: p-automorphism-invariant subgroup with a group property imposed on the ambient group: group of prime power order
View a complete list of such conjunctions | View a complete list of conjunctions where the group property is imposed on the subgroup

Definition

Suppose $p$ is a prime number and $P$ is a finite $p$-group (i.e., a group of prime power order where the prime is $p$). A subgroup $H$ of $P$ is termed a p-automorphism-invariant subgroup if it satisfies the following equivalent conditions:

1. $H$ is invariant under all the $p$-automorphisms of $P$, where a $p$-automorphism is an automorphism whose order is a power of $p$.
2. $H$ is a subnormal stability automorphism-invariant subgroup of $P$.

Equivalence of definitions

Further information: Stability group of subnormal series of p-group is p-group, p-group of automorphisms of p-group is contained in stability group of some normal series

Relation with other properties

Stronger properties

property	quick description	proof of implication	proof of strictness (reverse implication failure)	intermediate notions
Characteristic subgroup of group of prime power order
Fully invariant subgroup of group of prime power order

Weaker properties

property	quick description	proof of implication	proof of strictness (reverse implication failure)	intermediate notions
p-Sylow-automorphism-invariant subgroup of finite p-group
p-core-automorphism-invariant subgroup of finite p-group
Normal subgroup of group of prime power order