torsion free

一个模如果不包含挠元素则称为无 挠的 (torsion free)。 如果模的所有元素是挠元素, 则称 M 是 挠模 (torsion module)。