Detecting Essential Ideals in Polynomial Rings

We characterize essential ideals in polynomial rings $R[(X_{\lambda }{)}_{\lambda \in \mathrm{\Lambda }}]$ over a commutative ring $R$ with $1$. We present several characterizations, letting $R$ vary among notable classes of rings. The idea is to detect essentiality by checking the intersections with principal ideals generated by polynomials in a test class. In the general commutative case, we apply McCoy’s zero-divisor criterion to construct an efficient test class of polynomials in terms of annihilators of content ideals. We then refine the test class and strengthen the result in several ways, assuming further properties on the coefficients ring $R$. Assuming that $R$ is Noetherian, we reduce the test class using the associated primes of $R$. When $R$ satisfies Serre’s condition $(S_1)$, it suffices to use minimal primes. We also study the cases of $R$ Artinian, $R=\mathbb{Z}\mathrm{/}n\mathbb{Z}$ and $R$ equal to the ideal-adic completion of an excellent ring, among others.