定義
A を単項イデアル整域、p を A の極大イデアル、M を p-加群とする。
M の任意の元に x 対して Ann(x) = p^n となる整数 n ≧ 0 があるが、
この n を x の指数と呼ぶ。

(注意):
この定義は、ここだけのものであり一般的ではない。