本文共 1866 字,大约阅读时间需要 6 分钟。
定义 Zps[x] 上的两个多项式 f1 和 f2 ,如果存在两个 Zps[x] 上的多项式 λ1 和 λ2 ,满足 λ1f1+λ2f2=1 ,也即满足 Zps[x]f1+Zps[x]f2=Zps[x] 则称 f1 和 f2 在 Zps[x] 上是互素的。
对于 λ1f1+λ2f2=1⇔Zps[x]f1+Zps[x]f2=Zps[x] 的简单证明如下:
证明: 对于充分性而言,若λ1f1+λ2f2=1 ,则任取一个 F∈Zps[x] 并分别乘在等式两边有, (Fλ1)f1+(Fλ2)f2=F。 由整数多项式环上乘法运算封闭易有 Fλ1∈Zps[x],Fλ2∈Zps[x]。 则该式表明对于任意的 F∈Zps[x] ,均有对应的 Fλ1∈Zps[x],Fλ2∈Zps[x] 满足 (Fλ1)f1+(Fλ2)f2=F。 则按定义知 Zps[x]⊆Zps[x]f1+Zps[x]f2。 又由整数多项式环乘法运算和加法运算封闭知若 Fλ1∈Zps[x],Fλ2∈Zps[x],f1,f2∈Zps[x] ,则显然有 (Fλ1)f1+(Fλ2)f2∈Zps[x],也即 Zps[x]f1+Zps[x]f2⊆Zps[x],故Zps[x]f1+Zps[x]f2=Zps[x],充分性证毕。对于必要性而言,我们易知因1∈Zps[x],则由Zps[x]f1+Zps[x]f2=Zps[x]知,必定存在两个λ1,λ2∈Zps[x] ,使得 λ1f1+λ2f2=1 ,证毕。
基于以上定义,我们可以模仿之,用于定义两个域 Fp[x] 上的多项式的互素,也即若 Fp[x] 上的两个多项式互素,当且仅当它们没有度大于等于1的最大公因子。
Lemma 13.5 Let f1 and f2 ∈Zps[x] .Then f1 and f2 are coprime in Zps[x] if and only if f¯1 and f¯2 are coprime in Fp[x]
证明之前,首先明确 f1 和 f¯1 的含义,前者为 Zps[x] 的一个多项式,后者是 f1 中每个系数 mod p 之后的多项式。
例子: 若证明:
当转载地址:http://wupws.baihongyu.com/