Elementary abelian group

From Wikipedia, the free encyclopedia

In group theory an elementary abelian group is a finite abelian group, where every nontrivial element has order p where p is a prime.

By the classification of finitely generated abelian groups, every elementary abelian group must be of the form

(Z/pZ)ⁿ

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 1 Examples and properties 2 Vector space structure 3 Automorphism group 4 A generalisation to higher orders 5 References

[edit] Examples and properties

• The elementary abelian group (Z/2Z)² has four elements: { (0,0), (0,1), (1,0), (1,1) }. Addition is performed componentwise, taking the result mod 2. For instance, (1,0) + (1,1) = (0,1).

• (Z/pZ)ⁿ is generated by n elements, and n is the least possible number of generators. In particular the set {e₁, ..., e_n} where e_i has a 1 in the ith component and 0 elsewhere is a minimal generating set.

• Every elementary abelian group has a fairly simple finite presentation.

(Z/pZ)ⁿ < e₁, ..., e_n | e_i^p = 1, e_ie_j = e_je_i >

[edit] Vector space structure

Suppose V = (Z/pZ)ⁿ is an elementary abelian group. Since Z/pZ F_p, the finite field of p elements, we have V = (Z/pZ)ⁿ F_pⁿ, hence V can be considered as an n-dimensional vector space over the field F_p.

To the observant reader it may appear that F_pⁿ 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 F_p scalar multiplication. That is, c·g = g + g + ... + g (c times) where c in F_p (considered as an integer with 0 ≤ c < p) gives V a natural F_p-module structure.

[edit] Automorphism group

As a vector space V has a basis {e₁, ..., e_n} as described in the examples. If we take {v₁, ..., v_n} to be any n elements of V, then by linear algebra we have that the mapping T(e_i) = v_i 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 } = GL_n(F_p), the general linear group of n × n invertible matrices on F_p.

[edit] A generalisation to higher orders

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 (p^e,p^e,...,p^e) i.e. the direct product of n isomorphic groups of order p^e.

[edit] References

1. ^ Gorenstein, Daniel (1968). "1.2" (in English). Finite Groups. New York: Harper & Row. pp. 8. ISBN 0821843427.