| Abelian Group |
Article Index for Abelian |
Website Links For Group |
Information AboutAbelian Group |
| CATEGORIES ABOUT ABELIAN GROUP | |
| abelian group theory | |
| properties of groups | |
|
Groups that are not commutative are called ''non-abelian'' (or ''non-commutative''). Abelian groups are named after Niels Henrik Abel . NOTATION There are two main notational conventions for abelian groups — additive and multiplicative. The multiplicative notation is the usual notation for groups, while the additive notation is the usual notation for Modules . When studying abelian groups apart from other groups, the additive notation is usually used. EXAMPLES Every Cyclic Group ''G'' is abelian, because if ''x'', ''y'' are in ''G'', then ''xy'' = ''a''''m''''a''''n'' = ''a''''m'' + ''n'' = ''a''''n'' + ''m'' = ''a''''n''''a''''m'' = ''yx''. Thus the Integer s, Z, form an abelian group under addition, as do the Integers Modulo ''n'' , Z/''n''Z. Every Ring is an abelian group with respect to its addition operation. In a Commutative Ring the invertible elements, or Units , form an abelian Multiplicative Group . In particular, the Real Number s are an abelian group under addition, and the nonzero real numbers are an abelian group under multiplication. Every Subgroup of an abelian group is Normal , so each subgroup gives rise to a Quotient Group . Subgroups, quotients, and Direct Sums of abelian groups are again abelian. Matrices , even invertible matrices, do not form an abelian group under multiplication because matrix multiplication is generally not commutative. MULTIPLICATION TABLE 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'' = {''g''1 = ''e'', ''g''2, ..., ''g''''n''} under the operation ⋅, the (''i'', ''j'')'th entry of this table contains the product ''g''''i'' ⋅ ''g''''j''. 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 ''g''''i'' ⋅ ''g''''j'' = ''g''''j'' ⋅ ''g''''i''. 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. PROPERTIES 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 Group s. If ''f'', ''g'' : ''G'' → ''H'' are two Group Homomorphism s 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 Space s, 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 Number s have rank one, as well as every subgroup of the rationals. While the rank one Torsion-free abelian groups are well understood, even finite-rank abelian groups are not well understood. Infinite-rank abelian groups can be extremely complex and many open questions exist, often intimately connected to questions of Set Theory . FINITE ABELIAN GROUPS The fundamental theorem of finite abelian groups states that every finite abelian group can be expressed as the direct sum of cyclic subgroups of Prime -power order. This is a special application of the Fundamental Theorem Of Finitely Generated Abelian Groups in the case when ''G'' has torsion-free rank equal to 0. Z''mn'' is isomorphic to the direct product of Z''m'' and Z''n'' if and only if ''m'' and ''n'' are Coprime . Therefore we can write any finite abelian group ''G'' as a direct product of the form : in two unique ways:
Thus we have 3 2 or 6, 5 2 or 10, 4 3 or 12, 3 2 2 or 6 2, 7 2 or 14, and 5 3 or 15, but anyway 2 2, 4 2, 2 2 2, 3 3, 8 2, 4 4, 4 2 2, and 2 2 2 2. For example, Z/15Z = Z/15 can be expressed as the direct sum of two cyclic subgroups of order 3 and 5: Z/15 = {0, 5, 10} ⊕ {0, 3, 6, 9, 12}. 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 Z/8 (the integers 0 to 7 under addition modulo 8), Z/4 ⊕ Z/2 (the odd integers 1 to 15 under multiplication modulo 16), or Z/2 ⊕ Z/2 ⊕ Z/2. See also List Of Small Groups for finite abelian groups of order 16 or less. Automorphisms of finite abelian groups 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 ''e''''i'' of the cyclic factors of the Sylow ''p''-subgroup are arranged in increasing order: e for some ''n'' > 0. One needs to find the automorphisms of Z 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 ''e''''i'' = 1 for 1 ≤ ''i'' ≤ ''n''. Here, one is considering ''P'' to be of the form :Z''p'' ⊕ … ⊕ Z''p'', so elements of this subgroup can be viewed as comprising a vector space of dimension ''n'' over the finite field of ''p'' elements F''p''. The automorphisms of this subgroup are therefore given by the invertible linear transformations, so :Aut(''P'') ≅ GL(''n'', F''p''), which is easily shown to have order One can check that this yields the orders in the previous examples as special cases (see {Link without Title} ). RELATION TO OTHER MATHEMATICAL TOPICS The collection of all abelian groups, together with the homomorphisms between them, forms a Category , the prototype of an Abelian Category . We denote this category Ab. See Category Of Abelian Groups for a list of its properties. Many large abelian groups carry a natural topology, turning them into Topological Group s. A NOTE ON THE TYPOGRAPHY Among mathematical Adjective s derived from the Proper Name of a Mathematician , the word "abelian" is rare in being expressed with a lowercase a, rather than '''A''' (cf. Riemannian ). Contrary to what one might expect, naming a concept in this way is considered one of the highest honours in mathematics for the Namesake . SEE ALSO REFERENCES
|
|
|