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

代数的整数論 at MATH

204:208
05/10/04 18:18:37
命題
A をネーター環とする。
Ass(A) = {p_1, p_2, ... , p_r} とする。
p を A の任意の素イデアルとすると、
ある i に対して p_i ⊂ p となる。

証明
A の零イデアルの最短準素分解を
0 = q_1 ∩ q_2 ∩ ... ∩ q_r とし、Ass(A/q_i) = {p_i} とする。
(q_1)(q_2)...(q_r) ⊂ q_1 ∩ q_2 ∩ ... ∩ q_r
だから、>>208 より、q_i ⊂ p となる i がある。
>>178より、p_i = rad(q_i) である。
よって、>>165より、(p_i)^(n) ⊂ q_i となる整数 n がある。
よって、(p_i)^n ⊂ p となる。
再び、>>208 より p_i ⊂ p となる。
証明終

次ページ

続きを表示

1を表示