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

代数的整数論 at MATH

98:１３２人目の素数さん
05/09/22 18:17:03
Aを環、p ∈ Spec(A) とする。
>>81 より Spec(A_p) = {q ∈ Spec(A); q ⊂ p } となる。
よって、A_p はpA_pをただ１つの極大イデアルにもつ。
つまり、A_pは局所環である。
A_p/pA_p は A/pの商体に同型である。

次ページ

続きを表示

1を表示