A をネーター環とし、Mを A-加群、
N = Q_1 ∩ Q_2 ... ∩ Q_n を M の部分加群 N の最短準素分解
各i に対して {p_i} = Ass(M/Q_i) とする。
ある i に対して p_i が極小素イデアルとすると、
Q_i = φ^(-1)(N_p_i) となる。よって、 Q_i は、N と p_i により
一意に決まる。
ここで、N_p_i は、いつものように積閉集合 S = A - p_i による局所化。
φ: M → M_p_i は標準射。
証明
>>196より。
証明終