Abelian Group - Infinite Abelian Groups

Infinite Abelian Groups

Тhe simplest infinite abelian group is the infinite cyclic group Z. Any finitely generated abelian group A is isomorphic to the direct sum of r copies of Z and a finite abelian group, which in turn is decomposable into a direct sum of finitely many cyclic groups of primary orders. Even though the decomposition is not unique, the number r, called the rank of A, and the prime powers giving the orders of finite cyclic summands are uniquely determined.

By contrast, classification of general infinitely generated abelian groups is far from complete. Divisible groups, i.e. abelian groups A in which the equation nx = a admits a solution xA for any natural number n and element a of A, constitute one important class of infinite abelian groups that can be completely characterized. Every divisible group is isomorphic to a direct sum, with summands isomorphic to Q and Prüfer groups Qp/Zp for various prime numbers p, and the cardinality of the set of summands of each type is uniquely determined. Moreover, if a divisible group A is a subgroup of an abelian group G then A admits a direct complement: a subgroup C of G such that G = AC. Thus divisible groups are injective modules in the category of abelian groups, and conversely, every injective abelian group is divisible (Baer's criterion). An abelian group without non-zero divisible subgroups is called reduced.

Two important special classes of infinite abelian groups with diametrically opposite properties are torsion groups and torsion-free groups, exemplified by the groups Q/Z (periodic) and Q (torsion-free).

Read more about this topic:  Abelian Group

Famous quotes containing the words infinite and/or groups:

    And universal Nature, through her vast
    And crowded whole, an infinite paroquet,
    Repeats one note.
    Ralph Waldo Emerson (1803–1882)

    Under weak government, in a wide, thinly populated country, in the struggle against the raw natural environment and with the free play of economic forces, unified social groups become the transmitters of culture.
    Johan Huizinga (1872–1945)