阿贝尔-鲁菲尼定理

✍ dations ◷ 2025-04-02 12:21:37 #可解群,数学定理,伽罗瓦理论,多项式,尼尔斯·阿贝尔

阿贝尔-鲁菲尼定理是代数学中的重要定理。它指出,五次及更高次的多项式方程没有一般的求根公式,即不是所有这样的方程都能由方程的系数经有限次四则运算和开方运算求根。这个定理以保罗·鲁菲尼和尼尔斯·阿贝尔命名。前者在1799年给出了一个不完整的证明,后者则在1824年给出了完整的证明。埃瓦里斯特·伽罗瓦创造了群论,独立地给出了更广泛地判定多项式方程是否拥有根式解的方法,并给出了定理的证明,但直到他死后的1846年才得以发表。

阿贝尔-鲁菲尼定理并不是说明五次或更高次的多项式方程没有解。事实上代数基本定理说明任意非常数的多项式在复数域中都有根:50。然而代数基本定理并没有说明根的具体形式。通过数值方法可以计算多项式的根的近似值,但数学家也关心根的精确值,以及它们能否通过简单的方式用多项式的系数来表示。例如,任意给定二次方程 a x 2 + b x + c = 0 ( a 0 ) {\displaystyle ax^{2}+bx+c=0\;(a\neq 0)} 1⁄5也可以表达为根的有理式。这一步结果也是鲁菲尼假设而未证明的:90-92。

其后的一步是证明的核心。阿贝尔使用柯西的思想,揭露了r作为根的有理式和系数的无理式之间的根本矛盾:如果r,作为由方程的五个根的有理式,在方程的根取遍120个可能置换时只有少于5个的取值,那么它的取值个数是1或者2,而不可能是3或4。这个结果在群论中可以用 S 5 {\displaystyle {\mathfrak {S}}_{5}} 1⁄5在所有置换下不可能只有一个值,否则方程只会有一个根,矛盾。其次,1⁄5在所有置换下也不可能有5个或以上的取值,否则迭代之下,取值个数会升至120个,即方程有120个根,矛盾。而最后,对1⁄5在所有置换下恰有两个取值的情况,阿贝尔构造了一个等式,其左侧在所有置换下取值有120个而右侧只有10个,同样导致矛盾。而如前已经证明取值不可能是3个或4个。这说明在任意情况下,求根公式都会导致矛盾,从而说明求根公式并不存在:92-94。

阿贝尔在给出了五次或以上多项式方程求根公式不存在的证明后,开始研究可以通过开方求解的某些特殊类型高次多项式方程。但阿贝尔的研究随着他病逝而中断:98-102。不过,在同一时期,法国的伽罗瓦运用深刻的洞察力,用更为抽象的方式,给出了“哪些多项式方程可以通过开方求解”的完整判别方法。伽罗瓦使用的是现今称为群论的代数工具,将根的置换集合作为群来考虑,将多项式方程可解转化为群的特性:144。伽罗瓦的结果在其生前并没有得到重视,在他去世后,才逐渐被数学界发现。

伽罗瓦创造了群论来解决代数方程可解判定性的问题。此后阿廷等人建立了环和域扩张的理论。现代伽罗瓦理论中,使用域扩张的伽罗瓦群理论来证明阿贝尔-鲁菲尼定理。

域扩张理论将代数方程的求解过程转化为特定的域扩张来描述。给定特征为0的系数域K。设有以K中元素为系数的多项式P。将P的根添加到系数域K中,包含它们的“最小”的域称为P的分裂域,记为L:1。方程求解的过程,可以看作是“已知量”的集合从系数域K扩张到分裂域L的过程。另一方面,考察四则运算和开方所能生成的“新数量”。由于域对四则运算封闭,所以能够使得“已知量”增多的本质操作是开方运算。给定K中元素a,对a开m次方等价于将a的m个m次方根作为“已知量”添加到原来的域中,扩张为“更大”的域K'的过程。而多项式P可以用求根公式求解(以下简称可解),等价于说可以通过有限次地添加方根,将系数域K扩张为某个包含分裂域L的扩域。即:145-146:435:215:

而其中ζiFi中某个元素的方根:

另一方面,考虑L中所有在K上平凡的自同构(称为K-自同构):1。这些自同构不改变系数,只将P的根映射到另外一个根上,并且完全由它们在P的根上的变换情况决定,可以看作是仅仅针对根的置换。这些K-自同构构成一个群,称为域扩张L/K的伽罗瓦群或P在K上的伽罗瓦群:413。

