Elementary abelian group (source code)

= Elementary abelian group
{wiki}

An elementary abelian $p$-group is a finite <abelian group> in which every nonidentity element has order $p$. It is equivalently a finite-dimensional <vector space> over $\mathbb F_p$ under addition.