# Corollary of Timmesfeld's replacement theorem for abelian subgroups

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]
Suppose $P$ is a group of prime power order. Let $\mathcal{A}(P)$ denote the set of abelian subgroups of maximum order in $P$. If $A \in \mathcal{A}(P)$, and $V$ is an $A$-invariant abelian subgroup of $P$. Then, $[V,A]C_A([V,A])$ is an abelian subgroup of maximum order.