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 (18941961)
“What do you think of the human mind? I mean, in case you think there is a human mind.”
—Mark Twain [Samuel Langhorne Clemens] (18351910)
“God should not be called an individual substance, since the principal of individuation is matter.”
—Thomas Aquinas (c. 12251274)
“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 nations 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 (18171862)