Elementary abelian group

Last updated May 16, 2023

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.^[1]^[2] A group for which p = 2 (that is, an elementary abelian 2-group) is sometimes called a Boolean group.^[3]

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)ⁿ 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.^[2]

In general, a (possibly infinite) elementary abelian p-group 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.

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 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)⁻¹ = y⁻¹x⁻¹ = yx. Such a group (also called a Boolean group), generalizes the Klein four-group example to an arbitrary number of components.
(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.

(\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)ⁿ is an elementary abelian group. Since Z/pZ $\cong$ F_p, the finite field of p elements, we have V = (Z/pZ)ⁿ $\cong$ F_pⁿ, 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)ⁿ corresponds to a choice of basis.

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.

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.

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^[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.

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.

Related Research Articles

In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.

In mathematics, particularly in the area of abstract algebra known as group theory, a characteristic subgroup is a subgroup that is mapped to itself by every automorphism of the parent group. Because every conjugation map is an inner automorphism, every characteristic subgroup is normal; though the converse is not guaranteed. Examples of characteristic subgroups include the commutator subgroup and the center of a group.

In abstract algebra, a group isomorphism is a function between two groups that sets up a one-to-one correspondence between the elements of the groups in a way that respects the given group operations. If there exists an isomorphism between two groups, then the groups are called isomorphic. From the standpoint of group theory, isomorphic groups have the same properties and need not be distinguished.

In mathematics, in the area of abstract algebra known as Galois theory, the Galois group of a certain type of field extension is a specific group associated with the field extension. The study of field extensions and their relationship to the polynomials that give rise to them via Galois groups is called Galois theory, so named in honor of Évariste Galois who first discovered them.

<span class="mw-page-title-main">Isomorphism</span> In mathematics, invertible homomorphism

In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word isomorphism is derived from the Ancient Greek: ἴσοςisos "equal", and μορφήmorphe "form" or "shape".

In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pⁿ copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group $defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .$

In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. There are two closely related concepts of semidirect product:

In group theory, a branch of abstract algebra in pure mathematics, a cyclic group or monogenous group is a group, denoted C_n, that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a generator of the group.

In group theory, the quaternion group Q₈ (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset $of the quaternions under multiplication. It is given by the group presentation$

In mathematics, specifically group theory, the index of a subgroup H in a group G is the number of left cosets of H in G, or equivalently, the number of right cosets of H in G. The index is denoted $or or . Because G is the disjoint union of the left cosets and because each left coset has the same size as H, the index is related to the orders of the two groups by the formula$

In mathematics, a free abelian group is an abelian group with a basis. Being an abelian group means that it is a set with an addition operation that is associative, commutative, and invertible. A basis, also called an integral basis, is a subset such that every element of the group can be uniquely expressed as an integer combination of finitely many basis elements. For instance the two-dimensional integer lattice forms a free abelian group, with coordinatewise addition as its operation, and with the two points (1,0) and (0,1) as its basis. Free abelian groups have properties which make them similar to vector spaces, and may equivalently be called free $-modules,$ the free modules over the integers. Lattice theory studies free abelian subgroups of real vector spaces. In algebraic topology, free abelian groups are used to define chain groups, and in algebraic geometry they are used to define divisors.

A group is a set together with an associative operation which admits an identity element and such that every element has an inverse.

In algebra, a group ring is a free module and at the same time a ring, constructed in a natural way from any given ring and any given group. As a free module, its ring of scalars is the given ring, and its basis is the set of elements of the given group. As a ring, its addition law is that of the free module and its multiplication extends "by linearity" the given group law on the basis. Less formally, a group ring is a generalization of a given group, by attaching to each element of the group a "weighting factor" from a given ring.

<span class="mw-page-title-main">Projective linear group</span>

In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group

In mathematics, a Frobenius group is a transitive permutation group on a finite set, such that no non-trivial element fixes more than one point and some non-trivial element fixes a point. They are named after F. G. Frobenius.

In mathematics, specifically in group theory, the direct product is an operation that takes two groups $G$ and $H$ and constructs a new group, usually denoted $G \times H$ . This operation is the group-theoretic analogue of the Cartesian product of sets and is one of several important notions of direct product in mathematics.

In group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S₆, the symmetric group on 6 elements.

In mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself. If instead X is a group, then its automorphism group $is the group consisting of all group automorphisms of X .$

References

↑ Hans J. Zassenhaus (1999) [1958]. The Theory of Groups. Courier Corporation. p. 142. ISBN 978-0-486-16568-4.
1 2 H.E. Rose (2009). A Course on Finite Groups. Springer Science & Business Media. p. 88. ISBN 978-1-84882-889-6.
↑ Steven Givant; Paul Halmos (2009). Introduction to Boolean Algebras. Springer Science & Business Media. p. 6. ISBN 978-0-387-40293-2.
↑ L. Fuchs (1970). Infinite Abelian Groups. Volume I. Academic Press. p. 43. ISBN 978-0-08-087348-0.
↑ Gorenstein, Daniel (1968). "1.2". Finite Groups. New York: Harper & Row. p. 8. ISBN 0-8218-4342-7.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Zassenhaus-1] Hans J. Zassenhaus (1999) [1958]. The Theory of Groups. Courier Corporation. p. 142. ISBN 978-0-486-16568-4.

[Rose2009-2] 1 2 H.E. Rose (2009). A Course on Finite Groups. Springer Science & Business Media. p. 88. ISBN 978-1-84882-889-6.

[GivantHalmos2009-3] Steven Givant; Paul Halmos (2009). Introduction to Boolean Algebras. Springer Science & Business Media. p. 6. ISBN 978-0-387-40293-2.

[4] L. Fuchs (1970). Infinite Abelian Groups. Volume I. Academic Press. p. 43. ISBN 978-0-08-087348-0.

[5] Gorenstein, Daniel (1968). "1.2". Finite Groups. New York: Harper & Row. p. 8. ISBN 0-8218-4342-7.

[1]

[2]

[3]

[4]

[5]