05/10/03 17:31:40
A をネーター環とし、Mを A-加群、
N = Q_1 ∩ Q_2 ... ∩ Q_n を M の部分加群 N の最短準素分解
各i に対して {p_i} = Ass(M/Q_i)、
S を A の積閉集合とする。
0 < r < n, i = 1, ... , r に対して
p_i ∩ S は空、j = r+1, ... , n に対して p_j ∩ S は空でない
とする。このとき、N_S = (Q_1)_S ∩ (Q_2)_S ... ∩ (Q_r)_S
となり、これは N_S の M_S における最短準素分解である。
証明
>>194と>>195より。
証明終