无挠模

无挠模(torsion free module)是一类重要的模，它是无非平凡挠元的模。设M是A模，若除0外没有挠元，即T(M)=0，则称AM为无挠模，此时由ax=0一定有a=0或x=0。当A是整数环，对任意A模M，M/T(M)是无挠的，一个Z模是平坦模的充分必要条件是它为无挠模[1]。如果 是一个同构映射，则称A是一个自反模，若果 是一个单同态映射，则称A是一个无挠模。有时也称为半自反模，我们也常把 称为A的无挠因子[2]。