伽罗瓦群与高次方程的代数解i.问题的提出ii．引导概念.pdfVIP

伽罗瓦群与高次方程的代数解 李阳 01068 摘要 1831年 年轻的数学家伽罗瓦倒在一场决斗之中 而这位数学界的凡高 生前遭遇了种种的不平和 不公 他的超越那个时代的数学思想直到其死后方得到人们的认可 在伽罗瓦理论中 一个最为重要的结 论便是论证高次方程 高于四次 不可解问题 本文即将以一种简约的方式向大家介绍这个重要结论的求 证过程 关键词 伽罗瓦 伽罗瓦理论 扩域 高次方程不可解 根号求解 I. 问题的提出 在初等数学里 我们接触到了一次和二次方程 这些方程都可以通过一般的方法得以解决 当方程的 次数超过二次的时候 数学家们便皱起了眉头来 直到 15世纪末 人们还认为三次方程与化圆为方 一样难以解决 但是不久 意大利的数学家们便成功地获得了三次方程 和四次方程的解决方案 指寻找 到代数解 然而欣喜过望的人们 却又被迎面而来的五次方程和更高次的方程挡住了去路 其后的三百年间 大数学家欧拉 拉格朗日等人的努力相继以失败告终 终于 在 1824年 著名的 挪威数学家阿贝尔不严谨地证明这个结论 一般的五次方程或更高次代数方程的根 不能通过方程的系数 用根式来表示 而最终的明确论断 却是由天才的年轻数学家伽罗瓦在其遗嘱中提出的 其人随后死于决 斗 年仅21岁 数学史上的一大悲剧 数学的发展史上真是多灾多难 让我们来回顾一下这笔宝贵的数学遗产 伽罗瓦解决这个问题的基础理论是他发现的关于群和域的概念 1)问题的描述 高次方程 高于四次 是否有代数解 即根是否可以用其系数和根号来表示 2)伽罗瓦断定 高次方程 高于四次 的一般方程不可能用根号求解 好 让我们一起来探讨整个求证的过程 II.引导概念 可解群 称群G是可解群 如果存在某个正规群列 G=GG G=1 它的每个因子群 即商群 0 1 r G/G i=0,1, r-1 都是交换群 i i+1 例 如S A 1中 S/A和A/1都是交换群 故S是可解群 又S A K 1中 S/A和A/K 3 3 3 3 3 3 4 4 4 4 4 4 4 K/1都是交换群 故S是可解群 4 4 然而进一步的证明却让人张口结舌 因为可以证明有结论 n 5时 Sn和An都不是可解群 证明略 大家将会看到 这将是导致高次 高于四次 方程不可解的根本原因 详情参阅 数学珍宝 历史文献精选 卡尔达诺 大术 李文林 主编 1998 年 科学出版社 详情参阅 数学史上的里程碑 一个离奇的故事 [美]H 伊夫斯 著 1990 年 北京科学技术出版社 参考任何一本关于群和域的专著都可以 1 扩域 一般地 如果F和E是两个域 如果F E 则称E是F的扩域 F是E的子域 显然Q是最小的 域 是任一域的子域 显然Q 是Q的扩域 一个方程的求根总是在某个域中进行的 尽管它在某个域中无根 但可能在某个扩域中有根 定理 设E F K是三个域 如果[K :F] 则[K :E] [E :F] 且有次数等式 [K :F]= [K :E] [E :F] 证明见上个片子 分裂域 设f(x)是系数属于域F的多项式 F的包含f(x)所有根的最小扩域E称为f(x)在F上的分裂域 分裂 的含义就是指f(x)能在这个域中分解成一次因子的乘积 分裂域 又称 根域 正规扩域 设K是F的有限扩域 如果K满足 F[x]中的任一n次不可约多项式 或者在K中无根 或 者n个根都在K中 则称K是F的正规扩域 域F的任一有限正规扩域K称为F的伽罗瓦扩域 自同构群 域E到E自身的同构满射称为E的自同构 因为群的自同构把单位元变为单位元 所以域的 自同构必把 E + 的单位元0变为0 E 的单位元1变为 1 因而保持整数不变 保持一切有理数 不变 则任一域E的任一自同构6限制在有理数域Q上必是恒等变换 即6|=1可以证明 域E的自同