In group theory, an elementary abelian group is a finite abelian group, where every nontrivial element has order p, where p is a prime; in particular it is a p-group.
By the classification of finitely generated abelian groups, every elementary abelian group must be of the form
for n a non-negative integer (sometimes called the group's rank). Here, Z/pZ denotes the cyclic group of order p (or equivalently the integers mod p), and the notation means the n-fold Cartesian product.
Contents |
Suppose V (Z/pZ)n is an elementary abelian group. Since Z/pZ Fp, the finite field of p elements, we have V = (Z/pZ)n Fpn, hence V can be considered as an n-dimensional vector space over the field Fp. Note that an elementary abelian group does not in general have a distinguished basis: choice of isomorphism V (Z/pZ)n corresponds to a choice of basis.
To the observant reader, it may appear that Fpn has more structure than the group V, in particular that it has scalar multiplication in addition to (vector/group) addition. However, V as an abelian group has a unique Z-module structure where the action of Z corresponds to repeated addition, and this Z-module structure is consistent with the Fp scalar multiplication. That is, c·g = g + g + ... + g (c times) where c in Fp (considered as an integer with 0 ≤ c < p) gives V a natural Fp-module structure.
As a vector space V has a basis {e1, ..., en} as described in the examples. If we take {v1, ..., vn} to be any n elements of V, then by linear algebra we have that the mapping T(ei) = vi extends uniquely to a linear transformation of V. Each such T can be considered as a group homomorphism from V to V (an endomorphism) and likewise any endomorphism of V can be considered as a linear transformation of V as a vector space.
If we restrict our attention to automorphisms of V we have Aut(V) = { T : V → V | ker T = 0 } = GLn(Fp), the general linear group of n × n invertible matrices on Fp.
It can also be of interest to go beyond prime order components to prime-power order. Consider an elementary abelian group G to be of type (p,p,...,p) for some prime p. A homocyclic group[1] (of rank n) is an abelian group of type (pe,pe,...,pe) i.e. the direct product of n isomorphic groups of order pe.
The extra special groups are extensions of elementary abelian groups by a cyclic group of order p, and are analogous to the Heisenberg group.