Polynomial ring Polynomial ring over a UFD is a UFD Let π be a UFD. Then the polynomial ring π [π₯] is a UFD.1 ring Proof proof develop | en | SemBr Footnotes 2009. Algebra: Chapter 0, Β§ V.4.3, pp. 273β276 β©