Explicit polynomial bounds on prime ideals in polynomial rings over fields
Abstract
Suppose $I$ is an ideal of a polynomial ring over a field, $I\subseteq k[x_1,\ldots,x_n]$, and whenever $fg\in I$ with degree $\leq b$, then either $f\in I$ or $g\in I$. When $b$ is sufficiently large, it follows that $I$ is prime. Schmidt-Göttsch proved that "sufficiently large" can be taken to be a polynomial in the degree of generators of $I$ (with the degree of this polynomial depending on $n$). However Schmidt-Göttsch used model-theoretic methods to show this, and did not give any indication of how large the degree of this polynomial is. In this paper we obtain an explicit bound on $b$, polynomial in the degree of the generators of $I$. We also give a similar bound for detecting maximal ideals in $k[x_1,\ldots,x_n]$.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2018
- DOI:
- 10.48550/arXiv.1808.04805
- arXiv:
- arXiv:1808.04805
- Bibcode:
- 2018arXiv180804805S
- Keywords:
-
- Mathematics - Commutative Algebra;
- Mathematics - Logic;
- 13;
- 03
- E-Print:
- Pacific J. Math. 306 (2020) 721-754