Planitud

Propiedad de un módulo M sobre un anillo R (o de un homomorfismo de anillos R → S) que significa que tensorizar con M (o con S sobre R) preserva las sucesiones exactas; equivalente a Tor1^R(−,M) = 0 para todos los módulos, de modo que el producto tensor no introduce nueva torsión.