Collection of groups satisfying a weak normal replacement condition

Statement

Suppose $\mathcal{S}$ is a collection of finite $p$-groups, i.e., groups of prime power order where the underlying prime is $p$. We say that $\mathcal{S}$ satisfies a weak normal replacement condition if whenever a finite $p$-group $P$ contains a subgroup isomorphic to an element of $\mathcal{S}$, $P$ also contains a normal subgroup isomorphic to an element of $\mathcal{S}$.

Relation with other properties

Stronger properties

• Collection of groups satisfying a universal congruence condition
• Collection of groups satisfying a strong normal replacement condition

Examples/facts

Satisfaction

Collection of groups of order $p^k$	Condition on prime $p$	Condition on $k$	Proof
Elementary abelian group of order $p^k$	Odd	$0\le k\le 5$	Jonah-Konvisser congruence condition on number of elementary abelian subgroups of small prime power order for odd prime
Abelian groups of order $p^k$	Odd	$0\le k\le 5$	Jonah-Konvisser congruence condition on number of abelian subgroups of small prime power order for odd prime
Abelian groups of order $p^k$, exponent dividing $p^d$	Odd	$0\le d\le k\le 5$	Congruence condition on number of abelian subgroups of small prime power order and bounded exponent for odd prime
Abelian groups of order $p^k$, exponent dividing $p^d$	Any	$0\le d\le k\le (p+1)/2$	Glauberman's abelian-to-normal replacement theorem for bounded exponent and half of prime plus one
Groups of order $p^k$, exponent $p$	--	$k<p$	Mann's replacement theorem for subgroups of prime exponent

Dissatisfaction

Collection of groups of order $p^k$	Condition on prime $p$	Condition on $k$	Proof
Klein four-group	$p=2$	$k=2$	Elementary abelian-to-normal replacement fails for Klein four-group
Elementary abelian group of order $p^k$	$p\ge 7$	$k\ge (p+9)/2$	elementary abelian-to-normal replacement fails for half of prime plus nine for prime greater than five
Abelian groups of order $p^k$	$p\ge 7$	$k\ge (p+9)/2$	abelian-to-normal replacement fails for half of prime plus nine for prime greater than five
Groups of order $p^p$, exponent $p$	all $p$	$k=p$