不可约多项式
定义
设 F 为一个体,一非常数多项式在 F 上不可约,若其系数属于 F,且无法分解成两个系数为 F 之非常数多项式的乘积。
具整数系数(或更一般地,具唯一分解整环R 内之系数)的多项式被称为在 R 上不可约,若该多项式为多项式环(在唯一分解整环上的多项式环也是一唯一分解整环)内的不可约元素,亦即该多项式不可逆、非零,且无法分解成两个系数在 R 内的不可逆多项式之乘积。另一个常用定义为,一多项式“在 R 上不可约”,若该多项式在 R 的分式环(若 R 为整数,即为一有理数体)上不可约。两种定义扩展了系数于一个体内之情形所给定的定义,所以在此情形下,非常数多项式系指不可逆且非零之多项式。
简单的例子
以下 6 个多项式给出了不可约的一些基本性质,以及其不可约多项式:
在整数环 Z{\displaystyle \mathbb {Z} } 上,前三个多项式是可约的(第3个也是可约的,因为因式 3 在整数里不可逆),最后两个多项式则不可约。(第4个多项式则不是个在整数上的多项式。)
在有理数体 Q{\displaystyle \mathbb {Q} } 上,前两个及第四个多项式是可约的,但其他三个多项式则不可约(作为在有理数上之多项式,3 是个单位,因此无法视为一个因式。)
在实数体 R{\displaystyle \mathbb {R} } 上,前五个多项式都是可约的,但第六个多项式仍为不可约。
在复数体 C{\displaystyle \mathbb {C} } 上,所有六个多项式均是可约的。
在复数上
在复数域(或更一般地,在一代数闭域)上,一单变量多项式为不可约,当且仅当该多项式的阶为 1。此一事实被称为在复数之情形(或更一般地,在代数闭域之情形)下的代数基本定理。
可知,每个非常数单变量多项式都可被分解为
其中 n 为该多项式的阶, a 为该多项式的首项系数,且 z1,… … -->,zn{\displaystyle z_{1},\dots ,z_{n}} 为该多项式的根(不必然须不同)。
对多元多项式而言,各阶多项式在复数上都存在着不可约多项式。例如,定义了费马曲线的多项式
对每个正整数 n 而言,均为不可约。
在实数上
在实数域上,不可约单变量多项式的阶不是 1,就是 2。更精确地说,不可约多项式为一阶多项式,以及具负判别式b2− − -->4ac.{\displaystyle b^{2}-4ac.} 之二次多项式ax2+bx+c{\displaystyle ax^{2}+bx+c}。可知,每个非常数单变量多项式均可被分解成至少二阶之多项式的乘积。例如,x4+1{\displaystyle x^{4}+1} 在实数上分解为 (x2+2x+1)(x2− − -->2x+1),{\displaystyle (x^{2}+{\sqrt {2}}x+1)(x^{2}-{\sqrt {2}}x+1),},且无法再进一步分解下去,因为两个因式的判别式均为负值:(± ± -->2)2− − -->4=− − -->2<0{\displaystyle (\pm {\sqrt {2}})^{2}-4=-2<0}。
唯一分解性质
在体 F 上的每个多项式均可被分解成一非零常数与有限多个(在 F 上的)不可约多项式之乘积。此一分解除了因式的排序不同,及可被乘上任意个 1 之外,是唯一的。
在唯一分解整环上,同样的定理亦会成立,但可利用原始多项式的概念更精确地形式化。原始多项式是一个在唯一分解整环上的多项式,会使得 1 为其系数之最大公约数。
设 F 为唯一分解整环。在 F 上的非常数不可约多项式会是个原始多项式。在 F 上的原始多项式在 F 上不可约,当且仅当该多项式在 F 的分式环上不可约。每个在 F 上的多项式均可分解成一非零常数与有限多个非常数不可约原始多项式的乘积。该非零常数自身可分解成 F 内单位元与有限多个不可约元素的乘积。上述两种分解除了因式的排序不同,及可被乘上任意个单位元之外,均是唯一的。
此一定理使得“在唯一分解整环上的不可约多项式”之定义,通常会假设该多须式必须为非常数多项式。
所有目前已实现用来分解在整数上与在有理数上之多项式的算法都会用到此一结论(见多项式分解)。
在整数上
在整数 Z{\displaystyle \mathbb {Z} } 上之多项式的不可约性与在体 Z/pZ{\displaystyle \mathbb {Z} /p\mathbb {Z} }(Fp{\displaystyle \mathbb {F} _{p}},其中 p 为素数)上的不可约性相关连。尤其是,若在整数上的单变量多项式 f 在某些素数 p 无法整除 f 的首项系数之 Fp{\displaystyle \mathbb {F} _{p}} 上为不可约,则 f 在整数上为不可约。艾森斯坦判别法是此一性质的变体,亦涉及在 p2{\displaystyle p^{2}} 上的不可约性。
不过,反之不一定成立:在整数上不可约的随意多阶多项式均有可能在每个有限域上是可约的。其中一个简单的例子为 x4+1{\displaystyle x^{4}+1}。
在整数上与在模 p 上的不可约性之间有着比上述结论更为深切的关系:迄止为止,所有实现用于在整数上与在有理数上之分解与不可约性的算法,都会使用在有限域上的分解作为其子程序。
算法
多项式的唯一分解性质并不意味着给定一个多项式,总是可以计算出其分解。即使是一个多项式的不可约性也不一定总是能被计算所证明:没有一个算法能用来决定随意一个多项式之不可约性。
用来分解多项式与决定其不可约性的算法,于在整数上、在有理数上、在有限域上,以及在这些体之有限生成域扩张上的多项式之中,都已被找到,并已实现于电脑代数系统里。
域扩张
不可约多项式与代数域扩张之间密切相关,如下所述。
令 x 为体 K 的扩张L 内之一元素。该元素被称为“代数”的,若该元素是系数属于 K 之多项式的根。在其根包括 x 之多项式中,会有且仅会有一个最小阶的首一多项式,称之为 x 的最小多项式。L 内之代数元素 x 的最小多项式为不可约,且是以 x 为其根的唯一一个首一不可约多项式。x 的最小多项式会整除每个其根包含 x 的多项式(阿贝尔不可约定理)。
相对地,若 P(X)∈ ∈ -->K[X]{\displaystyle P(X)\in K[X]} 是在体 K 上的一单变量多项式,且令 L=K[X]/P(X){\displaystyle L=K[X]/P(X)} 为多项式环 K[X] 除以由 P 产生之理想所形成之商环,则 L 是个体,当且仅当 P 在 K 上为不可约。在此情形下,若 x 是 X 于 L 内的值,则 x 的最小多项式为 P 除以其首项系数之商。
复数的标准定义 C=R[X]/(X2+1){\displaystyle \mathbb {C} =\mathbb {R} [X]/(X^{2}+1)} 即为一例。
若一多项式 P 在 K 上有个大于 1 阶之不可约因式 Q,上述代数扩张之建构可适用于 Q,以得到一个比 P 在 K 内有更多根的扩张。重复此一建构,最终会得到能将 P 分解成线性因式的体。该体在体同态的意义下是唯一的,且称之为 P 的分裂域。
在整环上
令 R 为一整环。R 内非零,亦非单位元之一元素 f 被称为不可约,若不存在非单位元之元素 g 与 h,使得 f = gh。可证明,每个质元素均为不可约;反之不一定成立,但在唯一分解整环内为真。在一体 F(或任一唯一分解整环)上之多项式环F[x]亦为唯一分解整环。以此类推,若 R 为唯一分解整环,可知在环 R 上具 n 个未变数的多项式环也会是唯一分解整环。
另见
高斯引理 (多项式)
有理根定理,寻找一个多项式是否具有有理数系数之线性因式的方法。
艾森斯坦判别法
佩龙方法
希尔伯特不可约定理
科恩不可约准则
拓扑空间的不可约成分
有限域上多项式之分解
四次函数#分解成二次函数求解
三次函数#因式分解
不可约情形,具三个实根的不可约三次多项式
二次方程#二次因式分解
参考资料
Lang, Serge, Algebra, Graduate Texts in Mathematics 211 Revised third, New York:Springer-Verlag, 2002, ISBN 978-0-387-95385-4,MR1878556 . 包含本条目大部分内容的经典书籍。
Gallian, Joseph,Contemporary Abstract Algebra8th, Cengage Learning, 2012
Lidl, Rudolf; Niederreiter, Harald, Finite fields 2nd, Cambridge University Press, 1997, ISBN 978-0-521-39231-0 ,pp. 91.
Mac Lane, Saunders; Birkhoff, Garrett,Algebra3rd, American Mathematical Society, 1999
Menezes, Alfred J.; Van Oorschot, Paul C.; Vanstone, Scott A., Handbook of applied cryptography, CRC Press, 1997, ISBN 978-0-8493-8523-0 ,pp. 154.
Hungerford, Thomas W., Algebra,Graduate Texts in Mathematics73 Reprint of 1974, New York:Springer-Verlag, 1980, ISBN 978-0-387-90518-1, MR 0600654
免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。
- 有价值
- 一般般
- 没价值