Case of Commutative Rings
For any multiplicatively closed subset S of R, the localization ring is flat as an R-module.
When R is Noetherian and M is a finitely-generated R-module, being flat is the same as being locally free in the following sense: M is a flat R-module if and only if for every prime ideal (or even just for every maximal ideal) P of R, the localization is free as a module over the localization .
If S is an R-algebra, i.e., we have a homomorphism, then S has the structure of an R-module, and hence it makes sense to ask if S is flat over R. If this is the case, then S is faithfully flat over R if and only if every prime ideal of R is the inverse image under f of a prime ideal in S. In other words, if and only if the induced map is surjective.
Flat modules over commutative rings are always torsion-free. Projective modules (and thus free modules) are always flat. For certain common classes of rings, these statements can be reversed (for example, every torsion-free module over a Dedekind ring is automatically flat and flat modules over perfect rings are always projective), as is subsumed in the following diagram of module properties:
Read more about this topic: Flat Module
Famous quotes containing the words case of, case and/or rings:
“In the case of pirates, say, I would like to know whether that profession of theirs has any peculiar glory about it. It sometimes ends in uncommon elevation, indeed; but only at the gallows.”
—Herman Melville (1819–1891)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“We will have rings and things, and fine array,
And kiss me, Kate, we will be married o’ Sunday.”
—William Shakespeare (1564–1616)