不可约多项式

✍ dations ◷ 2025-07-25 19:50:55 #多项式,抽象代数,代数

在数学里,不可约多项式(irreducible polynomial)是指不可被分解成两个非常数多项式之乘积的非常数多项式。不可约的性质取决于系数所属于的体或环。例如,多项式2 - 2在系数1与 -2被认为是整数时是不可约的,而在这些系数被认为是实数时可分解成 ( x 2 ) ( x + 2 ) {\displaystyle (x-{\sqrt {2}})(x+{\sqrt {2}})} 2 - 2在整数上不可约,但在实数上不是不可约。”

不是不可约的多项式有时会被称为可约。不过,“可约”这一词可能被会用来指其他的概念,须小心使用。

不可约多项式于多项式分解与代数域扩张里都会自然地出现。

将不可约多项式与素数相比会很有帮助:素数(与具相同大小之对应负数)为不可约的整数。素数具有的许多“不可约”这个概念之一般性质,同样可适用于不可约多项式之上,如素数或不可约因式的唯一分解。

设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为该多项式的首项系数,且 z 1 , , z n {\displaystyle z_{1},\dots ,z_{n}} 为该多项式的根(根有可能会相同)。

对多元多项式而言,各阶多项式在复数上都存在着不可约多项式。例如,定义了费马曲线的多项式

对每个正整数n而言,均为不可约。

在实数域上,不可约单变量多项式的阶不是1,就是2。更精确地说,不可约多项式为一阶多项式,以及具负判别式 b 2 4 a c {\displaystyle b^{2}-4ac} 。之二次多项式 a x 2 + b x + c {\displaystyle ax^{2}+bx+c} 。可知,每个非常数单变量多项式均可被分解成至少二阶之多项式的乘积。例如, x 4 + 1 {\displaystyle x^{4}+1} 在实数上分解为 ( x 2 + 2 x + 1 ) ( x 2 2 x + 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 / p Z {\displaystyle \mathbb {Z} /p\mathbb {Z} } F p {\displaystyle \mathbb {F} _{p}} ,其中p为素数)上的不可约性相关连。尤其是,若在整数上的单变量多项式f在某些素数p无法整除f的首项系数之 F p {\displaystyle \mathbb {F} _{p}} 上为不可约,则f在整数上为不可约。艾森斯坦判别法是此一性质的变体,亦涉及在 p 2 {\displaystyle p^{2}} 上的不可约性。

不过,反之不一定成立:在整数上不可约的随意多阶多项式均有可能在每个有限域上是可约的。其中一个简单的例子为 x 4 + 1 {\displaystyle x^{4}+1}

在整数上与在模p上的不可约性之间有着比上述结论更为深切的关系:迄止为止,所有实现用于在整数上与在有理数上之分解与不可约性的算法,都会使用在有限域上的分解作为其子程序。

多项式的唯一分解性质并不意味着给定一个多项式,总是可以计算出其分解。一个多项式的不可约性也不一定总是可借由直接计算来证明:存在体,没有算法能用来判断其中随意多项式的不可约性。

用来分解多项式与判断其不可约性的算法,于在整数上、在有理数上、在有限域上,以及在这些体之有限生成域扩张上的多项式之中,都已被找到,并已实作于电脑代数系统里。

不可约多项式与代数域扩张之间密切相关,如下所述。

令x为体K的扩张L内之一元素。该元素被称为“代数”的,若该元素是系数属于K之多项式的根。在其根包括x之多项式中,会有且仅会有一个最小阶的首一多项式,称之为x的最小多项式。L内之代数元素x的最小多项式为不可约,且是以x为其根的唯一一个首一不可约多项式。x的最小多项式会整除每个其根包含x的多项式(阿贝尔不可约定理)。

