代数的整数論
■ このスレッドは過去ログ倉庫に格納されています
0186208
2005/10/03(月) 11:38:28M = ΣM_i (直和)とする。このとき、 Ass(M) = ∪Ass(M_i) となる。
証明
>>184より(M_i)は有限個の族、特に2個の場合を証明すればよい。
M = M_1 + M_2 (直和)とする。
>>185 より、Ass(M) ⊂ Ass(M_1) ∪ Ass(M_2) となる。
逆の包含関係は明らか。
証明終
■ このスレッドは過去ログ倉庫に格納されています