A left "R"-module "M" is flat if and only if Torn"R"(–, "M") = 0 for all formula_59 (i.e., if and only if Torn"R"("X", "M") = 0 for all formula_59 and all right "R"-modules "X").
Левый "R"-модуль "M" является плоским тогда и только тогда, когда Torn"R"(-, "M") = 0 для всех formula_17 (то есть когда Torn"R"("X", "M") = 0 для всех formula_17 и всех правых "R"-модулей "X"), определение плоского правого модуля аналогично.