数学研发网设为首页收藏本站
切换到窄版

 找回密码
 欢迎注册
数学研发论坛»论坛 › 【数学研究】 › 数学动态 › 五次方程、伽罗瓦群、群论等相关问题
12下一页
返回列表 发新帖
查看: 653|回复: 22

[分享] 五次方程、伽罗瓦群、群论等相关问题

[复制链接]
nyy
发表于 2024-1-15 13:45:15 | 显示全部楼层 |阅读模式

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要 登录 才可以下载或查看，没有账号？欢迎注册

×
已知首一系数的五次方程的五个系数，能确定方程的伽罗瓦群吗？ - 酱紫君的回答 - 知乎
https://www.zhihu.com/question/64900539/answer/2476505448



补充内容 (2024-1-18 11:16):
这个回答下有不少错误

补充内容 (2024-1-18 14:13):
A5 = 11111, 122, 23, 5 S5 = 11111, 122, 14, 23, 5类型错误

补充内容 (2024-1-18 14:13):
还有应该强调不可约多项式
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复

使用道具 举报

nyy
 楼主| 发表于 2024-1-15 14:40:20 | 显示全部楼层
本帖最后由 nyy 于 2024-1-15 14:45 编辑

可否建立数学模型并应用程序对任意魔方进行还原？ - luikore的回答 - 知乎
https://www.zhihu.com/question/29716151/answer/403913780

如何求解五次方程 x^5 + 20x + 32 = 0，要精确的根式解？ - 笑横野的回答 - 知乎
https://www.zhihu.com/question/457898479/answer/2254543107


已知首一系数的五次方程的五个系数，能确定方程的伽罗瓦群吗？ - 酱紫君的回答 - 知乎
https://www.zhihu.com/question/64900539/answer/2476505448
整系数的多项式方程有个常用的手算方法叫模 p 约化(Mod P Reducing),

请列出一个最难相信但确实有根式解的一元五次方程？ - 笑横野的回答 - 知乎
https://www.zhihu.com/question/423626791/answer/2253853548

请列出一个最难相信但确实有根式解的一元五次方程？ - 失落之城的回答 - 知乎
https://www.zhihu.com/question/423626791/answer/2275679199


对于可解的高次方程有没有普遍的求根方法？ - 笑横野的回答 - 知乎
https://www.zhihu.com/question/617548797/answer/3169537194

数学史上你认为最丑陋的公式是什么？ - 酱紫君的回答 - 知乎
https://www.zhihu.com/question/21400777/answer/2475732494
介绍一下五次方程存在根式解得简单判定方法, 记得拉到下面做一下课后习题看下自己学废了没有.
Dummit 判别式

五次方程也有求根公式？ - Achatinidae的文章 - 知乎
https://zhuanlan.zhihu.com/p/434045872
从上面的例子我们可以看出，仅仅通过观察一个五次方程，我们似乎很难判断它到底有没有根式解。然而办法总是有的，在本文中，我们将给出一种方法，它能判断任意一个系数均为有理数的五次方程是否有根式解，如果有的话，也可以给出它的根式解。由于这种方法是由Dummit在1991年的一篇论文中提出的，我称其为Dummit法。

五次方程 x^5+px+q 根式求解 - 酱紫君的文章 - 知乎
https://zhuanlan.zhihu.com/p/108460142

借助Mathematica和Magma体验伽罗瓦理论 - 核桃的文章 - 知乎
https://zhuanlan.zhihu.com/p/26436790

为什么课本上计算 Galois 群都是先求出根再计算的（不可解的除外）？ - 王纪翔的回答 - 知乎
https://www.zhihu.com/question/458961859/answer/1882411563

高斯作出正 17 边形的依据是什么？ - 缺心眼的香菜的回答 - 知乎
https://www.zhihu.com/question/26096850/answer/2625164779
这个很有意思，转载过来

为什么课本上计算 Galois 群都是先求出根再计算的（不可解的除外）？ - 包遵信的回答 - 知乎
https://www.zhihu.com/question/458961859/answer/1883003440
https://math.stackexchange.com/q ... p-by-reducing-mod-p



毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 09:45:31 | 显示全部楼层
https://arxiv.org/pdf/2010.01281v2.pdf

CONSTRUCTIONS USING GALOIS THEORY
CLAUS FIEKER AND NICOLE SUTHERLAND
Abstract. We describe algorithms to compute fixed fields, minimal degree splitting fields and towers of radical extensions without constructing
any field containing the splitting field, instead extending Galois group
computations for this task. We also describe the computation of geometric Galois groups and their use in computing absolute factorizations.
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 14:13:07 | 显示全部楼层
对称群S5的所有子群
https://zhuanlan.zhihu.com/p/668083184

  1. Perform(AllSubgroups(SymmetricGroup(5)), function(x) Print(x, " => ", StructureDescription(x), " ", Order(x), "\n"); end);
复制代码
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 15:12:22 | 显示全部楼层
本帖最后由 nyy 于 2024-1-16 15:15 编辑

已知首一系数的五次方程的五个系数，能确定方程的伽罗瓦群吗？ - 酱紫君的回答 - 知乎
https://www.zhihu.com/question/64900539/answer/2476505448

这个回答里
  1. 五次方程所有情况就五种

  3. Z5 = 11111, 5
  4. D5 = 11111, 122, 5
  5. F20 = 11111, 14, 122, 5
  6. A5 = 11111, 122, 23, 5
  7. S5 = 11111, 122, 14, 23, 5
复制代码


S5里还可能出现113这种情况，
比如多项式
f = x^5 + x + 10在mod 29的情况下，
出现了，
\[\left(
\begin{array}{cc}
(x+6) (x+16) \left(x^3+7 x^2+11 x+14\right) & 29 \\
\end{array}
\right)\]

真相不到他会出这种错误！


根据他的回答，只要根据23（只有A5 S5里面包含23这种情况）就能判别五次方程是否可以根式解（如果不含有23就能根式解，含有23就不能根式解），但是
f=(x^2+1)(x^3-x^2+x+1)=0
这个方程，在mod 3的情况下，就是23这种情况，但是这个方程很明显能根式解。

点评

nyy
只要含有113或者23，且含有5，就无根式解  发表于 2024-1-23 08:31
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 15:28:50 | 显示全部楼层
本帖最后由 nyy 于 2024-1-16 15:31 编辑
nyy 发表于 2024-1-16 15:12
已知首一系数的五次方程的五个系数，能确定方程的伽罗瓦群吗？ - 酱紫君的回答 - 知乎
https://www.zhihu.c ...

  1. (*根据A5的生成元,查看所有元素*)
  2. Clear["Global`*"];(*Clear all variables*)
  3. gg=PermutationGroup[{Cycles[{{1,4},{2,3}}],Cycles[{{2,5,4}}]}]
  4. hh=GroupElements[gg]
  5. MatrixForm@Transpose@{hh}
复制代码


