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)
“When you are invited by someone to a wedding banquet, do not sit down at the place of honor, in case someone more distinguished than you has been invited by your host...But when you are invited, go and sit down at the lowest place, so that when your host comes, he may say to you, Friend, move up higher’; then you will be honored in the presence of all who sit at the table with you.”
—Bible: New Testament, Luke 14:8,10.
“There are three principal means of acquiring knowledge available to us: observation of nature, reflection, and experimentation. Observation collects facts; reflection combines them; experimentation verifies the result of that combination. Our observation of nature must be diligent, our reflection profound, and our experiments exact. We rarely see these three means combined; and for this reason, creative geniuses are not common.”
—Denis Diderot (1713–1784)
“The ideal place for me is the one in which it is most natural to live as a foreigner.”
—Italo Calvino (1923–1985)
“You are the harvest and not the reaper
And of your domain another is the keeper.”
—John Ashbery (b. 1927)