0

i have some confusion in this answer

Why is $\mathbb{Z}[\sqrt{-n}], n\ge 3$ not a UFD?

My confusion is
enter image description here

My attempt : we know that $1$ is odd and $2$ is even . So if $n$ is even then $n=2$ , then obviously $2$ divides $\sqrt{-2}^2=-2$ but does not divide $\sqrt{-2}$, so $2$ is a nonprime irreducible

Again similarly take $n =1$ when $n$ is odd ,$2$ divides $(1+\sqrt{-1})(1-\sqrt{-1})=1+1=2$ without dividing either of the factors, so again $2$ is a nonprime irreducible.

But the user chris eagle said that it fail for $n= 1, 2$

why is fail for $n =1 , 2 $??

jasmine
  • 14,457

1 Answers1

3

The problem with your argument is that $2$ is actually reducible in $\mathbb{Z}[\sqrt{-2}]$, as $2=(-\sqrt{-2})\sqrt{-2}$. So there is no problem with it being not prime.

Similarly, in $\mathbb{Z}[i]$ we have $2=(1+i)(1-i)$, so again it is reducible.

Mark
  • 39,605