Number Theory – Proof that ?[(1 + ?-19)/2] is a PID

algebraic-number-theorynumber theoryprincipal-ideal-domains

How would one prove that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a principal ideal domain (PID)? It isn't a Euclidean domain according to the Wikipedia article on PIDs.

Related Question