In the previous post, we showed that a Euclidean domain is a Principal Ideal Domain (PID).
Consider the Polynomial Ring . We can show that it is not a PID and hence also not a Euclidean domain.
Proof: Consider the ideal .
Suppose to the contrary .
Note that , hence .
p(x)=2 or -2.
However, but . (contradiction!)
Check out this page for Recommended Singapore Math books!