生成所有的A5的所有元素，均没有发现14这种情况
我把A5的所有都列出来。
  1. Cycles[{}]
  2. Cycles[{{3,4,5}}]
  3. Cycles[{{3,5,4}}]
  4. Cycles[{{1,2,5}}]
  5. Cycles[{{2,3,4}}]
  6. Cycles[{{2,3,5}}]
  7. Cycles[{{2,4,3}}]
  8. Cycles[{{2,4,5}}]
  9. Cycles[{{1,4,2}}]
  10. Cycles[{{2,5,3}}]
  11. Cycles[{{2,5,4}}]
  12. Cycles[{{1,3,2}}]
  13. Cycles[{{1,2,4}}]
  14. Cycles[{{1,3,5}}]
  15. Cycles[{{1,3,4}}]
  16. Cycles[{{1,2,3}}]
  17. Cycles[{{1,4,3}}]
  18. Cycles[{{1,4,5}}]
  19. Cycles[{{1,5,4}}]
  20. Cycles[{{1,5,2}}]
  21. Cycles[{{1,5,3}}]
  22. Cycles[{{1,5,2,4,3}}]
  23. Cycles[{{1,2,3,4,5}}]
  24. Cycles[{{1,2,3,5,4}}]
  25. Cycles[{{1,2,4,5,3}}]
  26. Cycles[{{1,2,4,3,5}}]
  27. Cycles[{{1,2,5,4,3}}]
  28. Cycles[{{1,3,4,5,2}}]
  29. Cycles[{{1,3,5,4,2}}]
  30. Cycles[{{1,5,3,2,4}}]
  31. Cycles[{{1,2,5,3,4}}]
  32. Cycles[{{1,3,2,4,5}}]
  33. Cycles[{{1,3,5,2,4}}]
  34. Cycles[{{1,3,2,5,4}}]
  35. Cycles[{{1,3,4,2,5}}]
  36. Cycles[{{1,4,5,3,2}}]
  37. Cycles[{{1,4,3,5,2}}]
  38. Cycles[{{1,4,5,2,3}}]
  39. Cycles[{{1,4,2,3,5}}]
  40. Cycles[{{1,4,2,5,3}}]
  41. Cycles[{{1,4,3,2,5}}]
  42. Cycles[{{1,5,4,3,2}}]
  43. Cycles[{{1,5,3,4,2}}]
  44. Cycles[{{1,5,4,2,3}}]
  45. Cycles[{{1,5,2,3,4}}]
  46. Cycles[{{1,2} , {3,5}}]
  47. Cycles[{{1,3} , {4,5}}]
  48. Cycles[{{1,4} , {2,5}}]
  49. Cycles[{{1,4} , {3,5}}]
  50. Cycles[{{1,2} , {4,5}}]
  51. Cycles[{{1,3} , {2,4}}]
  52. Cycles[{{1,2} , {3,4}}]
  53. Cycles[{{2,5} , {3,4}}]
  54. Cycles[{{1,5} , {3,4}}]
  55. Cycles[{{1,4} , {2,3}}]
  56. Cycles[{{1,5} , {2,3}}]
  57. Cycles[{{1,3} , {2,5}}]
  58. Cycles[{{2,3} , {4,5}}]
  59. Cycles[{{2,4} , {3,5}}]
  60. Cycles[{{1,5} , {2,4}}]
复制代码

从上面可以看出
11111、113、5、122这三种情况，而不是
A5 = 11111, 122, 23, 5
也就是A5包含113，不包含23这种情况！

A5生成元见https://zhuanlan.zhihu.com/p/668083184

点评

nyy
太让我失望了，他又搓了。应该是他又错了！  发表于 2024-1-18 14:15
nyy
太让我失望了，他又搓了  发表于 2024-1-16 15:29
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 15:37:29 | 显示全部楼层
nyy 发表于 2024-1-16 15:12
已知首一系数的五次方程的五个系数，能确定方程的伽罗瓦群吗？ - 酱紫君的回答 - 知乎
https://www.zhihu.c ...

S5=11111、1112、113、14、5、122、23
而不是他说的
S5 = 11111, 122, 14, 23, 5
他漏掉了1112、113这两种情况。
  1. (*根据S5的生成元,查看所有元素*)
  2. Clear["Global`*"];(*Clear all variables*)
  3. gg=PermutationGroup[{Cycles[{{1,2,3,4,5}}],Cycles[{{1,2}}]}]
  4. hh=GroupElements[gg]
  5. MatrixForm@Transpose@{hh}
复制代码


