A quantitative general Nullstellensatz for Jacobson rings

Abstract

The general Nullstellensatz states that if $A$ is a Jacobson ring, $A[X]$ is Jacobson. We introduce the notion of an $\hat{I}\pm$-Jacobson ring for an ordinal $\hat{I}\pm$ and prove a quantitative version of the general Nullstellensatz: if $A$ is an $\hat{I}\pm$-Jacobson ring, $A[X]$ is $(\hat{I}\pm +1)$-Jacobson. The quantitative general Nullstellensatz implies that $K[X_1,\dots ,X_n]$ is not only Jacobson but also $(1+n)$-Jacobson for any field $K$. It also implies that $\mathbb{Z}[X_1,\dots ,X_n]$ is $(2+n)$-Jacobson.

8 pages