Finitely generated abelian group
In abstract algebra, an abelian group (G, +) is called finitely generated if there exist finitely many elements x_{1}, ..., x_{s} in G such that every x in G can be written in the form
- x = n_{1}x_{1} + n_{2}x_{2} + ... + n_{s}x_{s}
with integers n_{1}, ..., n_{s}. In this case, we say that the set {x_{1}, ..., x_{s}} is a generating set of G or that x_{1}, ..., x_{s} generate G.
Every finite abelian group is finitely generated. The finitely generated abelian groups can be completely classified.
Examples
- The integers, , are a finitely generated abelian group.
- The integers modulo , , are a finite (hence finitely generated) abelian group.
- Any direct sum of finitely many finitely generated abelian groups is again a finitely generated abelian group.
- Every lattice forms a finitely generated free abelian group.
There are no other examples (up to isomorphism). In particular, the group of rational numbers is not finitely generated:[1] if are rational numbers, pick a natural number coprime to all the denominators; then cannot be generated by . The group of non-zero rational numbers is also not finitely generated. The groups of real numbers under addition and non-zero real numbers under multiplication are also not finitely generated.[1][2]
Classification
The fundamental theorem of finitely generated abelian groups can be stated two ways, generalizing the two forms of the fundamental theorem of finite abelian groups. The theorem, in both forms, in turn generalizes to the structure theorem for finitely generated modules over a principal ideal domain, which in turn admits further generalizations.
Primary decomposition
The primary decomposition formulation states that every finitely generated abelian group G is isomorphic to a direct sum of primary cyclic groups and infinite cyclic groups. A primary cyclic group is one whose order is a power of a prime. That is, every finitely generated abelian group is isomorphic to a group of the form
where n ≥ 0 is the rank, and the numbers q_{1}, ..., q_{t} are powers of (not necessarily distinct) prime numbers. In particular, G is finite if and only if n = 0. The values of n, q_{1}, ..., q_{t} are (up to rearranging the indices) uniquely determined by G, that is, there is one and only one way to represent G as such a decomposition.
Invariant factor decomposition
We can also write any finitely generated abelian group G as a direct sum of the form
where k_{1} divides k_{2}, which divides k_{3} and so on up to k_{u}. Again, the rank n and the invariant factors k_{1}, ..., k_{u} are uniquely determined by G (here with a unique order). The rank and the sequence of invariant factors determine the group up to isomorphism.
Equivalence
These statements are equivalent as a result of the Chinese remainder theorem, which implies that if and only if j and k are coprime.
History
The history and credit for the fundamental theorem is complicated by the fact that it was proven when group theory was not well-established, and thus early forms, while essentially the modern result and proof, are often stated for a specific case. Briefly, an early form of the finite case was proven in (Gauss 1801), the finite case was proven in (Kronecker 1870), and stated in group-theoretic terms in (Frobenius & Stickelberger 1878). The finitely presented case is solved by Smith normal form, and hence frequently credited to (Smith 1861),[3] though the finitely generated case is sometimes instead credited to (Poincaré 1900); details follow.
Group theorist László Fuchs states:[3]
As far as the fundamental theorem on finite abelian groups is concerned, it is not clear how far back in time one needs to go to trace its origin. ... it took a long time to formulate and prove the fundamental theorem in its present form ...
The fundamental theorem for finite abelian groups was proven by Leopold Kronecker in (Kronecker 1870), using a group-theoretic proof,[4] though without stating it in group-theoretic terms;[5] a modern presentation of Kronecker's proof is given in (Stillwell 2012), 5.2.2 Kronecker's Theorem, 176–177. This generalized an earlier result of Carl Friedrich Gauss from Disquisitiones Arithmeticae (1801), which classified quadratic forms; Kronecker cited this result of Gauss's. The theorem was stated and proved in the language of groups by Ferdinand Georg Frobenius and Ludwig Stickelberger in 1878.[6][7] Another group-theoretic formulation was given by Kronecker's student Eugen Netto in 1882.[8][9]
The fundamental theorem for finitely presented abelian groups was proven by Henry John Stephen Smith in (Smith 1861),[3] as integer matrices correspond to finite presentations of abelian groups (this generalizes to finitely presented modules over a principal ideal domain), and Smith normal form corresponds to classifying finitely presented abelian groups. There is the additional technicality of showing that a finitely presented abelian group is in fact finitely generated, so Smith's classification is not a complete proof for finitely generated abelian groups.
The fundamental theorem for finitely generated abelian groups was proven by Henri Poincaré in (Poincaré 1900), using a matrix proof (which generalizes to principal ideal domains). This was done in the context of computing the homology of a complex, specifically the Betti number and torsion coefficients of a dimension of the complex, where the Betti number corresponds to the rank of the free part, and the torsion coefficients correspond to the torsion part.[4]
Kronecker's proof was generalized to finitely generated abelian groups by Emmy Noether in (Noether 1926).[4]
Corollaries
Stated differently the fundamental theorem says that a finitely generated abelian group is the direct sum of a free abelian group of finite rank and a finite abelian group, each of those being unique up to isomorphism. The finite abelian group is just the torsion subgroup of G. The rank of G is defined as the rank of the torsion-free part of G; this is just the number n in the above formulas.
A corollary to the fundamental theorem is that every finitely generated torsion-free abelian group is free abelian. The finitely generated condition is essential here: is torsion-free but not free abelian.
Every subgroup and factor group of a finitely generated abelian group is again finitely generated abelian. The finitely generated abelian groups, together with the group homomorphisms, form an abelian category which is a Serre subcategory of the category of abelian groups.
Non-finitely generated abelian groups
Note that not every abelian group of finite rank is finitely generated; the rank 1 group is one counterexample, and the rank-0 group given by a direct sum of countably infinitely many copies of is another one.
See also
- The Jordan–Hölder theorem is a non-abelian generalization
Notes
- Silverman & Tate (1992), p. 102
- de la Harpe (2000), p. 46
- Fuchs, László (2015) [Originally published 1958]. Abelian Groups. p. 85. ISBN 978-3-319-19422-6.
- Stillwell, John (2012). "5.2 The Structure Theorem for Finitely Generated". Classical Topology and Combinatorial Group Theory. p. 175.
- Wussing, Hans (2007) [1969]. Die Genesis des abstrackten Gruppenbegriffes. Ein Beitrag zur Entstehungsgeschichte der abstrakten Gruppentheorie [The Genesis of the Abstract Group Concept: A Contribution to the History of the Origin of Abstract Group Theory.]. p. 67.
- G. Frobenius, L. Stickelberger, Uber Grubben von vertauschbaren Elementen, J. reine u. angew. Math., 86 (1878), 217-262.
- Wussing (2007), pp. 234–235
- Substitutionentheorie und ihre Anwendung auf die Algebra, Eugen Netto, 1882
- Wussing (2007), pp. 234–235
References
- Smith, Henry J. Stephen (1861). "On systems of linear indeterminate equations and congruences". Phil. Trans. R. Soc. Lond. 151 (1): 293–326. doi:10.1098/rstl.1861.0016. JSTOR 108738. Reprinted (pp. 367–409) in The Collected Mathematical Papers of Henry John Stephen Smith, Vol. I, edited by J. W. L. Glaisher. Oxford: Clarendon Press (1894), xcv+603 pp.
- Silverman, Joseph H.; Tate, John Torrence (1992). Rational points on elliptic curves. Undergraduate Texts in Mathematics. Springer. ISBN 978-0-387-97825-3.
- de la Harpe, Pierre (2000). Topics in geometric group theory. Chicago lectures in mathematics. University of Chicago Press. ISBN 978-0-226-31721-2.