Ideal contraction rigidity under an integral extension

ID: ideal-contraction-rigidity-under-an-integral-extension

Let be integral and let be ideals of . If is prime and , then . After quotienting by , a nonzero element of has an integral equation of least degree whose nonzero constant term lies in , a contradiction.

New to topics? Read the docs here!