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:
“The function of muscle is to pull and not to push, except in the case of the genitals and the tongue.”
—Leonardo Da Vinci (1425–1519)
“Before I get through with you, you will have a clear case for divorce and so will my wife. Now, the first thing to do is arrange for a settlement. You take the children, your husband takes the house, Junior burns down the house, you take the insurance and I take you!”
—S.J. Perelman, U.S. screenwriter, Arthur Sheekman, Will Johnstone, and Norman Z. McLeod. Groucho Marx, Monkey Business, terms for a divorce settlement proposed while trying to woo Lucille Briggs (Thelma Todd)
“You held my hand
and were instant to explain
the three rings of danger.”
—Anne Sexton (1928–1974)