(Any readers who have a direct proof that is a PID, please comment below, as it would be very interesting to know such a proof. 🙂 )
As mentioned above, we will prove that it is a Euclidean domain.
We need to show: such that , with .
Consider . Define where are the integers closest to respectively.
Then, , where .
Check out recommended Abstract Algebra books: Recommended Books for Math Undergraduates