Corollary of Timmesfeld's replacement theorem for abelian subgroups

From Groupprops
Jump to: navigation, search
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]
This article is about a maximality notion among subgroups, related to abelianness or small class, in a group of prime power order.
View other such notions

Statement

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.

Related facts

References

Journal references