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 .¹ Thus the polynomial ring in indeterminate is a Euclidean domain. #m/thm/ring

#state/develop | #lang/en | #SemBr