# Group of prime power order having a maximal elementary abelian subgroup of prime-square order

Jump to: navigation, search
This article defines a group property: a property that can be evaluated to true/false for any given group, invariant under isomorphism
View a complete list of group properties
VIEW RELATED: Group property implications | Group property non-implications |Group metaproperty satisfactions | Group metaproperty dissatisfactions | Group property satisfactions | Group property dissatisfactions

## Definition

Let $P$ be a group of prime power order, i.e., a finite $p$-group for some prime number $p$. We say that $P$ has a maximal elementary abelian subgroup of prime-square order if it satisfies the following equivalent conditions:

1. There exists an elementary abelian subgroup $A$ of $P$ of order $p^2$ that is not contained in any bigger elementary abelian subgroup of $P$.
2. There exists an elementary abelian subgroup $A$ of $P$ of order $p^2$ such that $\Omega_1(C_P(A)) = A$.
3. There exists an element $t \in P$ such that $\Omega_1(C_P(t))$ is elementary abelian of order $p^2$.