方程的根与伽罗瓦群

发布时间:2026/8/20 15:09:22

方程的根与伽罗瓦群
一: 序言算算术和解方程其难度是不一样的.有一种计算,是不对称的, 比如你想好了一个数3, 让我猜, 我肯定不知道了,会问,给个提示吧?你心里算了一下: 3*53*3*38 32你说 这个数乘以5,再加上这个数的3次方再加上8等于32, 你猜这个数是多少?我于是会列出这个式子:5x x^3 8 32用一个数做乘法,加法是很容易的.(即验证一个数是否是根是很容易的).但从这个等式中找到解则是很不容易的.这在数学上叫解方程.含有未知数的等式叫方程. 使等式成立的数叫方程的根求方程根的过程叫解方程.解方程就是要通过因式分解,配方,替换,等式基本性质等方法得到解的过程.二: 方程根的性质.对于一般n此方程, 其系数为整数, 其根按照代数基本定理为n个.这n个根(x1,x2,....xn),就构成一个群.这n个根不是随便的n 个数, 而是它们的相互关系要满足韦达定理. 就是说它们相互加乘以后会等于方程的系数.但反过来不一定成立, 就是说方程的系数一顿加乘之后不一定能得到方程的根.为什么?现在我们知道因为方程的系数域是最小的域有理数域, 系数加乘以后还是有理数域. 而根域是代数数域,比系数域大.例如x^22, 其根是无理数, 就不在有理数域. 若想此方程有解,需要把√2扩进来. 扩域后为Q(√2)这个扩域为正规扩域,扩张系数为2.同理,要想一般一元2次方程有解,需要扩域√2,√3,... √n, 每一次都是正规扩域.为了使x^2-1有解,还要把i扩进来,i^2-1伽罗华给出了证明,如此扩域后,一元二次方程都有根式解.伽罗华还给出证明,不停的扩域后,包括开3次方, 开四次方这些数都扩进来, 一元三次方程和一元四次方程都有根式解.怎么证明的? 我现在也不懂. 慢慢再看.而到了一元五次方程, 无论你怎么扩开n次方的域, 都填不满根域了,因为你扩的域开n次方的域只是可根式域,而根域在代数数域,举个例子,虽然是马后炮,但不妨碍理解.x5-x-10; 你无论如何也写不出它的解, 就是说你没法用有理数加根式的方式写出解.虽然解是存在的. 但你写不出来. 所以这个方程就没有根式解至于为什么到了5次方,根域开始弥漫到代数数,这要看伽罗华怎么说了.还要补充一下,根式数到代数数只是一个小小的扩张, 从代数数到实数是一个更大的扩张,它把不连续的代数数,扩张到了连续的实数,其中填充的是超越数,代数数和超越数构成了连续的实数从代数数域到实数域是一个不规则扩张, 实数域是一个连续的数域而代数数域是不连续的.代数数域是一个可数的无穷大.欧拉把不是代数数的实数(考察对象为实数域时)或者复数(考察对象是复数域时)叫超越数超越数填满了可数无穷大到不可数无穷大之间的缝隙. 可以想象超越数比代数数多很多.三: 伽罗华群.群与数域的对应方程的根构成群, 二次方程构成S2群, 三次方程构成S3群,4次方程构成S4群, 5次S5群,....n次Sn群.这里不重复群的定义,群是一个小团体,并且元素可以相互运算. 根的乘法运算定义为根的置换. 其特性是在不同的根置换下, 韦达定理定义的加乘等式依然成立. 有这种性质的小团体才配称为方程的根. 这种不同的置换一共有n!个.我们找到一个伽罗华函数:Vk1x1k2x2k3x3...knxn精心选择这些系数k, 使得n!次根置换会得到n!个V. 叫做v1,v2,.... vn!v1,v2,vn 这些值重复性越高越好,这样表达式就会简化.如果n4则一定可解.构造一个n!次方的表达式:p(y)(y-v1)(y-v2)...(y-vn!), 这个多项式,可能是可分解的也可能不可分解或部分不可分解.是否可分解完全看数域, 在复数域内是完全可以分解的.(只不过超越数你不能精确表达,非根式数都不能精确表达)考察一个不可约部分 (y-v1)(y-v2) 或 (y^2-(v1v2)v1y2)那个不动置换和将V1,V2进行交换的根的置换构成一个群(这是可以证明的), v1,v2不动置换和v,v2交换置换都不会变更这个不可约的函数值.一般的,p(y)中不可约部分其根构成一个群,叫伽罗华群, 记为G(y), G(y)0 叫伽罗华可分解.对于一元n次方程,有可能G(y)很大, p(y)完全不可约, 这就叫在此数域下无解.我们一般不用费力去构造p(y),根据根也能判定伽罗华群. 例如x^22, 在有理数域无根, 此时群为(1),(12), 实数域有根,此时群为(1)命题:如果方程式在一个数域中的群是一个元数为质数的循环正置换群,则此方程式必可根式解.

相关新闻

