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:
“It was a maxim with Mr. Brass that the habit of paying compliments kept a man’s tongue oiled without any expense; and that, as that useful member ought never to grow rusty or creak in turning on its hinges in the case of a practitioner of the law, in whom it should be always glib and easy, he lost few opportunities of improving himself by the utterance of handsome speeches and eulogistic expressions”
—Charles Dickens (1812–1870)
“I am absurdly fearful about this voyage. Various little omens have combined to give me a dark feeling.... Perhaps we shall live to laugh at these. But in case of mishap I should perish with my husband and child, perhaps to be transferred to some happier state.”
—Margaret Fuller (1810–1850)
“And the case of butterflies so rich it looks
As if all summer settled there and died.”
—Philip Larkin (1922–1986)
“As a Tax-Paying Citizen of the United States I am entitled to a voice in Governmental affairs.... Having paid this unlawful Tax under written Protest for forty years, I am entitled to receive from the Treasury of “Uncle Sam” the full amount of both Principal and Interest.”
—Susan Pecker Fowler (1823–1911)
“Our ideal ... must be a language as clear as glass—the person looking out of the window knows there is glass there, but he is not concerned with it; what concerns him is what comes through from the other side.”
—Elizabeth Bowen (1899–1973)
“You are the harvest and not the reaper
And of your domain another is the keeper.”
—John Ashbery (b. 1927)