多変数多項式
環 A が一意分解環ならば A[X] もそうである。帰納的に有限または無限変数の多項式環もまた、一意分解環となる(一意分解環の項も参照):