In homological algebra and algebraic geometry, a flat module over a ringR is an R-moduleM such that taking the tensor product over R with M preserves exact sequences. A module is faithfully flat if taking the tensor product with a sequence produces an exact sequence if and only if the original sequence is exact.