代数的整数論 - 暇つぶし2ch

代数的整数論 at MATH

190:208
05/10/03 14:21:29
A をネーター環とし、Mを A-加群とする。
M の部分加群 N の最短準素分解
N = Q_1 ∩ Q_2 ... ∩ Q_n があるとする。
各i に対して {p_i} = Ass(M/Q_i) とすると、
Ass(M/N) = {p_1, p_2, ... , p_n} となる。

証明
M/N は Σ(M/Q_i) （直和）の部分加群に同型だから、
>>186 より、Ass(M) ⊂ {p_1, p_2, ... , p_n} となる。
各i に対して P_i = ∩{Q_j; j ≠ i} とおく。
N = Q_1 ∩ Q_2 ... ∩ Q_n は無駄がないから、
P_i/N ≠ 0 である。P_i/N は (P_i + Q_i)/Q_i に同型であり、
(P_i + Q_i)/Q_i は M/Q_i の部分加群だから、
Ass(P_i/N) = {p_i} となる。P_i/N は M/N の部分加群だから
p_i ∈ Ass(M/N) となる。
証明終

次ページ

続きを表示

1を表示