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:
“Thought is an infection. In the case of certain thoughts, it becomes an epidemic.”
—Wallace Stevens (1879–1955)
“A woman’s whole life is a history of the affections. The heart is her world: it is there her ambition strives for empire; it is there her avarice seeks for hidden treasures. She sends forth her sympathies on adventure; she embarks her whole soul on the traffic of affection; and if shipwrecked, her case is hopeless—for it is a bankruptcy of the heart.”
—Washington Irving (1783–1859)
“We will have rings and things, and fine array,
And kiss me, Kate, we will be married o’ Sunday.”
—William Shakespeare (1564–1616)