Finite-p-potentially characteristic subgroup

From Groupprops

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

This article defines a subgroup property: a property that can be evaluated to true/false given a group and a subgroup thereof, invariant under subgroup equivalence. View a complete list of subgroup properties[SHOW MORE]

Statement

Suppose is a prime number and is a finite -group (i.e., a group of prime power order). In other words, is a group of prime power order. A subgroup of is termed a finite--potentially characteristic subgroup if there exists a finite -group containing such that is a characteristic subgroup of .

Facts

Relation with other properties

The generalization of this property to finite groups, rather than just finite -groups, is the property of being a finite-pi-potentially characteristic subgroup.

Stronger properties

Weaker properties