Strategy to prove that rings are UFD's I was looking for strategies to prove when rings are going or not to be UFD's. I really only know that if I manage to prove that there is an element on the fraction field $K$ of my ring $R$ that is not integral (meaning that it does not solve a monic polynomial in $R$) then the ring won't be integrally closed and hence not a UFD. 
Are there other strategies to do so? (Like for instance to show something is a domain it is sometimes easy to show that it is a ring quotient out by a prime ideal). 
Thanks. 
 A: It is an extremely subtle question to decide whether a domain is a UFD.
You can legally download this monograph by Samuel on the subject. 
If you are geometrically minded the following criterion might illuminate the property of being a UFD: 

A noetherian domain $D$ is a UFD if and only if it is integrally closed and its class group  is trivial: $Cl(D)=0$  

Notice that you may not replace the condition $Cl(D)=0$ by $Pic(D)=0$, as attested by the integrally closed domain $k[X,Y,Z]/(Z^2-XY)$ which has trivial Picard group but is not a UFD.
A: First of all, it should just be mentioned that sometimes there is some obvious element that does not have a unique factorization. The classic example of this is $6 \in \mathbb{Z}[\sqrt{-5}]$.
Secondly, there is the following fact. A Noetherian integral domain is a UFD if and only if all prime ideals of height $\leq 1$ are principal. Noetherian and integral domain are rather mild conditions, so this says that if you have a good grasp of the ideal structure, you can determine whether your ring is a UFD. An example of this being useful is in a Dedekind Domain. There you know that non-zero prime ideals are maximal and so all prime ideals have height less than or equal to 1. Moreover, by unique factorization of ideals, we can conclude that if all prime ideals are principal, then all ideals are principal. Thus, a Dedekind Domain being a UFD becomes equivalent to it being a PID.
