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:
“Sculpture and painting are very justly called liberal arts; a lively and strong imagination, together with a just observation, being absolutely necessary to excel in either; which, in my opinion, is by no means the case of music, though called a liberal art, and now in Italy placed even above the other two—a proof of the decline of that country.”
—Philip Dormer Stanhope, 4th Earl Chesterfield (1694–1773)
“Socialists make the mistake of confusing individual worth with success. They believe you cannot allow people to succeed in case those who fail feel worthless.”
—Kenneth Baker (b. 1934)
“So in accepting the leading of the sentiments, it is not what we believe concerning the immortality of the soul, or the like, but the universal impulse to believe, that is the material circumstance, and is the principal fact in this history of the globe.”
—Ralph Waldo Emerson (1803–1882)
“But I must needs take my petulance, contrasting it with my accustomed morning hopefulness, as a sign of the ageing of appetite, of a decay in the very capacity of enjoyment. We need some imaginative stimulus, some not impossible ideal which may shape vague hope, and transform it into effective desire, to carry us year after year, without disgust, through the routine- work which is so large a part of life.”
—Walter Pater (1839–1894)
“The vice named surrealism is the immoderate and impassioned use of the stupefacient image or rather of the uncontrolled provocation of the image for its own sake and for the element of unpredictable perturbation and of metamorphosis which it introduces into the domain of representation; for each image on each occasion forces you to revise the entire Universe.”
—Louis Aragon (1897–1982)