Torsion-free abelian groups of rank 1

Torsion-free abelian groups of rank 1

Infinitely generated abelian groups have very complex structure and are far less well understood than finitely generated abelian groups. Even torsion-free abelian groups are vastly more varied in their characteristics than vector spaces. Torsion-free abelian groups of rank 1 are far more amenable than those of higher rank, and a satisfactory classification exists, even though there are an uncountable number of isomorphism classes.

Definition

A torsion-free abelian group of rank 1 is an abelian group such that every element except the identity has infinite order, and for any two non-identity elements "a" and "b" there is a non-trivial relation between them over the integers:

: n a + m b = 0 ;

Classification of torsion-free abelian groups of rank 1

For any non-identity element "a" in such a group and any prime number "p" there may or may not be another element "apn" such that:

:p^n a_{p^n} = a;

If such an element exists for every "n", we say the "p"-root type of "a" is infinity, otherwise, if "n" is the largest non-negative integer that there is such an element, we say the "p"-root type of "a" is "n" .

We call the sequence of "p"-root types of an element "a" for all primes the root-type of "a":

:T(a)={t_2,t_3,t_5,ldots};.

If "b" is another non-identity element of the group, then there is a non-trivial relation between "a" and "b":

:n a + m b = 0;

where we may take "n" and "m" to be coprime.

As a consequence of this the root-type of "b" differs from the root-type of "a" only by a finite difference at a finite number of indices (corresponding to those primes which divide either "n" or "m").

We call the co-finite equivalence class of a root-type to be the set of root-types that differ from it by a finite difference at a finite number of indices.

The co-finite equivalence class of the type of a non-identity element is a well-defined invariant of a torsion-free abelian group of rank 1. We call this invariant the type of a torsion-free abelian group of rank 1.

If two torsion-free abelian groups of rank 1 have the same type they may be shown to be isomorphic. Hence there is a bijection between types of torsion-free abelian groups of rank 1 and their isomorphism classes, providing a complete classification.

References

*
* Chapter VIII.


Wikimedia Foundation. 2010.

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

Look at other dictionaries:

  • 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

  • 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

  • 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

  • Torsion (algebra) — In abstract algebra, the term torsion refers to a number of concepts related to elements of finite order in groups and to the failure of modules to be free. Definition Let G be a group. An element g of G is called a torsion element if g has… …   Wikipedia

  • Torsion subgroup — In the theory of abelian groups, the torsion subgroup AT of an abelian group A is the subgroup of A consisting of all elements that have finite order. An abelian group A is called a torsion (or periodic) group if every element of A has finite… …   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

  • 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

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

  • Stallings theorem about ends of groups — In the mathematical subject of group theory, the Stallings theorem about ends of groups states that a finitely generated group G has more than one end if and only if the group G admits a nontrivial decomposition as an amalgamated free product or… …   Wikipedia

Share the article and excerpts

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