相对地,若 P ( X ) K {\displaystyle P(X)\in K} 是在体K上的一单变量多项式,且令 L = K / P ( X ) {\displaystyle L=K/P(X)} 为多项式环K除以由P产生之理想所形成之商环,则L是个体,当且仅当P在K上为不可约。在此情形下,若x是X于L内的值,则x的最小多项式为P除以其首项系数之商。

复数的标准定义 C = R / ( X 2 + 1 ) {\displaystyle \mathbb {C} =\mathbb {R} /(X^{2}+1)} 即为一例。

若一多项式P在K上有个大于1阶之不可约因式Q,上述代数扩张之建构可适用于Q,以得到一个比P在K内有更多根的扩张。重复此一建构,最终会得到能将P分解成线性因式的体。该体在体同态的意义下是唯一的,且称之为P的分裂域。

令R为一整环。R内非零,亦非单位元之一元素f被称为不可约,若不存在非单位元之元素g与h,使得f = gh。可证明,每个素元均为不可约;反之不一定成立,但在唯一分解整环内为真。在一体F(或任一唯一分解整环)上之多项式环F亦为唯一分解整环。以此类推,若R为唯一分解整环,可知在环R上具n个未变量的多项式环也会是唯一分解整环。

相关

  • 甲状腺功能减退甲状腺机能低下症(Hypothyroidism),又称作甲状腺功能减退症,或是简称甲减,是一个因甲状腺无法分泌足够的甲状腺激素的内分泌疾病。此病可以造成很多症状,像是畏寒、疲劳、便秘、抑
  • 特克卢喷灯特克卢喷灯(Teclu burner)是一种实验室用燃气喷灯,属于本生喷灯的一种变体,以罗马尼亚化学家尼可拉耶·特克卢(英语:Nicolae Teclu)命名。它能够提供比本生喷灯更炽热的火焰。管的
  • 黄秉干黄秉乾(英语:Huang Pien-chien,1931年7月13日-),美籍华裔分子遗传学家。祖籍广东、生于上海,美国约翰霍普金斯大学生物化学系教授,1986年当选中华民国中央研究院院士。黄秉乾的妻子
  • 米尔卡·普拉宁茨米尔卡·普拉宁茨(塞尔维亚-克罗地亚语:,1924年11月21日-2010年10月7日),克罗地亚族,克罗地亚共产主义者联盟中央委员会主席,克罗地亚总统,南斯拉夫共产主义者联盟中央主席团委员,南斯
  • 白肋翻唇兰白肋翻唇兰(学名:),为兰科翻唇兰属下的一个植物种。
  • 北姓北姓由来已久兼源头很多的姓氏,但大概有三种来源。现在北姓散居于河北曲阳、山西汾阳、四川德昌,内蒙古包头等地,唯人数不多。北姓源自复姓的来源
  • 蒙茅斯 (伊利诺伊州)蒙茅斯(英语:Monmouth)是一个位于美国伊利诺伊州沃伦县的城市。根据2010年美国人口普查,该地共人口9444人,而该地的面积约为11.01平方千米。同时该地也是沃伦县的县治。蒙茅斯的
  • 高宝德高宝德,北齐皇族,高欢之孙,彭城王高浟之子。北朝齐后主时尚书右仆射。渤海郡蓨县(治今河北景县)人。齐武成帝河清三年(564年)三月,高浟被盗贼田子礼等人劫持杀害,高宝德袭爵彭城王,官
  • 欧阳禄欧阳禄(?-?),字万锺,湖广永州府道州永明县人,民籍,明朝政治人物。湖广乡试第四十九名举人。弘治十五年(1502年)中式壬戌科二甲第五十三名进士。曾祖欧阳均美;祖父欧阳棠,监生;父欧阳奎,知县
  • 尖美百货坐标:22°38′44″N 120°19′57″E / 22.64556°N 120.33250°E / 22.64556; 120.33250尖美百货与尖美大饭店两者为一个总体性规划设计的商场建物,由张文明设计师所设计的,在1