Pass to . It is enough to prove that the zero ideal of is primary. The zero ideal of is primary, so every zero divisor of is nilpotent element.
Suppose in with . By McCoy theorem, some nonzero satisfies . Hence every coefficient of is a zero divisor and therefore nilpotent. There are only finitely many coefficients, so the ideal they generate is nilpotent; consequently some power of is zero. This proves that is primary in , and the coefficientwise quotient of a polynomial ringshows that is primary.
Articles by others on the same topic
There are currently no matching articles.