Elementary abelian group
Algebraic structure → Group theory Group theory 

Group homomorphisms 

Classification of finite simple groups 


This article may require cleanup to meet Wikipedia's quality standards. The specific problem is: do not assume finite unless stated. (April 2015) 
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 prime number, and the elementary abelian groups in which the common order is p are a particular kind of pgroup.^{[1]}^{[2]} A group for which p = 2 (that is, an elementary abelian 2group) is sometimes called a Boolean group.^{[3]}
Every elementary abelian pgroup 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 nonnegative 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 nfold direct product of groups.^{[2]}
In general, a (possibly infinite) elementary abelian pgroup is a direct sum of cyclic groups of order p.^{[4]} (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.
Discover more about Elementary abelian group related topics
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 fourgroup.
 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 fourgroup 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.
Vector space structure
Suppose V (Z/pZ)^{n} is an elementary abelian group. Since Z/pZ F_{p}, the finite field of p elements, we have V = (Z/pZ)^{n} F_{p}^{n}, hence V can be considered as an ndimensional 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 (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 Zmodule structure where the action of Z corresponds to repeated addition, and this Zmodule 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 pgroup. It follows that G has a nontrivial center, which is necessarily invariant under all automorphisms, and thus equals all of G.)
Discover more about Automorphism group related topics
A generalisation to higher orders
It can also be of interest to go beyond prime order components to primepower order. Consider an elementary abelian group G to be of type (p,p,...,p) for some prime p. A homocyclic group^{[5]} (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.
Source: "Elementary abelian group", Wikipedia, Wikimedia Foundation, (2023, January 26th), https://en.wikipedia.org/wiki/Elementary_abelian_group.
See also
References
 ^ Hans J. Zassenhaus (1999) [1958]. The Theory of Groups. Courier Corporation. p. 142. ISBN 9780486165684.
 ^ ^{a} ^{b} H.E. Rose (2009). A Course on Finite Groups. Springer Science & Business Media. p. 88. ISBN 9781848828896.
 ^ Steven Givant; Paul Halmos (2009). Introduction to Boolean Algebras. Springer Science & Business Media. p. 6. ISBN 9780387402932.
 ^ L. Fuchs (1970). Infinite Abelian Groups. Volume I. Academic Press. p. 43. ISBN 9780080873480.
 ^ Gorenstein, Daniel (1968). "1.2". Finite Groups. New York: Harper & Row. p. 8. ISBN 0821843427.
The content of this page is based on the Wikipedia article written by contributors..
The text is available under the Creative Commons AttributionShareAlike Licence & the media files are available under their respective licenses; additional terms may apply.
By using this site, you agree to the Terms of Use & Privacy Policy.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a nonprofit organization & is not affiliated to WikiZ.com.