Rank of an abelian group

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 contain as a subgroup.

The rank of a finite abelian group has a different definition. (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. Question: Is the rank of a finite abelian group defined as the number of these subgroups?)

Definition

An abelian group is often thought of as composed of its torsion subgroup "T", and its torsion-free part "A"/"T". The torsion-free rank describes how complicated the torsion-free part can be.

More precisely, let "A" be an abelian group and "T" the torsion subgroup, "T" = { "a" in "A" : "na" = 0 for some nonzero integer "n" }. Let Q denote the set of rational numbers. The torsion-free rank of "A" is equal to all of the following cardinal numbers:

* The vector space dimension of the tensor product of the abelian groups Q and "A"
* The vector space dimension of the smallest Q-vector space containing the torsion-free group "A"/"T"
* The largest cardinal "d" such that "A" contains a copy of the direct sum of "d" copies of the integers Z
* The cardinality of a maximal Z-linearly independent subset of "A".

Following the same pattern, we may also define torsion-free ranks of all modules over any principal ideal domain "R". Instead of Q we then use the field of fractions of "R".

Properties

Abelian groups of rank 0 are exactly the torsion abelian groups. Hence, the only torsion-free abelian group of rank 0 is the trivial group {0}.

There is a satisfactory classification of the uncountable number of isomorphism classes of torsion-free abelian groups of rank 1. For example, the group of rational numbers Q has rank 1.

There is, as yet, no satisfactory classification of torsion-free abelian groups of rank 2.

As one would expect, the rank of Z"n" is "n" for every natural number "n". More generally, the rank of any free abelian group (as explained in that article) coincides with its t.f. rank.

The following fact can often be used to compute ranks: if :0 o A o B o C o 0;is a short exact sequence of abelian groups, then:operatorname{rank}(B)=operatorname{rank}(A)+operatorname{rank}(C);.(Proof: tensoring the given sequence with Q yields a short exact sequence of Q-vector spaces since Q is flat; vector space dimensions are additive on short exact sequences.)

Another useful formula, familiar from vector space dimensions, is the following about arbitrary direct sums::operatorname{rank}left(igoplus_{jin J}A_j ight) = sum_{jin J}operatorname{rank}(A_j).

Finitely generated abelian groups

The fundamental theorem of finitely generated abelian groups classifies these completely by rank and torsion structure.

Curiosities about large rank groups

Larger ranks than 1, especially infinite ranks, are often the source of entertaining paradoxical groups. For instance for every cardinal "d", there are many torsion-free abelian groups of rank "d" that cannot be written as a direct sum of any pair of their proper subgroups. Such groups are called indecomposable, since they are not simply built up from other smaller groups. These examples show that torsion-free rank 1 groups (which are relatively well understood) are not the building blocks of all abelian groups.

Furthermore, for every integer "n" ≥ 3, there is a rank 2"n"-2 torsion-free abelian group that is simultaneously a sum of two indecomposable groups, and a sum of "n" indecomposable groups. Hence for ranks 4 and up, even the number of building blocks is not well-defined.

Another example, due to A.L.S. Corner, shows that the situation is as bad as one could possibly imagine: Given integers "n" ≥ "k" ≥ 1, there is a torsion-free group "A" of rank "n", such that for any partition of "n" into "r"1 + ... + "r""k" = "n", each "r""i" being a positive integer, "A" is the direct sum of "k" indecomposable groups, the first with rank "r"1, the second "r"2, ..., the "k"-th with rank "r""k". This shows that a single group can have all possible combinations of a given number of building blocks, so that even if one were to know complete decompositions of two torsion-free groups, one would not be sure that they were not isomorphic.

Other surprising examples include torsion-free rank 2 groups "A""n","m" and "B""n","m" such that "A""n" is isomorphic to "B""n" if and only if "n" is divisible by "m".

When one allows infinite rank, one is treated to a group "G" contained in a group "K" such that "K" is indecomposable and is generated by "G" and a single element, and yet every nonzero direct summand of "G" has yet another nonzero direct summand.

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • 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

  • 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

  • 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… …   Wikipedia

  • 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

  • Rank — is a very broad term with several meanings. As a noun it is usually related to a relative position or to some kind of ordering (see also ranking). As an adjective it is used to mean profuse, conspicuous, absolute, or unpleasant, especially in… …   Wikipedia

  • Rank (mathematics) — Rank means a wide variety of things in mathematics, including: * Rank (linear algebra) * Rank of a tensor * Rank of an abelian group * Rank of a Lie group * Percentile rank * Rank (differential topology) * Rank of a vector bundle * Rank (set… …   Wikipedia

  • Abelian variety — In mathematics, particularly in algebraic geometry, complex analysis and number theory, an Abelian variety is a projective algebraic variety that is at the same time an algebraic group, i.e., has a group law that can be defined by regular… …   Wikipedia

  • Rank of a group — For the dimension of the Cartan subgroup, see Rank of a Lie group In the mathematical subject of group theory, the rank of a group G , denoted rank( G ), can refer to the smallest cardinality of a generating set for G , that is:… …   Wikipedia

  • Group cohomology — This article is about homology and cohomology of a group. For homology or cohomology groups of a space or other object, see Homology (mathematics). In abstract algebra, homological algebra, algebraic topology and algebraic number theory, as well… …   Wikipedia

  • List of group theory topics — Contents 1 Structures and operations 2 Basic properties of groups 2.1 Group homomorphisms 3 Basic types of groups …   Wikipedia

Share the article and excerpts

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