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, case, principal, ideal and/or domain:
“In the case of all other sciences, arts, skills, and crafts, everyone is convinced that a complex and laborious programme of learning and practice is necessary for competence. Yet when it comes to philosophy, there seems to be a currently prevailing prejudice to the effect that, although not everyone who has eyes and fingers, and is given leather and last, is at once in a position to make shoes, everyone nevertheless immediately understands how to philosophize.”
—Georg Wilhelm Friedrich Hegel (1770–1831)
“Pardon me, you are not engaged to any one. When you do become engaged to some one, I, or your father, should his health permit him, will inform you of the fact. An engagement should come on a young girl as a surprise, pleasant or unpleasant, as the case may be. It is hardly a matter that she could be allowed to arrange for herself.”
—Oscar Wilde (1854–1900)
“I cannot believe that our factory system is the best mode by which men may get clothing. The condition of the operatives is becoming every day more like that of the English; and it cannot be wondered at, since, as far as I have heard or observed, the principal object is, not that mankind may be well and honestly clad, but, unquestionably, that the corporations may be enriched.”
—Henry David Thoreau (1817–1862)
“It is well worth the efforts of a lifetime to have attained knowledge which justifies an attack on the root of all evil—viz. the deadly atheism which asserts that because forms of evil have always existed in society, therefore they must always exist; and that the attainment of a high ideal is a hopeless chimera.”
—Elizabeth Blackwell (1821–1910)
“While you are divided from us by geographical lines, which are imaginary, and by a language which is not the same, you have not come to an alien people or land. In the realm of the heart, in the domain of the mind, there are no geographical lines dividing the nations.”
—Anna Howard Shaw (1847–1919)