通过一些技术处理,可以将可解多项式对应的域扩张“塔” F 0 F 1 K n {\displaystyle F_{0}\subset F_{1}\subset \cdots \subset K_{n}} 加强为: F 0 F 1 {\displaystyle F_{0}\subset F_{1}} 是添加单位根的伽罗瓦扩张,其后的每个扩张都是伽罗瓦扩张,且对应的伽罗瓦群是循环群。通过伽罗瓦理论基本定理,可以推出:P在K上可解,等价于说它在K上的伽罗瓦群包含一个一直递减到平凡子群的正规子群列,而且相邻的两个子群的商群是交换群。这样的群称为可解群:146-148。可以证明,如果某个群可解,那么其任一正规子群以及其对应的商群都可解:436。

给定K上一个一般的五次多项式,它在K上的伽罗瓦群是 S 5 {\displaystyle {\mathfrak {S}}_{5}} :150,而 S 5 {\displaystyle {\mathfrak {S}}_{5}} 不是交换群,它唯一的非平凡正规子群只有n次交替群 A 5 {\displaystyle {\mathfrak {A}}_{5}} 。而 A 5 {\displaystyle {\mathfrak {A}}_{5}} 是单群,它的正规子群只有平凡子群。而这时候 A 5 {\displaystyle {\mathfrak {A}}_{5}} 对平凡子群的商群(即它自身)不是交换群。所以 S 5 {\displaystyle {\mathfrak {S}}_{5}} 不是可解群。因此一般的五次多项式代数方程不可解:436。

对于一般的更高次的多项式,使用类似的论证,可以从 A n {\displaystyle {\mathfrak {A}}_{n}} n大于5)是不交换单群的事实推出,一般的n次(n大于5)多项式代数方程不可解:439:213。

相关

  • 北马其顿面积以下资讯是以2015年估计国家领袖国内生产总值(购买力平价) 以下资讯是以2016年估计国内生产总值(国际汇率) 以下资讯是以2016年估计人类发展指数 以下资讯是以2018年估计北
  • RhOsub2/sub二氧化铑是一种无机化合物,化学式为RhO2。二氧化铑属于四方晶系,有着金红石结构。二氧化铑难溶于王水。Rh2Cl2(C8H12)2 · Rh6(CO)16 · C8H12O8Rh2 · RhF3 · RhCl3 ·
  • 瑞兽瑞兽有时也称吉祥兽,是指寓意吉祥的动物,可以是现实中真实存在的,也可以是神话传说和虚构的。中国的四大吉祥兽为:麒麟、凤凰、龟、龙,另外还有东方青龙、南方朱雀、西方白虎(有说
  • 中央政务局朝鲜民主主义人民共和国主题朝鲜劳动党中央委员会政务局(韩语:조선로동당 중앙위원회 정무국)是朝鲜劳动党的党务执行机构,前身是“朝鲜劳动党中央委员会书记局”。2010年9月28
  • 安庆站安庆站是安庆铁路和宁安客运专线的终点站,位于中华人民共和国安徽省安庆市宜秀区,隶属于上海局集团合肥车务段。本站站内及宁安客专上行线至安庆北站区间已电气化。目前客运:办
  • 卡特戈拉बाप तहसील卡特戈拉(Katghora),是印度恰蒂斯加尔邦Korba县的一个城镇。总人口18534(2001年)。该地2001年总人口18534人,其中男性9499人,女性9035人;0—6岁人口2862人,其中男14
  • 岁为中国传统的时间单位,指地球绕太阳公转的周期,即一个回归年。具体测量方法是当年冬至至次年冬至的时间,约为365.2422天。诗句中有“离离原上草,一岁一枯荣”,“年年岁岁花相似
  • 刘晏含刘晏含(1993年1月19日-),辽宁盘锦人,中国女子排球运动员,身高1米88,司职主攻,亦为中国国家女子排球队成员。效力于八一深圳女排。2012-2013赛季中国女排联赛,刘晏含成为八一女排最主
  • 夏明翰故居夏明翰故居位于衡阳县洪市镇礼梓村,始建于清乾隆年间,2005年修葺后正式对外开放。夏明翰故居是首批衡阳市爱国主义教育示范基地、衡阳市党员教育基地、全国爱国主义教育示范基
  • 纪三井寺站纪三井寺站(日语:紀三井寺駅/きみいでらえき  */?)是位于和歌山县和歌山市三葛,西日本旅客铁道(JR西日本)的纪势本线(纪国线)车站。在国铁分割民营化前后的花见季节时,部分特急列车