2
$\begingroup$

I know that I need to find an irreducible element that isn't prime.

I was wondering whether these examples work.

In $\mathbb{Z}[\sqrt{10}]$, $9=(3)(3)=(\sqrt{10} +1)(\sqrt{10} -1)$. $9$ is not prime, but is irreducible.

In $\mathbb{Z}[\sqrt{-17}]$, $18=(6)(3)=(1-\sqrt{-17})(1+\sqrt{-17})$.

Is writing the number as a product of 2 units prove its irreducible? Or do I need to do more? Thanks

  • 0
    What Alon is saying is that *another* route at proving something is not factorial is to show that there is an element that has two essentially distinct factorizations into irreducibles. You've produced, for instance, two factorizations of $9$ in $\mathbb{Z}[\sqrt{10}]$. If these were factorization into *irreducibles* (if $3$, $\sqrt{10}+1$, and $\sqrt{10}-1$ are each irreducible), then this would show that $\mathbb{Z}[\sqrt{10}]$ is not factorial. The point is that you'd need to show the factorizations cannot be refined; cf. 30 = 3\times 10 = 2\times 15$. Different, but not a problem.2011-01-10

2 Answers 2

1

An element $m$ is irreducible if and only if it is not a unit, not equal to $0$, and whenever $m=ab$, either $a$ is a unit or $b$ is a unit. An element $p$ is prime if and only if $p$ is not a unit, is not zero, and whenever $p|ab$, either $p|a$ or $p|b$.

You are correct that in order to show that these rings are not factorials (unique factorization domain) it suffices to show that there is an irreducible element that is not prime.

However, you did not show that $9$ is irreducible; quite the contrary, you showed that it is reducible: if $3$ is a unit, then $9=3\times 3$ shows that $9$ is a unit (which it is not, since $\mathbb{Z}[\sqrt{10}]$ contains no noninteger rationals); so $3$ is not a unit, which means that you have shown that $9$ can be expressed as a product of two things that are not units. You showed that $9$ is reducible.

(If $u$ and $v$ are units, then $uv$ is a unit: multiply by $v^{-1}u^{-1}$).

So you have not yet produced elements that are irreducible but not prime; neither $9$ nor $18$ are irreducible.

On the other hand, if you can show that $3$ is irreducible in $\mathbb{Z}[\sqrt{10}]$, you're going to be pretty much done; similarly, if you can show either that $3$ or that $2$ are irreducible in $\mathbb{Z}[\sqrt{-17}]$ you'll be very close to done as well along these lines.

  • 0
    sorry ignore the above comment. misread what you said. understand it all now :) thanks2011-01-10
2

I know this question is old, but in the case of $\mathbb Z{[\sqrt{10}]}$ there's a very simple way: Observe that $ \sqrt{10}\sqrt{10}=10=2\cdot5. $ and so the element $10$ does not have a unique factorization.

  • 0
    You need to prove that $\sqrt 10$ and $2$ and primes and not associates.2016-08-31