The Gaussian integer $\mathbb{Z}[i]$ is an Euclidean domain that is not a field, since there is no inverse of $2$. So, where is wrong with the following proof?

Fake proof

First, note that $\mathbb{Z}[X]$ is a integral domain. Since $x^2+1$ is an irreducible element in $\mathbb{Z}[X]$, the ideal $(x^2+1)$ is maximal, which implies $\mathbb{Z}[i]\simeq\mathbb{Z}[X]/(x^2+1)$ is a field.

  • 2
    $\begingroup$ $x^2+1$ is an irreducible element in $\mathbb{Z}[X]$ but the ideal $(x^2+1)$ is not maximal. Note that $\mathbb{Z}[X]$ is not a PID. $\endgroup$ – Shahab Aug 29 '18 at 2:59
  • 2
    $\begingroup$ Irreducible element generates a prime ideal, but not always a maximal ideal. $\endgroup$ – Cave Johnson Aug 29 '18 at 3:04
  • 5
    $\begingroup$ @CaveJohnson: An irreducible element doesn't even always generate a prime ideal! $\endgroup$ – Eric Wofsey Aug 29 '18 at 3:10
  • 1
    $\begingroup$ @EricWofsey: in UFD, irreducible elements generate prime ideals. $\mathbb{Z}[X]$ is a UFD. $\endgroup$ – qu binggang Aug 29 '18 at 3:26
  • $\begingroup$ Oh no! First fake news, now fake proofs... $\endgroup$ – Henrik Aug 29 '18 at 14:53

"Since $x^2+1$ is an irreducible element, the ideal $(x^2+1)$ is maximal"

Is this true in a generic integral domain? Consider the ring $Z[x,y].$ We have that $x$ is an irreducible element, but $(x)$ is not a maximal ideal, as it is contained in the ideal $(x,y)$ which is still not the entire ring.

  • 16
    $\begingroup$ I believe a counterexample in this particular case is $(x^2+1) \subsetneq (x^2+3,2) \subsetneq \mathbb Z[x].$ $\endgroup$ – ktoi Aug 29 '18 at 2:58
  • 3
    $\begingroup$ More generally, the ideal $(x^2+1,n)$ is an ideal strictly containing your ideal for any integer n. "Most" of the time, this isn't even a maximal ideal., (unless n is a prime congruent to one mod 4). This ties in totally with the fact that Z[X] is a two dimensional ring. $\endgroup$ – meh Aug 29 '18 at 15:27

$(x^2+1)$ is a prime ideal but not maximal.

it happens in a ring of Krull-dimension $\geq 2$. $\dim \mathbb{Z}[X] = 2$.


The statement that $(x^2+1)$ is maximal is false.

The maximal ideals of $\mathbb Z[x]$ are of the form $(p, x)$ where $p$ is a prime.

  • $\begingroup$ The maximal ideals of $\Bbb{Z}[x]$ are actually of the form $(p,f),$ where $f\in\Bbb{Z}[x]$ is irreducible modulo $p.$ $\endgroup$ – Stahl Sep 21 '20 at 7:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.