Flatness is all about avoiding an annoying property of the tensor product: it does not preserve submodules.

Fix a commutative ring . We say that an -module is **flat** if the functor , is exact; it is always right-exact. It is sufficient to show that for any injection

the tensored sequence is exact, i.e.

It is immediate that the direct sum or tensor product of flat modules is flat, and that a direct summand in a flat module is flat. Also, the module itself is clearly flat. So any free module is flat, and thus so is any projective module. In the local case, we’ll see that the converse is true at least if we stick to finitely generated modules over a noetherian ring (more generally, for finitely presented modules over any ring).

Since completion preserves exactness, is a flat -module where is an -adic completion of for noetherian. Localization does to, so any localization is flat. So many common examples are flat. But because of the above injectivity characterization, a nonzerodivisor in must act by a nonzerodivisor on any flat module. Thus for instance, is not flat over . (more…)