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, principal, ideal and/or domain:
“In all unmerciful actions, the worst of men pay this compliment at least to humanity, as to endeavour to wear as much of the appearance of it, as the case will well let them.”
—Laurence Sterne (1713–1768)
“It is perhaps the principal admirableness of the Gothic schools of architecture, that they receive the results of the labour of inferior minds; and out of fragments full of imperfection ... raise up a stately and unaccusable whole.”
—John Ruskin (1819–1900)
“For most Northerners, Texas is the home of real men. The cowboys, the rednecks, the outspoken self-made right-wing millionaires strike us as either the best or worst examples of American manliness.... The ideal is not an illusion nor is it contemptible, no matter what damage it may have done. Many people who scorn it in conversation want to submit to it in bed. Those who believe machismo reeks of violence alone choose to forget it once stood for honor as well.”
—Edmund White (b. 1940)
“No domain of nature is quite closed to man at all times.”
—Henry David Thoreau (1817–1862)