An abelian group, also called a commutative group, is a group satisfying the requirement that the product of elements does not depend on their order (the axiom of commutativity). Abelian groups generalize the arithmetic of addition of integers; they are named after Niels Henrik Abel.
The concept of an abelian group is one of the first concepts encountered in undergraduate abstract algebra, with many other basic objects, such as a module and a vector space, being its refinements. The theory of abelian groups is generally simpler than that of their non-abelian counterparts, and finite abelian groups are very well understood. On the other hand, the theory of infinite abelian groups is an area of current research.
Contents |
An abelian group is a group with the property that the group operation is commutative. Thus an abelian group, also called a commutative group, consists of a set of objects G and a binary operation, *, which together satisfy the axiom of commutativity
in addition to the other axioms of a group: the operation is associative, G has an identity element, and every element of G has an inverse. Since the group operation in an abelian group is commutative as well as associative, the value of a product of group elements is independent of the order in which the product is calculated. Groups in which the group operation is not commutative are called non-abelian (or non-commutative).
There are two main notational conventions for abelian groups — additive and multiplicative.
Convention | Operation | Identity | Powers | Inverse |
---|---|---|---|---|
Addition | x + y | 0 | nx | −x |
Multiplication | x * y or xy | e or 1 | xn | x −1 |
Generally, the multiplicative notation is the usual notation for groups, while the additive notation is the usual notation for modules. The additive notation may also be used to emphasize that a particular group is abelian, whenever both abelian and non-abelian groups are considered.
To verify that a finite group is abelian, a table (matrix) - known as a Cayley table - can be constructed in a similar fashion to a multiplication table. If the group is G = {g1 = e, g2, ..., gn} under the operation ⋅, the (i, j)'th entry of this table contains the product gi ⋅ gj. The group is abelian if and only if this table is symmetric about the main diagonal (i.e. if the matrix is a symmetric matrix).
This is true since if the group is abelian, then gi ⋅ gj = gj ⋅ gi. This implies that the (i, j)'th entry of the table equals the (j, i)'th entry - i.e. the table is symmetric about the main diagonal.
In general, matrices, even invertible matrices, do not form an abelian group under multiplication because matrix multiplication is generally not commutative. However, some groups of matrices are abelian groups under matrix multiplication - one example is the group of 2x2 rotation matrices.
Abelian groups were named after Norwegian mathematician Niels Henrik Abel by Camille Jordan who was first to observe their importance in connection with the problem of solvability by radicals, first posed by Abel.
If n is a natural number and x is an element of an abelian group G written additively, then nx can be defined as x + x + ... + x (n summands) and (−n)x = −(nx). In this way, G becomes a module over the ring Z of integers. In fact, the modules over Z can be identified with the abelian groups.
Theorems about abelian groups (i.e. modules over the principal ideal domain Z) can often be generalized to theorems about modules over an arbitrary principal ideal domain. A typical example is the classification of finitely generated abelian groups which is a specialization of the structure theorem for finitely generated modules over a principal ideal domain. In the case of finitely generated abelian groups, this theorem guarantees that an abelian group splits as a direct sum of a torsion group and a free abelian group. The former may be written as a direct sum of finitely many groups of the form Z/pkZ for p prime, and the latter is a direct sum of finitely many copies of Z.
If f, g : G → H are two group homomorphisms between abelian groups, then their sum f + g, defined by (f + g)(x) = f(x) + g(x), is again a homomorphism. (This is not true if H is a non-abelian group.) The set Hom(G, H) of all group homomorphisms from G to H thus turns into an abelian group in its own right.
Somewhat akin to the dimension of vector spaces, every abelian group has a rank. It is defined as the cardinality of the largest set of linearly independent elements of the group. The integers and the rational numbers have rank one, as well as every subgroup of the rationals.
Cyclic groups of integers modulo n, Z/nZ, were among the first examples of groups. It turns out that an arbitrary finite abelian group is isomorphic to a direct sum of finite cyclic groups of prime power order, and these orders are uniquely determined, forming a complete system of invariants. The automorphism group of a finite abelian group can be described directly in terms of these invariants. The theory had been first developed in the 1879 paper of Georg Frobenius and Ludwig Stickelberger and later was both simplified and generalized to finitely generated modules over a principal ideal domain, forming an important chapter of linear algebra.
The fundamental theorem of finite abelian groups states that every finite abelian group G can be expressed as the direct sum of cyclic subgroups of prime-power order. This is a special case of the fundamental theorem of finitely generated abelian groups when G has zero rank.
The cyclic group of order mn is isomorphic to the direct sum of
and
if and only if m and n are coprime. It follows that any finite abelian group G is isomorphic to a direct sum of the form
in either of the following canonical ways:
For example, can be expressed as the direct sum of two cyclic subgroups of order 3 and 5:
. The same can be said for any abelian group of order 15, leading to the remarkable conclusion that all abelian groups of order 15 are isomorphic.
For another example, every abelian group of order 8 is isomorphic to either (the integers 0 to 7 under addition modulo 8),
(the odd integers 1 to 15 under multiplication modulo 16), or
.
See also list of small groups for finite abelian groups of order 16 or less.
One can apply the fundamental theorem to count (and sometimes determine) the automorphisms of a given finite abelian group G. To do this, one uses the fact (which will not be proved here) that if G splits as a direct sum H K of subgroups of coprime order, then Aut(H
K)
Aut(H)
Aut(K).
Given this, the fundamental theorem shows that to compute the automorphism group of G it suffices to compute the automorphism groups of the Sylow p-subgroups separately (that is, all direct sums of cyclic subgroups, each with order a power of p). Fix a prime p and suppose the exponents ei of the cyclic factors of the Sylow p-subgroup are arranged in increasing order:
for some n > 0. One needs to find the automorphisms of
One special case is when n = 1, so that there is only one cyclic prime-power factor in the Sylow p-subgroup P. In this case the theory of automorphisms of a finite cyclic group can be used. Another special case is when n is arbitrary but ei = 1 for 1 ≤ i ≤ n. Here, one is considering P to be of the form
so elements of this subgroup can be viewed as comprising a vector space of dimension n over the finite field of p elements . The automorphisms of this subgroup are therefore given by the invertible linear transformations, so
which is easily shown to have order
In the most general case, where the ei and n are arbitrary, the automorphism group is more difficult to determine. It is known, however, that if one defines
and
then one has in particular dk ≥ k, ck ≤ k, and
One can check that this yields the orders in the previous examples as special cases (see [Hillar,Rhea]).
The theory of infinite abelian groups is far from complete. Two important special classes with diametrically opposite properties are torsion groups and torsion-free groups.
An abelian group is called periodic or torsion if every element has finite order. Important areas of the theory of torsion groups are:
An abelian group is called torsion-free if every non-zero element has infinite order. Important areas of torsion-free groups are:
An abelian group is called mixed if it is neither torsion nor torsion-free. Important topics in the theory of mixed groups are:
In each case, the new ideas help to approximate a mixed group as a direct sum of a torsion and a torsion-free group.
The additive group of a ring is an abelian group, but not all abelian groups are additive groups of rings. Some important topics in this area of study are:
Many large abelian groups possess a natural topology, which turns them into topological groups.
The collection of all abelian groups, together with the homomorphisms between them, forms the category Ab, the prototype of an abelian category.
Nearly all well-known algebraic structures other than Boolean algebra, are undecidable. Hence it is surprising that Tarski's student Szmielew (1955) proved that the first order theory of abelian groups, unlike its nonabelian counterpart, is decidable. This decidability, plus the fundamental theorem of finite abelian groups described above, highlight some of the successes in abelian group theory, but there are still many areas of current research:
Moreover, abelian groups of infinite order lead, quite surprisingly, to deep questions about the set theory commonly assumed to underlie all of mathematics. Take the Whitehead problem: are all Whitehead groups of infinite order also free abelian groups? In the 1970s, Saharon Shelah proved that the Whitehead problem is:
Among mathematical adjectives derived from the proper name of a mathematician, the word "abelian" is rare in that it is spelled with a lowercase a, rather than an uppercase A, indicating how ubiquitous the concept is in modern mathematics.[1]