Finitely generated abelian group

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".

Clearly, every finite abelian group is finitely generated. The finitely generated abelian groups are of a rather simple structure and can be completely classified, as will be explained below.

Examples

* the integers (Z,+) are a finitely generated abelian group
* the integers modulo "n" Z"n" are a finitely generated abelian group
* any direct sum of finitely many finitely generated abelian groups is again finitely generated abelian

There are no other examples. The group (Q,+) of rational numbers is not finitely generated: if "x"1,...,"x""s" are rational numbers, pick a natural number "w" coprime to all the denominators; then 1/"w" cannot be generated by "x"1,...,"x""s".

Classification

The fundamental theorem of finitely generated abelian groups(which is a special case of the structure theorem for finitely generated modules over a principal ideal domain) can be stated two ways (analogously with PIDs):

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 such group is isomorphic to one of the form:mathbb{Z}^n oplus mathbb{Z}_{q_1} oplus cdots oplus mathbb{Z}_{q_t} where the "rank" "n" ≥ 0, 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".

Invariant factor decomposition

We can also write any finitely generated abelian group "G" as a direct sum of the form:mathbb{Z}^n oplus mathbb{Z}_{k_1} oplus cdots oplus mathbb{Z}_{k_u} 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).

Equivalence

These statements are equivalent because of the Chinese remainder theorem, which here states that Z"m" is isomorphic to the direct product of Z"j" and Z"k" if and only if "j" and "k" are coprime and "m" = "jk".

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: Q 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 Q is one example, and the rank-0 group given by a direct sum of countably many copies of Z2 is another one.

ee also

* The Jordan-Hölder theorem is a non-abelian generalization


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Finitely-generated abelian group — In abstract algebra, an abelian group (G,+) is called finitely generated if there exist finitely many elements x1,...,xs in G such that every x in G can be written in the form x = n1x1 + n2x2 + ... + nsxs with integers n1,...,ns. In this case, we …   Wikipedia

  • Finitely generated — may refer to: * finitely generated group * finitely generated abelian group * finitely generated module: in particular, finitely generated ideal * finitely generated algebra * finitely generated space …   Wikipedia

  • Abelian group — For other uses, see Abelian (disambiguation). Abelian group is also an archaic name for the symplectic group Concepts in group theory category of groups subgroups, normal subgroups group homomorphisms, kernel, image, quotient direct product,… …   Wikipedia

  • Finitely generated module — In mathematics, a finitely generated module is a module that has a finite generating set. Equivalently, it is a homomorphic image of a free module on finitely many generators. The kernel of this homomorphism need not be finitely generated (then… …   Wikipedia

  • Finitely-generated module — In mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated R module also may be called a finite R module or finite over R.[1] Related concepts include finitely cogenerated modules, finitely… …   Wikipedia

  • Free abelian group — In abstract algebra, a free abelian group is an abelian group that has a basis in the sense that every element of the group can be written in one and only one way as a finite linear combination of elements of the basis, with integer coefficients …   Wikipedia

  • Structure theorem for finitely generated modules over a principal ideal domain — In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that… …   Wikipedia

  • Rank of an abelian group — In mathematics, the rank, or torsion free rank, of an abelian group measures how large a group is in terms of how large a vector space over the rational numbers one would need to contain it; or alternatively how large a free abelian group it can… …   Wikipedia

  • Elementary abelian group — In group theory an elementary abelian group is a finite abelian group, where every nontrivial element has order p where p is a prime.By the classification of finitely generated abelian groups, every elementary abelian group must be of the form:(… …   Wikipedia

  • Abelian category — In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototype example of an abelian category is the category of… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”