所有结果
  1. Cycles[{}]
  2. Cycles[{{4,5}}]
  3. Cycles[{{3,4}}]
  4. Cycles[{{3,5}}]
  5. Cycles[{{2,3}}]
  6. Cycles[{{2,4}}]
  7. Cycles[{{1,4}}]
  8. Cycles[{{2,5}}]
  9. Cycles[{{1,2}}]
  10. Cycles[{{1,5}}]
  11. Cycles[{{1,3}}]
  12. Cycles[{{3,4,5}}]
  13. Cycles[{{3,5,4}}]
  14. Cycles[{{1,2,5}}]
  15. Cycles[{{2,3,4}}]
  16. Cycles[{{1,5,2}}]
  17. Cycles[{{1,5,4}}]
  18. Cycles[{{2,3,5}}]
  19. Cycles[{{2,4,3}}]
  20. Cycles[{{1,3,2}}]
  21. Cycles[{{2,4,5}}]
  22. Cycles[{{1,4,5}}]
  23. Cycles[{{1,3,4}}]
  24. Cycles[{{2,5,3}}]
  25. Cycles[{{2,5,4}}]
  26. Cycles[{{1,2,4}}]
  27. Cycles[{{1,4,3}}]
  28. Cycles[{{1,3,5}}]
  29. Cycles[{{1,5,3}}]
  30. Cycles[{{1,4,2}}]
  31. Cycles[{{1,2,3}}]
  32. Cycles[{{1,3,2,4}}]
  33. Cycles[{{2,3,4,5}}]
  34. Cycles[{{2,3,5,4}}]
  35. Cycles[{{2,4,5,3}}]
  36. Cycles[{{1,3,2,5}}]
  37. Cycles[{{2,4,3,5}}]
  38. Cycles[{{2,5,4,3}}]
  39. Cycles[{{2,5,3,4}}]
  40. Cycles[{{1,4,3,2}}]
  41. Cycles[{{1,4,5,3}}]
  42. Cycles[{{1,4,3,5}}]
  43. Cycles[{{1,4,2,3}}]
  44. Cycles[{{1,4,2,5}}]
  45. Cycles[{{1,5,3,2}}]
  46. Cycles[{{1,5,4,2}}]
  47. Cycles[{{1,2,3,4}}]
  48. Cycles[{{1,5,4,3}}]
  49. Cycles[{{1,5,3,4}}]
  50. Cycles[{{1,2,3,5}}]
  51. Cycles[{{1,2,4,3}}]
  52. Cycles[{{1,5,2,3}}]
  53. Cycles[{{1,2,4,5}}]
  54. Cycles[{{1,5,2,4}}]
  55. Cycles[{{1,2,5,3}}]
  56. Cycles[{{1,2,5,4}}]
  57. Cycles[{{1,3,4,2}}]
  58. Cycles[{{1,3,5,2}}]
  59. Cycles[{{1,3,4,5}}]
  60. Cycles[{{1,3,5,4}}]
  61. Cycles[{{1,4,5,2}}]
  62. Cycles[{{1,4,5,2,3}}]
  63. Cycles[{{1,3,2,4,5}}]
  64. Cycles[{{1,5,2,4,3}}]
  65. Cycles[{{1,5,3,2,4}}]
  66. Cycles[{{1,4,5,3,2}}]
  67. Cycles[{{1,5,2,3,4}}]
  68. Cycles[{{1,4,3,2,5}}]
  69. Cycles[{{1,3,2,5,4}}]
  70. Cycles[{{1,5,4,3,2}}]
  71. Cycles[{{1,2,3,4,5}}]
  72. Cycles[{{1,2,3,5,4}}]
  73. Cycles[{{1,2,4,5,3}}]
  74. Cycles[{{1,2,5,3,4}}]
  75. Cycles[{{1,5,3,4,2}}]
  76. Cycles[{{1,2,5,4,3}}]
  77. Cycles[{{1,4,2,3,5}}]
  78. Cycles[{{1,4,3,5,2}}]
  79. Cycles[{{1,3,5,4,2}}]
  80. Cycles[{{1,3,5,2,4}}]
  81. Cycles[{{1,3,4,5,2}}]
  82. Cycles[{{1,2,4,3,5}}]
  83. Cycles[{{1,3,4,2,5}}]
  84. Cycles[{{1,4,2,5,3}}]
  85. Cycles[{{1,5,4,2,3}}]
  86. Cycles[{{2,3} , {4,5}}]
  87. Cycles[{{2,4} , {3,5}}]
  88. Cycles[{{2,5} , {3,4}}]
  89. Cycles[{{1,2} , {4,5}}]
  90. Cycles[{{1,2} , {3,4}}]
  91. Cycles[{{1,4} , {2,3}}]
  92. Cycles[{{1,3} , {2,5}}]
  93. Cycles[{{1,5} , {2,4}}]
  94. Cycles[{{1,5} , {3,4}}]
  95. Cycles[{{1,3} , {4,5}}]
  96. Cycles[{{1,3} , {2,4}}]
  97. Cycles[{{1,4} , {2,5}}]
  98. Cycles[{{1,5} , {2,3}}]
  99. Cycles[{{1,4} , {3,5}}]
  100. Cycles[{{1,2} , {3,5}}]
  101. Cycles[{{1,2} , {3,4,5}}]
  102. Cycles[{{1,2} , {3,5,4}}]
  103. Cycles[{{1,2,3} , {4,5}}]
  104. Cycles[{{1,2,4} , {3,5}}]
  105. Cycles[{{1,4,2} , {3,5}}]
  106. Cycles[{{1,3,2} , {4,5}}]
  107. Cycles[{{1,3} , {2,5,4}}]
  108. Cycles[{{1,4,5} , {2,3}}]
  109. Cycles[{{1,4,3} , {2,5}}]
  110. Cycles[{{1,4} , {2,5,3}}]
  111. Cycles[{{1,5,4} , {2,3}}]
  112. Cycles[{{1,3,5} , {2,4}}]
  113. Cycles[{{1,3} , {2,4,5}}]
  114. Cycles[{{1,5} , {2,3,4}}]
  115. Cycles[{{1,5,3} , {2,4}}]
  116. Cycles[{{1,5,2} , {3,4}}]
  117. Cycles[{{1,3,4} , {2,5}}]
  118. Cycles[{{1,5} , {2,4,3}}]
  119. Cycles[{{1,2,5} , {3,4}}]
  120. Cycles[{{1,4} , {2,3,5}}]
