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:
“Unaffected by “the march of events,”
He passed from men’s memory in l’an trentiesme
De son eage; the case presents
No adjunct to the Muses’ diadem.”
—Ezra Pound (1885–1972)
“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 ideal reasoner,” he remarked, “would, when he had once been shown a single fact in all its bearings, deduce from it not only all the chain of events which led up to it but also all the results which would follow from it.””
—Sir Arthur Conan Doyle (1859–1930)
“You are the harvest and not the reaper
And of your domain another is the keeper.”
—John Ashbery (b. 1927)