title: Elementary abelian group
text: # Elementary abelian group
  
  Algebraic structure → Group theory Group theory :
  
  Basic notions
  
  Subgroup
  
  Normal subgroup
  
  Quotient group
  
  (Semi-)direct product
  
  Group homomorphisms
  
  kernel
  
  image
  
  direct sum
  
  wreath product
  
  simple
  
  finite
  
  infinite
  
  continuous
  
  multiplicative
  
  additive
  
  cyclic
  
  abelian
  
  dihedral
  
  nilpotent
  
  solvable
  
  action
  
  Glossary of group theory
  
  List of group theory topics :
  
  Finite groups
  
  Classification of finite simple groups
  
  cyclic
  
  alternating
  
  Lie type
  
  sporadic
  
  Cauchy's theorem
  
  Lagrange's theorem
  
  Sylow theorems
  
  Hall's theorem
  
  p-group
  
  Elementary abelian group
  
  Frobenius group
  
  Schur multiplier
  
  Symmetric group $S_n$
  
  Klein four-group V
  
  Dihedral group $D_n$
  
  Quaternion group Q
  
  Dicyclic group $Dic_n$ :
  
  Discrete groupsLattices
  
  Integers ($\mathbb {Z}$)
  
  Free group
  
  Modular groups PSL(2, $\mathbb {Z}$)SL(2, $\mathbb {Z}$)
  
  Arithmetic group
  
  Lattice
  
  Hyperbolic group :
  
  Topological and Lie groups
  
  Solenoid
  
  Circle
  
  General linear GL(n)
  
  Special linear SL(n)
  
  Orthogonal O(n)
  
  Euclidean E(n)
  
  Special orthogonal SO(n)
  
  Unitary U(n)
  
  Special unitary SU(n)
  
  Symplectic Sp(n)
  
  $G_2$
  
  $F_4$
  
  $E_6$
  
  $E_7$
  
  $E_8$
  
  Lorentz
  
  Poincaré
  
  Conformal
  
  Diffeomorphism
  
  Loop
  
  Infinite dimensional Lie group O(∞)SU(∞)Sp(∞) :
  
  Algebraic groups
  
  Linear algebraic group
  
  Reductive group
  
  Abelian variety
  
  Elliptic curve :
  
  vte :
  
  In mathematics, specifically in group theory, an elementary abelian group is an abelian group in which all elements other than the identity have the same order. This common order must be a prime number, and the elementary abelian groups in which the common order is p are a particular kind of p-group. A group for which p = 2 (that is, an elementary abelian 2-group) is sometimes called a Boolean group.
  
  Every elementary abelian p-group is a vector space over the prime field with p elements, and conversely every such vector space is an elementary abelian group. By the classification of finitely generated abelian groups, or by the fact that every vector space has a basis, every finite elementary abelian group must be of the form $(Z/pZ)^n$ 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 superscript notation means the n-fold direct product of groups.
  
  In general, a (possibly infinite) elementary abelian p-group is a direct sum of cyclic groups of order p. (Note that in the finite case the direct product and direct sum coincide, but this is not so in the infinite case.)
  
  In the rest of this article, all groups are assumed finite.
  
  ## Examples and properties
  
  * The elementary abelian group $(Z/2Z)^2$ has four elements: {(0,0), (0,1), (1,0), (1,1)} . Addition is performed componentwise, taking the result modulo 2. For instance, (1,0) + (1,1) = (0,1). This is in fact the Klein four-group.
  * In the group generated by the symmetric difference on a (not necessarily finite) set, every element has order 2. Any such group is necessarily abelian because, since every element is its own inverse, xy = $(xy)^{−1}$ = $y^{−1}x^{−1}$ = yx. Such a group (also called a Boolean group), generalizes the Klein four-group example to an arbitrary number of components.
  * $(Z/pZ)^n$ is generated by n elements, and n is the least possible number of generators. In particular, the set ${e_1,$ ..., $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.
  
         $(\mathbb {Z} /p\mathbb {Z} )^{n}\cong \langle e_{1},\ldots ,e_{n}\mid e_{i}^{p}=1,\ e_{i}e_{j}=e_{j}e_{i}\rangle$
  
  ## Vector space structure
  
  Suppose V $\cong$ $(Z/pZ)^n$ is an elementary abelian group. Since Z/pZ $\cong$ $F_p,$ the finite field of p elements, we have V = $(Z/pZ)^n$ $\cong$ $F_p^n,$ hence V can be considered as an n-dimensional vector space over the field $F_p.$ Note that an elementary abelian group does not in general have a distinguished basis: choice of isomorphism V ${\overset {\cong }{\to }}$ $(Z/pZ)^n$ corresponds to a choice of basis.
  
  To the observant reader, it may appear that $F_p^n$ 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.
  
  ## Automorphism group
  
  As a vector space V has a basis ${e_1,$ ..., $e_n}$ as described in the examples, if we take ${v_1,$ ..., $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.$
  
  The automorphism group GL(V) = $GL_n(F_p)$ acts transitively on V \ {0} (as is true for any vector space). This in fact characterizes elementary abelian groups among all finite groups: if G is a finite group with identity e such that Aut(G) acts transitively on G \ {e}, then G is elementary abelian. (Proof: if Aut(G) acts transitively on G \ {e}, then all nonidentity elements of G have the same (necessarily prime) order. Then G is a p-group. It follows that G has a nontrivial center, which is necessarily invariant under all automorphisms, and thus equals all of G.)
  
  ## 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 (of rank n) is an abelian group of type (m,m,...,m) i.e. the direct product of n isomorphic cyclic groups of order m, of which groups of type $(p^k,p^k,...,p^k)$ are a special case.
  
  ## Related groups
  
  The extra special groups are extensions of elementary abelian groups by a cyclic group of order p, and are analogous to the Heisenberg group.
  
  