フィッティング・イデアル
フィッティング・イデアルは増大する:
Fitt0(M) ⊆ Fitt1(M) ⊆ Fitt2(M) ...
M が n 個の元で生成できるなら Fittn(M) = R が成り立ち、R が局所環なら逆も成り立つ。M の零化イデアルを Ann(M) とすると Fitt0(M) ⊆ Ann(M) が成り立つ。また Ann(M) Fitti(M) ⊆ Fitti−1(M) が成り立つ。 特に、M が n 個の元で生成できるなら Ann(M) ⊆ Fitt0(M) が成り立つ。