魔兽争霸3还能再战十年:WarcraftHelper免费辅助工具,一次解决现代电脑上的兼容性难题

魔兽争霸3还能再战十年:WarcraftHelper免费辅助工具,一次解决现代电脑上的兼容性难题

2026/8/20 14:59:22

魔兽争霸3还能再战十年:WarcraftHelper免费辅助工具,一次解决现代电脑上的兼容性难题 【免费下载链接】WarcraftHelper Warcraft III Helper , support 1.20e, 1.24e, 1.26a, 1.27a, 1.27b 项目地址: https://gitcode.com/gh_mirrors/wa/WarcraftHelpe…

YoloMouse 游戏光标更换完整指南:三分钟上手,让每款游戏的鼠标指针都听你的

YoloMouse 游戏光标更换完整指南:三分钟上手,让每款游戏的鼠标指针都听你的

2026/8/20 14:59:22

YoloMouse 游戏光标更换完整指南:三分钟上手,让每款游戏的鼠标指针都听你的 【免费下载链接】YoloMouse Game Cursor Changer 项目地址: https://gitcode.com/gh_mirrors/yo/YoloMouse YoloMouse 是一款专为游戏场景设计的开源光标更换工具&#…

当系统弹出“此 Mac 已不支持“:OpenCore Legacy Patcher 把 2007 年的老 Mac 一路续到 Sequoia

当系统弹出“此 Mac 已不支持“:OpenCore Legacy Patcher 把 2007 年的老 Mac 一路续到 Sequoia

2026/8/20 14:59:22

当系统弹出"此 Mac 已不支持":OpenCore Legacy Patcher 把 2007 年的老 Mac 一路续到 Sequoia 【免费下载链接】OpenCore-Legacy-Patcher Experience macOS just like before 项目地址: https://gitcode.com/GitHub_Trending/op/OpenCore-Legacy-Patche…

社交媒体数据采集全攻略:一个工具如何打通小红书、抖音、B站等五大平台

社交媒体数据采集全攻略:一个工具如何打通小红书、抖音、B站等五大平台

2026/8/20 16:09:25

社交媒体数据采集全攻略:一个工具如何打通小红书、抖音、B站等五大平台 【免费下载链接】MediaCrawler-new 项目地址: https://gitcode.com/GitHub_Trending/me/MediaCrawler-new 做社交媒体数据采集的人,大概都经历过这样的午夜:运营…

FreeCAD免费开源3D建模软件完整指南:从参数化建模到装配仿真的入门与进阶

FreeCAD免费开源3D建模软件完整指南:从参数化建模到装配仿真的入门与进阶

2026/8/20 16:09:25

FreeCAD免费开源3D建模软件完整指南:从参数化建模到装配仿真的入门与进阶 【免费下载链接】FreeCAD Official source code of FreeCAD, a free and opensource multiplatform 3D parametric modeler. 项目地址: https://gitcode.com/GitHub_Trending/fr/FreeCAD …

VideoDownloadHelper视频下载助手完整通关攻略:4步玩转网页视频一键下载

VideoDownloadHelper视频下载助手完整通关攻略:4步玩转网页视频一键下载

2026/8/20 16:09:25

VideoDownloadHelper视频下载助手完整通关攻略:4步玩转网页视频一键下载 【免费下载链接】VideoDownloadHelper Chrome Extension to Help Download Video for Some Video Sites. 项目地址: https://gitcode.com/gh_mirrors/vi/VideoDownloadHelper 对于爱看…

3D拟合测量水杯半径

3D拟合测量水杯半径

2026/8/20 16:09:25

