\begin{definition}[Definition:Elementary Abelian P-Group]
Let $G$ be an abelian group.
Then $G$ is an '''elementary abelian $p$-group''' {{iff}} all its non-trivial elements are of order $p$.
\end{definition}