定義 250
A を整域、M を A-加群とする。
x ∈ M が捩れ元であるとは、A の元 a ≠ 0 があり
ax = 0 となることである。

M のすべての元が捩れ元であるとき、M を捩れ加群(torsion module)という。