Unique factorization domain that is not a Principal ideal domain Let $c$ be an integer, not necessarily positive and not a square. Let $R=\mathbb{Z}[\sqrt{c}]$ 
denote the set of numbers of the form $$a+b\sqrt{c}, a,b \in \mathbb{Z}.$$ 
Then $R$ is a subring of $\mathbb{C}$ under the usual addition and multiplication.
My question is: if $R$ is a UFD (unique factorization domain), does it follow that
it is also a PID (principal ideal domain)?
 A: The answer is yes.  The argument is as follows: if $R$ is a UFD, then it is necessarily integrally closed in its fraction field $K = \mathbb Q(\sqrt{c})$, and thus is
equal to the full ring of algebraic integers in $K$.  A general fact about such full rings of algebraic integers is that if they are UFDs then they are PIDs, the reason being that in these rings, one always has the unique factorization of non-zero ideals into prime ideals, and it is not hard to see that the UFD property forces prime ideals (and hence any product of prime ideals) to be principal.
A: Yes, because (quadratic) number rings are easily shown to have dimension at most one (i.e. every nonzero prime ideal is maximal). But $\rm PID$s are precisely the $\rm UFD$s which have dimension $\le 1.\, $ Below is a sketch of a proof of this and closely related results.
Theorem $\rm\ \ TFAE\ $ for a $\rm UFD\ D$
$(1)\ \ $ prime ideals are maximal if nonzero, $ $ i.e. $\rm\ dim\,\ D \le  1$
$(2)\ \ $ prime ideals are principal
$(3)\ \ $ maximal ideals are principal
$(4)\ \ \rm\ gcd(a,b) = 1\, \Rightarrow\, (a,b) = 1,\, $ i.e. $ $ coprime $\Rightarrow$ comaximal 
$(5)\ \ $ $\rm D$ is Bezout, i.e. all ideals $\,\rm (a,b)\,$ are principal.
$(6)\ \ $ $\rm D$ is a $\rm PID$
Proof $\ $ (sketch of $\,1 \Rightarrow 2 \Rightarrow 3 \Rightarrow 4 \Rightarrow 5 \Rightarrow 6 \Rightarrow 1)\ $ where $\rm\,p_i,\,P\,$ denote primes $\neq 0$
$(1\Rightarrow 2)$ $\rm\ \  p_1^{e_1}\cdots p_n^{e_n}\in P\,\Rightarrow\,$ some $\rm\,p_j\in P\,$ so $\rm\,P\supseteq (p_j)\, \Rightarrow\, P = (p_j)\:$ by dim $\le1$ 
$(2\Rightarrow 3)$ $ \ $ max ideals are prime, so principal by $(2)$
$(3\Rightarrow 4)$ $\  \rm \gcd(a,b)=1\,\Rightarrow\,(a,b) \subsetneq (p) $ for all max $\rm\,(p),\,$ so $\rm\ (a,b) = 1$ 
$(4\Rightarrow 5)$ $\ \ \rm c = \gcd(a,b)\, \Rightarrow\, (a,b) = c\ (a/c,b/c) = (c)$ 
$(5\Rightarrow 6)$ $\  $ Ideals $\neq 0\,$ in Bezout UFDs are generated by an elt with least #prime factors
$(6\Rightarrow 1)$ $\ \ \rm (d) \supsetneq (p)$ properly $\rm\Rightarrow\,d\mid p\,$ properly $\rm\,\Rightarrow\,d\,$ unit $\,\rm\Rightarrow\,(d)=(1),\,$ so $\rm\,(p)\,$ is max
Remark $ $ Examples of non-PID UFDs are easy in polynomial rings: if $D$ is a non-field domain then it has a nonzero nonunit $d$ so by here the ideal $(d,x)$ is not principal.
A: Yes. If it is a UFD, then it is integrally closed, hence it is a Dedekind domain because it is of dimension one (being contained in the integral closure of $\mathbb{Z}$ in some finite extension of $\mathbb{Q}$). A Dedekind domain is a UFD iff it is a PID: indeed, this is equivalent to every non-zero prime being principal. (A noetherian domain is a UFD iff every height one prime is principal. So if a Dedekind domain is a UFD, then all its primes are principal, so by factorization of ideals, every ideal is principal.)
A simple example of a UFD that is not a PID is the polynomial ring $\mathbb{C}[x,y]$.