前言 示例采用的素材是2.5D图像,该类型图形相对于2D图像多了深度信息。然而相对于3D点云而言,2.5D图像是单视角的,信息相对残缺。它只能获取物体表面的相对深度轮廓信息,无法像3D点云那样提供完整的三维体积数据。维度2D 图像 (二…

不写一行代码:用开源Dify工作流模板,2小时把AI想法变成上线应用

不写一行代码:用开源Dify工作流模板,2小时把AI想法变成上线应用

2026/8/20 16:09:25

不写一行代码:用开源Dify工作流模板,2小时把AI想法变成上线应用 【免费下载链接】Awesome-Dify-Workflow 分享一些好用的 Dify DSL 工作流程,自用、学习两相宜。 Sharing some Dify workflows. 项目地址: https://gitcode.com/GitHub_Trend…

Ant Design Vue中日期插件国际化显示错乱:使用 Ant Design Vue的a-date-picker插件,设置了中文格式,但依旧显示的为中英文混乱效果,如何解决?

Ant Design Vue中日期插件国际化显示错乱:使用 Ant Design Vue的a-date-picker插件,设置了中文格式,但依旧显示的为中英文混乱效果,如何解决?

2026/8/20 15:59:24

🏆本文收录于 《全栈 Bug 调优(实战版)》 专栏。专栏聚焦真实项目中的各类疑难 Bug,从成因剖析 → 排查路径 → 解决方案 → 预防优化全链路拆解,形成一套可复用、可沉淀的实战知识体系。无论你是初入职场的开发者&…

【文章复现】非线性值迭代自适应动态规划(ADP):离散时间非线性系统的策略迭代自适应动态规划算法研究附Matlab代码

【文章复现】非线性值迭代自适应动态规划(ADP):离散时间非线性系统的策略迭代自适应动态规划算法研究附Matlab代码

2026/8/19 3:36:59

✅作者简介:热爱科研的Matlab仿真开发者,擅长毕业设计辅导、数学建模、数据处理、建模仿真、程序设计、完整代码获取、论文复现及科研仿真。🍎 往期回顾关注个人主页:Matlab科研工作室👇 关注我领取海量matlab电子书和…

【双层规划,节点出清价,绿证交易,CVaR方法】两级电力市场环境下计及风险的省间交易商最优购电模型附Matlab代码

【双层规划,节点出清价,绿证交易,CVaR方法】两级电力市场环境下计及风险的省间交易商最优购电模型附Matlab代码

2026/8/19 9:17:18

✅作者简介:热爱科研的Matlab仿真开发者,擅长毕业设计辅导、数学建模、数据处理、建模仿真、程序设计、完整代码获取、论文复现及科研仿真。🍎 往期回顾关注个人主页:Matlab科研工作室👇 关注我领取海量matlab电子书和…

隐式mpc+自适应mpc+时变mpc,线性时变模型预测控制附Simulink仿真

隐式mpc+自适应mpc+时变mpc,线性时变模型预测控制附Simulink仿真

2026/8/19 8:02:16

✅作者简介:热爱科研的Matlab仿真开发者,擅长毕业设计辅导、数学建模、数据处理、建模仿真、程序设计、完整代码获取、论文复现及科研仿真。🍎 往期回顾关注个人主页:Matlab科研工作室👇 关注我领取海量matlab电子书和…

微信聊天记录如何完整导出?WeChatMsg备份指南:HTML/Word/CSV一键转换

微信聊天记录如何完整导出?WeChatMsg备份指南:HTML/Word/CSV一键转换

2026/8/20 0:08:45

微信聊天记录如何完整导出?WeChatMsg备份指南:HTML/Word/CSV一键转换 【免费下载链接】WeChatMsg 提取微信聊天记录,将其导出成HTML、Word、CSV文档永久保存,对聊天记录进行分析生成年度聊天报告 项目地址: https://gitcode.com…

B站缓存m4s打不开?m4s-converter无损合成MP4,实测1.46GB仅5秒

B站缓存m4s打不开?m4s-converter无损合成MP4,实测1.46GB仅5秒

2026/8/20 0:08:45

B站缓存m4s打不开?m4s-converter无损合成MP4,实测1.46GB仅5秒 【免费下载链接】m4s-converter 一个跨平台小工具,将bilibili缓存的m4s格式音视频文件合并成mp4 项目地址: https://gitcode.com/gh_mirrors/m4/m4s-converter 判断你是否…

告别白模时代:Blender3mfFormat 让 3MF 导入导出一次跑通设计到打印

告别白模时代:Blender3mfFormat 让 3MF 导入导出一次跑通设计到打印

2026/8/20 0:08:45

告别白模时代:Blender3mfFormat 让 3MF 导入导出一次跑通设计到打印 【免费下载链接】Blender3mfFormat Blender add-on to import/export 3MF files 项目地址: https://gitcode.com/gh_mirrors/bl/Blender3mfFormat 按 3MF 官方规范的字面意思,一…

摆脱论文困扰!盘点2026年全网爆红的的AI论文写作工具

摆脱论文困扰!盘点2026年全网爆红的的AI论文写作工具

2026/8/17 12:00:53

一天写完毕业论文在2026年已不再是天方夜谭。2026年最炸裂、实测能大幅提速的AI论文写作工具,覆盖选题构思、文献整理、内容生成、格式排版等核心场景,真正帮你高效搞定论文难题。 一、全流程王者:一站式搞定论文全链路(一天定稿首…

导师推荐!2026最新AI论文工具测评与实用推荐

导师推荐!2026最新AI论文工具测评与实用推荐

2026/8/15 10:10:27

2026年真正好用的AI论文工具,核心看生成的论文质量、低AI味、格式正确、学术适配四大指标。综合实测,千笔AI、ThouPen、豆包、DeepSeek、Grammarly 是当前最值得推荐的梯队,覆盖从免费到付费、从中文到英文、从文科到理工的全场景需求。 一、…

告别游戏崩溃:XCOM 2模组管理器的智能革命

告别游戏崩溃:XCOM 2模组管理器的智能革命

2026/8/18 12:20:24

告别游戏崩溃:XCOM 2模组管理器的智能革命 【免费下载链接】xcom2-launcher The Alternative Mod Launcher (AML) is a replacement for the default game launchers from XCOM 2 and XCOM Chimera Squad. 项目地址: https://gitcode.com/gh_mirrors/xc/xcom2-lau…