Polynomial ring The polynomial ring over a field is a Euclidean domain Let be a field and be the polynomial ring in indeterminate . Then for any with there exist unique polynomials such that and .1 Thus the polynomial ring in indeterminate is a Euclidean domain. ring Proof proof develop | en | sembr Footnotes 2017. Contemporary abstract algebra, §16, p. 279 ↩