想即可。
一般的环.当 formula_1 非交换时的定义须作如下修改：假设 formula_3 是左 formula_1-模，则称之左平坦模，若且唯若对 formula_3 的张量积将右 formula_1-模的正合序列映至阿贝尔群的正合序列。环上的张量积总是右正合函子，所以左 formula_1-模 formula_3 是平坦模的充要条件是：对任何右 formula_1-模的单射 formula_31，取张量积后的同态 formula_32 仍为单射。Section::