复制代码


真没想到他的科普回答居然这么多错误！
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 15:43:40 | 显示全部楼层
https://zhuanlan.zhihu.com/p/668083184
从这边的子群可以看出
只要包含轮换长度=3且轮换长度=5的情况，那么群的阶必然是15的倍数，那么群的阶只可能是15、30、45、60等这些情况
而S5的可解群最高也就是24阶情况，且S5没有15阶的子群，因此只要群的阶是15的倍数，那么必然是A5或者S5，这时候也就不可解了！
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 15:51:51 | 显示全部楼层
nyy 发表于 2024-1-16 15:43
https://zhuanlan.zhihu.com/p/668083184
从这边的子群可以看出
只要包含轮换长度=3且轮换长度=5的情况，那 ...

S5=11111、1112、113、14、5、122、23
A5=11111、113、5、122
两者的区别是1112、14、23，都是奇数个偶数（1112中的2是偶数，14中的4是偶数，23中的2是偶数）
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

nyy
 楼主| 发表于 2024-1-16 15:59:48 | 显示全部楼层
本帖最后由 nyy 于 2024-1-16 16:21 编辑
nyy 发表于 2024-1-16 15:51
S5=11111、1112、113、14、5、122、23
A5=11111、113、5、122
两者的区别是1112、14、23，都是奇数个偶数 ...


RECOGNIZING GALOIS GROUPS Sn AND An

https://kconrad.math.uconn.edu/blurbs/galoistheory/galoisSnAn.pdf

https://kconrad.math.uconn.edu/blurbs/

https://math.stackexchange.com/q ... p-by-reducing-mod-p

If you now give me an equation that you have chosen at will, and you wish
to know whether or not it is solvable by radicals, I will have nothing to do
other than to indicate to you the way to respond to your question, without
wishing to charge either myself or anyone else with doing it. In a word,
the calculations are impractical. [...] But most of the time in applications
[...] one is led to equations all of whose properties one knows beforehand:
properties by means of which it will always be easy to answer the question
by the rules which we shall expound. E. Galois [2, pp. 227, 229].

GALOIS GROUPS OVER Q AND FACTORIZATIONS MOD p
https://kconrad.math.uconn.edu/b ... -Q-factor-mod-p.pdf

https://kconrad.math.uconn.edu/



点评

nyy
看起来不错!https://kconrad.math.uconn.edu/blurbs/  发表于 2024-1-16 21:57
毋因群疑而阻独见　　毋任己意而废人言
毋私小惠而伤大体　　毋借公论以快私情
回复 支持 反对

使用道具 举报

12下一页
返回列表 发新帖
高级模式
B Color Image Link Quote Code Smilies
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-4-28 02:33 , Processed in 0.060119 second(s), 17 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表