... a is anti-integral over Rp. Since R[ml, ..., malp is integral over Rp, it follows that a is integral over Rp by Theorem 9.4.14. Thus p,(X) e Rp.[X] (cf.
確定! 回上一頁