Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In the integral domain every prime is irreducible. But the converse is not true, for example, $1+\sqrt{-3}$ is an irreducible but not a prime in ${\Bbb Z}[\sqrt{-3}]$. In a UFD, "prime" and "irreducible" are equivalent.

Here is my question:

Is there a non-UFD integral domain such that prime is equivalent to irreducible?

share|improve this question
4  
If you restrict to the Noetherian case, a domain is a UFD if and only if every irreducible element is prime. –  Brandon Carter Feb 27 '13 at 19:42

3 Answers 3

up vote 7 down vote accepted

If $R$ is a GCD domain, then prime is equivalent to irreducible. Since any Bezout domain is a GCD domain, it is enough to find a Bezout domain which is not an UFD. Such examples can be found here.

A classical example is $R=\mathbb Z+X\mathbb Q[X]$. $R$ is not an UFD since we have the following (strictly) ascending chain of principal ideals: $(X)\subset (\frac{1}{2}X)\subset\cdots\subset(\frac{1}{2^n}X)\subset\cdots$. Note that $R$ is not a "trivial" example, that is, $R$ has irreducible elements, since any prime number is irreducible in $R$. I leave you as an exercise to prove that $R$ is a GCD domain.

share|improve this answer
2  
It hasn't even been a full day yet.... –  Hurkyl Feb 28 '13 at 10:52

Yes, e.g. its vacuously true in the ring of all algebraic integers, which has no irreducibles (so no primes), since $\rm\: a = \sqrt{a} \sqrt{a}.\:$ Such domains are known as antimatter domains, since they have no atoms (irreducibles).

share|improve this answer
    
I didn't notice this "vacuously true" example. Thank you! –  Jack Feb 28 '13 at 13:40

Set $\mathbb{Z}_{(2)} = \{\frac{x}{y} \mid x,y\in\mathbb{Z}, 2\nmid y\}$, $R_n = \mathbb{Z}_{(2)}[\sqrt[2^n]{2}]$ and $R = \bigcup_{n\in\mathbb{N}} R_n$. Then $R$ contains no prime elements and no irreducible elements.

share|improve this answer
    
Thanks. Is there a name for ${\Bbb Z}_{(2)}$. I haven't seen this before. –  Jack Feb 28 '13 at 13:41
    
@Jack It is $\mathbb Z_{2\mathbb Z}$, the localization of $\mathbb Z$ at the prime ideal $2\mathbb Z$. –  user18119 Feb 28 '13 at 17:43
    
@Jack Exactly. The $(2)$ in the index stands for the ideal $2\mathbb{Z}$. –  azimut Mar 1 '13 at 14:40
    
@azimut: So it is different from ${\Bbb Z}/2{\Bbb Z}$, isn't it? –  Jack Mar 1 '13 at 14:45
    
Right. $\mathbb{Z}_{(2)}$ has infinitely many elements, while $\mathbb{Z}/2\mathbb{Z}$ has only two. –  azimut Mar 1 '13 at 14:46

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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