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 a deliberate, palpable, and dangerous exercise of ... powers not granted by the compact, the States ... are in duty bound to interpose for arresting the progress of the evil, and for maintaining within their respective limits the authorities, rights, and liberties appertaining to them.”
—James Madison (1751–1836)
“If you take away ideology, you are left with a case by case ethics which in practise ends up as me first, me only, and in rampant greed.”
—Richard Nelson (b. 1950)
“We will have rings and things, and fine array,
And kiss me, Kate, we will be married o’ Sunday.”
—William Shakespeare (1564–1616)