Platitude

Propriété d'un module M sur un anneau R (ou d'un morphisme d'anneaux R → S) signifiant que le foncteur tensoriel − ⊗_R M préserve les suites exactes ; équivalemment Tor1^R(−,M) = 0 pour tous les modules, de sorte qu'aucune torsion nouvelle n'est introduite par le produit tensoriel.