TOPICS
Search

Flat Module


A module M over a unit ring R is called flat iff the tensor product functor - tensor _RM (or, equivalently, the tensor product functor M tensor _R-) is an exact functor.

For every R-module, M obeys the implication

 M free ==>M projective ==>M flat,

which, in general, cannot be reversed.

A Z-module is flat iff it is torsion-free: hence Q and the infinite direct product Z×Z×... are flat Z-modules, but they are not projective. In fact, over a Noetherian ring or a local ring, flatness implies projectivity only for finitely generated modules. This property, together with Serre's problem, allows it to be concluded that the three above implications are equivalences if M is a finitely generated module over a polynomial ring k[X_1,...,X_n], where k is a field.


See also

Faithfully Flat Module

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha

References

Faith, C. "Characterizations of Flat Modules." in Algebra: Rings, Modules and Categories, I. Berlin: Springer-Verlag, pp. 432-436, 1973.Jacobson, N. Basic Algebra II. San Francisco, CA: W. H. Freeman, pp. 153-155, 1980.Lam, T. Y. "Flat and Faithfully Flat Modules." §4 in Lectures on Modules and Rings. New York: Springer-Verlag, pp. 122-164, 1999.

Referenced on Wolfram|Alpha

Flat Module

Cite this as:

Barile, Margherita. "Flat Module." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/FlatModule.html

Subject classifications