Is there some irreducible $F \in \mathbb{Z}[x]$ such that $\mathbb{Z}[x]/(F)$ has no principal maximal ideal? Equivalently, is it possible that the $1$-dimensional integral domain $\mathbb{Z}[x]/(F)$ has no prime element?


The maximal ideals have the form $(p,f)$, where $p \in \mathbb{Z}$ is a prime and $f \in \mathbb{Z}[x]$ is a monic polynomial such that $f \bmod p$ is an irreducible factor of $F \bmod p$. In particular, $F$ should be reducible modulo every prime number. See [here](http://people.math.carleton.ca/~williams/papers/pdf/281.pdf) for a classification of biquadratic polynomials with this property. But this does not suffice, as $F=x^4+1$ shows. This is irreducible, reducible modulo every prime number, but $(2,x+1)=(x+1)$ in $\mathbb{Z}[x]/(x^4+1)$. A better candidate seems to be $F=x^4-10x^2+1$, I have checked $(p,f) \neq (f)$ for some primes $p$.


I suspect that the question is connected with the class group of the curve $V(F) \subseteq \mathbb{A}^1\_{\mathbb{Z}}$?


Background: The question is equivalent to the question if $\mathbb{Z}[x]$ wins in the game of integral domains, which is a simplification of the [game of rings](https://mathoverflow.net/questions/93276/a-game-on-noetherian-rings) by Will Sawin.



Principal maximal ideals in Z[x]/(F)
Let $A$ be an order in the ring of integers $O\_K$ of a number field $K$. We claim that there are infinitely many principal maximal ideals $P$ of $A$. By using localization at rational primes, we have a bijection between the sets of maximal ideals of $A$ and $O\_K$ with residue characteristic relatively prime to $N = [O\_K:A]$ via $P \mapsto P \cap A$ and $P' \mapsto P'O\_K$. 


In this way, we see that it is harmless to replace $A$ by a sub-order, so we may assume $A = \mathbf{Z} + M O\_K$ for an integer $M > 0$. For $x \in 1 + MO\_K$, we have $A \cap xO\_K = xA$. Indeed, if $y \in O\_K$ and $xy = c + Mt$ for $t \in O\_K$ then we have to show that $y \in \mathbf{Z} + M O\_K$, but this is clear since $xy \equiv c \bmod M O\_K$ and $x \equiv 1 \bmod M O\_K$. Hence, if $xO\_K$ is a prime ideal of $O\_K$ then $xA$ is a prime ideal of $A$, so it suffices to construct infinitely many maximal ideals $P$ of $O\_K$ admitting a generator congruent to 1 modulo $M O\_K$. 


This latter formulation does not mention the order at all, and is a special case of the more general fact that for any nonzero ideal $J$ of $O\_K$ whatsoever, $O\_K$ has infinitely many principal maximal ideals $P$ admitting a generator $x \equiv 1 \bmod J$. The existence of infinitely many such $P$ follows from the method of proof of the "abelian" case of the Chebotarev Density Theorem (using generalized ideal class characters in the role of Dirichlet characters in the proof of Dirichlet's theorem on primes in arithmetic progressions). So tacitly here we are using the basic analytic properties of $L$-functions attached to characters of generalized ideal class groups (which can be proved in various ways, such as using $\zeta$-functions and class field theory if one wants to be ahistorical).


