05/11/02 12:00:41
命題
A を整閉整域(>>578)、A ⊂ B を整域の包含関係、B は A 上整とする。
q を B の素イデアルとする。
ht(A ∩ q) = ht(q) となる。
証明
>>638 と >>642 から明らか。
05/11/02 12:00:41
命題
A を整閉整域(>>578)、A ⊂ B を整域の包含関係、B は A 上整とする。
q を B の素イデアルとする。
ht(A ∩ q) = ht(q) となる。
証明
>>638 と >>642 から明らか。