Torsion (algebra) - Case of A Principal Ideal Domain

Case of A Principal Ideal Domain

Suppose that R is a (commutative) principal ideal domain and M is a finitely-generated R-module. Then the structure theorem for finitely generated modules over a principal ideal domain gives a detailed description of the module M up to isomorphism. In particular, it claims that

where F is a free R-module of finite rank (depending only on M) and T(M) is the torsion submodule of M. As a corollary, any finitely-generated torsion-free module over R is free. This corollary does not hold for more general commutative domains, even for R = K, the ring of polynomials in two variables. For non-finitely generated modules, the above direct decomposition is not true. The torsion subgroup of an abelian group may not be a direct summand of it.

Read more about this topic:  Torsion (algebra)

Famous quotes containing the words case of a, case of, case, principal, ideal and/or domain:

    You know that the beginning is the most important part of any work, especially in the case of a young and tender thing; for that is the time at which the character is being framed.
    Plato (5th century B.C.)

    If a playwright tried to see eye to eye with everybody, he would get the worst case of strabismus since Hannibal lost an eye trying to count his nineteen elephants during a snowstorm while crossing the Alps.
    James Thurber (1894–1961)

    What do you think of the human mind? I mean, in case you think there is a human mind.
    Mark Twain [Samuel Langhorne Clemens] (1835–1910)

    God should not be called an individual substance, since the principal of individuation is matter.
    Thomas Aquinas (c. 1225–1274)

    Many Americans imagine simpler times even as a storm of social change swirls about, blowing parents here and children there. Sure, the 1950s ideal world would be wonderful. But knock on the nation’s doors: Ozzie and Harriet are seldom at home.
    Leslie Dreyfous (20th century)

    No domain of nature is quite closed to man at all times.
    Henry David Thoreau (1817–1862)