定義
A を単項イデアル整域、M を A 上有限生成の加群とする。
A のある素元 p があり、M の任意の元 x に対して (p^n)x = 0
となる整数 n > 0 があるとき、M を p-加群と呼ぶ。
ここで、n は x に依存する。p の生成する A の極大イデアル
を (p) と したとき、M を (p)-加群とも呼ぶ。