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:
“The real exertion in the case of an opera singer lies not so much in her singing as in her acting of a role, for nearly every modern opera makes great dramatic and physical demands.”
—Maria Jeritza (1887–1982)
“What we need to know in any case is very simple.”
—Henry David Thoreau (1817–1862)
“In our country today, very few children are raised to believe that their principal destiny is to serve their family, their country, or God.”
—Benjamin Spock (b. 1903)
“The tradition I cherish is the ideal this country was built upon, the concept of religious pluralism, of a plethora of opinions, of tolerance and not the jihad. Religious war, pooh. The war is between those who trust us to think and those who believe we must merely be led.”
—Anna Quindlen (b. 1952)
“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)