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の商体に同型である。
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の商体に同型である。