族谱网 头条 人物百科

不可约多项式

2020-10-16
出处:族谱网
作者:阿族小谱
浏览:646
转发:0
评论:0
定义设F为一个体,一非常数多项式在F上不可约,若其系数属于F,且无法分解成两个系数为F之非常数多项式的乘积。具整数系数(或更一般地,具唯一分解整环R内之系数)的多项式被称为在R上不可约,若该多项式为多项式环(在唯一分解整环上的多项式环也是一唯一分解整环)内的不可约元素,亦即该多项式不可逆、非零,且无法分解成两个系数在R内的不可逆多项式之乘积。另一个常用定义为,一多项式“在R上不可约”,若该多项式在R的分式环(若R为整数,即为一有理数体)上不可约。两种定义扩展了系数于一个体内之情形所给定的定义,所以在此情形下,非常数多项式系指不可逆且非零之多项式。简单的例子以下6个多项式给出了不可约的一些基本性质,以及其不可约多项式:在整数环Z{\displaystyle\mathbb{Z}}上,前三个多项式是可约的(第3个也是可约的,因为因式3在整数里不可逆),最后两个多项式则不可约。(第4个多项式则不是...

定义

设 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 


免责声明:以上内容版权归原作者所有,如有侵犯您的原创版权请告知,我们将尽快删除相关内容。感谢每一位辛勤著写的作者,感谢每一位的分享。

——— 没有了 ———
编辑:阿族小谱
发表评论
写好了,提交
{{item.label}}
{{commentTotal}}条评论
{{item.userName}}
发布时间:{{item.time}}
{{item.content}}
回复
举报
点击加载更多
打赏作者
“感谢您的打赏,我会更努力的创作”
— 请选择您要打赏的金额 —
{{item.label}}
{{item.label}}
打赏成功!
“感谢您的打赏,我会更努力的创作”
返回

更多文章

更多精彩文章
打赏
私信

推荐阅读

· 多项式
定义给定一个环R(R通常是交换环,可以是有理数、实数或者复数等等)以及一个不定元X,则任何形同:的代数表达式叫做R上的一元多项式。其中a0,…,an是R中的元素。不定元不代表任何值,但环R上的所有运算都对它适用。在不至于混淆的情形下,一般将一元多项式简称为多项式。可以证明,两个多项式的和、差与积仍然是多项式,即多项式组成一个环R[X],称为R上的(一元)多项式环。而所有的二元多项式则可以定义为所有以一元多项式为系数的多项式,即形同的代数表达式。其中p0(X1),p1(X1),⋯⋯-->,pn(X1){\displaystylep_{0}(X_{1}),p_{1}(X_{1}),\cdots,p_{n}(X_{1})}都是R[X1]中的元素。全体这样的表达式也构成一个环,记为R[X1,X2]。以此类推,可以定义所有m元多项式集合:R[X1,X2,...,Xm]多项式总可以表示为有限个元素的和...
· 多项式环
定义多项式函数与多项式在初等数学与微积分中,多项式视同多项式函数,两者在一般的域或环上则有区别。举例言之,考虑有限域F2:=Z/2Z{\displaystyle\mathbb{F}_{2}:=\mathbb{Z}/2\mathbb{Z}}上的多项式此多项式代任何值皆零,故给出零函数,但其形式表法非零。我们宁愿将多项式看作形式的符号组合,以得到较便利的代数理论。且考虑多项式在域扩张之下的性质:就函数观点,多项式函数在域扩张下的行为颇复杂,上述P(X){\displaystyleP(X)}给出F2{\displaystyle\mathbb{F}_{2}}上的零函数,但视为F4{\displaystyle\mathbb{F}_{4}}上的多项式函数则非零;而就形式观点,只须将系数嵌入扩张域即可。形式定义于是我们采取下述定义:令R{\displaystyleR}为环。一个单变元X{\display...
· 本原多项式
参考文献MathWorld上PrimitivePolynomial的资料,作者:埃里克·韦斯坦因。
· 极小多项式
形式定义设k{\displaystylek}为一个域,A{\displaystyleA}为有限维k{\displaystylek}-代数。对任一元素αα-->∈∈-->A{\displaystyle\alpha\inA},集合{1,αα-->,αα-->2,……-->}{\displaystyle\{1,\alpha,\alpha^{2},\ldots\}}张出有限维向量空间,所以存在非平凡的线性关系:可以假设cn=1{\displaystylec_{n}=1},此时多项式f(X):=∑∑-->i=0nciXi{\displaystylef(X):=\sum_{i=0}^{n}c_{i}X^{i}}满足f(αα-->)=0{\displaystylef(\alpha)=0}。根据多项式环里的除法,可知这类多项式中只有一个次数最小者,称之为αα--&...
· 正交多项式
例子若权函数为1,区间为(-1,1),f0(x)=1{\displaystylef_{0}(x)=1},对应的正交多项式有:它们称为勒让德多项式。对于任意向量空间的基,Gram-Schmidt正交化可以求出一个正交基。对于多项式空间的基,正交化的结果便是勒让德多项式。常见的正交多项式切比雪夫多项式雅可比多项式埃尔米特多项式拉盖尔多项式盖根鲍尔多项式哈恩多项式拉卡多项式查理耶多项式连续双哈恩多项式贝特曼多项式双重哈恩多项式小q-雅可比多项式本德尔·邓恩多项式威尔逊多项式Q哈恩多项式大q-雅可比多项式Q-拉盖尔多项式Q拉卡多项式梅西纳多项式克拉夫楚克多项式梅西纳-珀拉泽克多项式连续哈恩多项式连续q-哈恩多项式Q梅西纳多项式阿斯克以-威尔逊多项式Q克拉夫楚克多项式大q-拉盖尔多项式双Q克拉夫楚克多项式Q查理耶多项式泽尔尼克多项式罗杰斯-斯泽格多项式戈特利布多项式性质递归方程fn+1...

关于我们

关注族谱网 微信公众号,每日及时查看相关推荐,订阅互动等。

APP下载

下载族谱APP 微信公众号,每日及时查看
扫一扫添加客服微信