近世代数--唯一分解整环上的多项式环--唯一分解整环上的多项式环还是唯一分解整环

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

有一些概念。

• 多项式环：这里是多项式环的概念。
  $R[x]:$环$R$上的以$x$为未定元的一元多项式环

  R [ x ] = { a 0 + a 1 x + a 2 x 2 + … … + a n x n ∣ n ≥ 0 , a 0 , a 1 , … a n ∈ R } R[x]=\{a_0+a_1x+a_2x^2+……+a_nx^n|n\ge 0,a_0,a_1,…a_n\in R\} R[x]={ a0​+a1​x+a2​x2+……+an​xn∣n≥0,a0​,a1​,…an​∈R}

• 本原多项式：

  • $f(x)=a_0{x}^n+a_1{x}^{n-1}+\dots +a_n$(次幂相加为n)为$D$上的多项式，
  • 如果$gcd(a$