四次方程S4群的伽罗瓦分解和柏拉图正多面体

a,b,c,d是一般四次方程的四个根对应S4的伽罗瓦分解如下图所示24个置换中有六个值这六个值恰好对应S3生成元是翻转和旋转b,c,d,如下图所示也就是说S4群对克莱因四元群V4的商群恰好是S3群V4群可以看成是C2群的直积可解S3群可解所以四次方程一定可解其可解群列是其中A4作为连接S4和V4的中间域将S3分解为2次C2扩域和3次C3扩域由于S3是可解群所以S4的可解群列可以忽略A4的桥梁作用直接写作从可解群列可以猜测到四次方程根式解的形式根式按照可解群列开方顺序从左到右的依次进行首先破坏左侧的高阶对称性其次是V4到C2的一次开方之后是C2到e的另一次开方。所以根域的形式为所以四次方程扩域2*3*2*224次4即可得到根域deepseek得到的答案预解式的选取并不是唯一的比如知道S4有一个D4子群它是8阶的我们可以根据D4去设计在8种置换下其值保持不变的有理式比如有理式在S4的24种置换下只有三个值这样方程必然可以降阶为3次方程y1,y2,y3是D4群的置换结果牛顿定理保证了其可以转化为基本对称多项式从而可以用系数域表示利用三次方程求根公式得到.回过头来反思一下为何伽罗瓦群公里第三条要求群运算是封闭的大概就是因为只有满足封闭性的条件下任何群作用的组合都是群内的元素我们才能找到穷尽这样一系列关于根的有理式无论在怎样的置换下得到的值总是固定的实现根式扩张。ds的回答保持多项式不变的群确实是D4群cayley图表示克莱因四元群是D4群的一个正规子群子群和陪集构成了一个十字交叉的形状。实际上S4群有三个D4子群虽然它们不是正规的但是可以利用D4构造根的有理式从而得到以有理式为根的拉格朗日预解式这三个D4群分别是显然D4群并非S4的正规子群因为正规子群要求若存在多个共轭子群则单个子群不可能是正规的就不可能出现上面三个D4子群了.但是好像仍然能够用D4群进行中间扩域。四次方程的可解性由S₄的可解性保证S₄的正规子群链为和D4无关但貌似尽管D4非正规但预解式的存在允许直接构造根式解无需依赖D4的正规性这里还不太明白貌似似乎是比伽罗瓦大定理更弱的一个条件。解构A4D4群并非是S4的正规子群其实S4的可解性群列中不应该出现D4群的不过S4确实有一个正规子群它就是克莱因四元群V4下图是在S4的凯莱图中凸显V4正规子群红色实心被矩形框住的四个元素对称群 S4​ 的正规子群包含克莱因四元群 V4​且商群 S4/V4​ 同构于 S3​,也就是S4可以和S3之间构造一个满同态同态的核是克莱因四元群V4根据同态基本定理所以下面尝试对S4进行分解选择生成元V4(0 1) ( 2 3), (0, 2)(1 3)V4陪集之间(0 1), (0 3 1)看上去很乱把它梳理一下实际上是这个样子将所有陪集按照V4中元素的布局对应关心重新排列从单位元开始按照顺时针方向回到单位元得到上图的一个重布线虽然我们可以通过重新安排凯莱图的节点使的箭头连接每个陪集的对应节点但是这会改变这些陪集的布局使用陪集内部的箭头和V4不一致你可以让箭头保持和V4一致也可以让节点布局保持和V4一致但是这两点不能同时做到这是由S4杂乱的结构决定的是无法避免的。其实这说明了S4不是V4和S3的直积。如果单独看重布线的规律可以单独把陪集内部的箭头从凯莱图中抽离出来从上图可以看到虽然每个陪集内的箭头的位置不同但是在陪集内的作用方式是完全相同凯莱图也相同。本质上等价于三个箭头两个实箭头一个空箭头在三个位置上的置换构成的当然就是S3群定义水平位置h, 竖直位置v,和对角位置d,重布线的凯莱图如下图将上图缕顺后重布线图和S3同构。前面分析可以看到S4群可以看成是3个D4群或者或者6个V4群为什么是这样呢这实际上涉及到从怎样的角度看待立方体的对称性。立方体的对称性立方体有6个面8个顶点12条棱空间中存在24种对称排列为何是24种,因为如果你眼前有一个立方体有24种改变正方体位置的操作方法你闭上眼睛应用这些方法再睁开眼睛觉察不到正方体的任何变化。如何从几何直观角度思考立方体的对称性呢24的因子有246812这几个所以可以有多种对称观察的角度。1.可以看成是3个D4群的对称D4群的阶是8如果把正方体的六个面的每两个对面看成一组这一组的不变操作构成一个D4群六个面一共可以分成3组所以整个立方体的对称操作有3x824种。2.可以看成是6个C4群的对称操作。可以想象用三体中的武器二向簿作用在立方体上立方体会被“啪”以下拍扁成正方形不但如此正方形所在的空间也在二向簿作用下成为一个二维空间带来的改变是这个正方形无法执行翻转动作这也就是和上面D4群的唯一区别所以无法生成V4群但可以生成C4 V4群是D4群的正规子群这样这个正方形只能作C4四循环的动作不能作V4因为二维空间无法作翻转。正方形一共六个面每个面有C4中情况所以正方形的对称一共有4x624种D4群除了C4之外其他的四阶群都是V4群并且所有V4都是正规的。3.可以看作8个C3群以正方体的体对角线为轴把它的三个面看作是等边三角形的三个顶点那么每次旋转120度后和原来占据的空间重合每个点可以转三次三个对称方式构成C3群。8个顶点每个都可以这样操作三次所以一共有8*324种对称方式。4.可以看作4个S3群还是以上图为例说明如果我们牺牲一半的顶点每个体对角线放弃一个顶点牺牲掉的C3群和对端的C3群看成对面端点的C3群的一个翻转C3和翻转的C3恰好构成一个S3群一共有6阶四个顶点所以立方体的对称方式有6*424.5.可以看作12个C2群这个就比较简单了我们用一个“一向簿”将立方体按照棱的方向拍成一维这样两个端点构成一个C2群立方体一共有12个棱所以一共有12*224种对称。说白了就是空间中固定一个棱的位置让12条棱依次卡位到这个位置能够遍历立方体的所有对称方式。柏拉图立方体的对称性规律参考上面第五步貌似任何一个正多面体的对称阶数都是其梭数的2倍比如正二十面体和正十二面体的对称群都是A5有60阶正好是其梭数30的2倍正八面体和正六面体有同样的规律。立方体和正八面体是对偶正多面体特点是梭数不变顶点数和面数互相交换。正十二面体和正二十面体同样是对偶正多面体。根据欧拉定理三维凸多面体满足 VF-E2,根据公式V和F满足对称性交换V和F构成了互相对偶的正多面体。图中的全对称包含旋转对称和中心反演对称C2和旋转对称的直积。反演中心对称和反射镜面对称反演中心对称和反射镜面对称的本质区别在于“镜子”的维度不同反演是关于一个点的对称而反射是关于一个平面的对称。反射镜面基准是一个平面。就像照镜子镜面是那个平面。反演中心基准是一个点对称中心。就像你站在一个万向球的中心所有东西都从你正对面穿过去。假设空间中有任意一点 P(x,y,z)关于 xy 平面的反射。(x,y,z)-(x,y,-z).只有一个坐标轴垂直于镜面的那个轴方向改变.关于原点的反演. (x,y,z)→(−x,−y,−z).三个坐标轴的方向全部同时改变.不动点反射镜面所在的整个平面上的所有点都不动。也就是说有无数个点保持不变一个二维区域。反演只有几何中心那一个点不动。除此之外所有的点都跑到对面去了。立方体同时拥有反射面9个和反演中心1个。所以立方体很“全能”平行于面的“平切面”共有3个。过相对棱的“斜切面”共有6个。正四面体有反射对称但是没有反演对称因为没有一个对称中心。中心反演要求物体上的每一个点都能在关于中心连线的另一端找到一个对应的点。立方体有 8 个顶点反演时正好配成 4 对每对连线穿过中心。正四面体只有 4 个顶点。如果存在中心反演这 4 个顶点必须配成 2 对。但正四面体的任意两个顶点之间都是棱边相邻的没有任何两个顶点是关于中心“正相对”的。你把正四面体放在重心上任何一个顶点的对面是空的是一面三角形的中心而不是另一个顶点。柏拉图正多面体对称性总表正多面体对偶性定义正多面体柏拉图固体的对偶性是一种深刻的几何关系它通过互换顶点与面的角色来定义。这种关系揭示了五种正多面体之间的内在对称性形成三组对偶对和一个自对偶结构。对偶性的定义设多面体 P 有 V 个顶点、E 条棱、F 个面。其对偶多面体 P∗ 满足如下对应顶点与面对应P 的每个面对应 P∗ 的一个顶点。P 的每个顶点对应 P∗ 的一个面。棱不变P 的每条棱对应 P∗ 的一条棱数量相同。构造方法取 P 的每个面的几何中心作为 P∗ 的顶点若 P 的两个面相邻共享一条棱则连接它们在 P∗ 中对应的顶点形成 P∗ 的棱对偶的对偶(P∗)∗ 与 P 相似同构即对偶操作两次回到自身互为对偶的多面体具有相同的对称群。对偶多面体可通过连接原多面体每个面的中心点获得。例如在立方体中连接6个正方形面的中心即形成正八面体柏拉图多面体的对偶关系总结如下图对偶操作的核心规则顶点↔面互换原多面体的每个面对应对偶多面体的一个顶点棱守恒对偶前后棱的数量不变欧拉公式保持V−EF2 恒成立对称性继承对偶多面体保持相同的旋转对称性┌───────────────┐ │ 原多面体 │ │ • 顶点: V │ │ • 面: F │ │ • 棱: E │ └───────┬───────┘ │ 对偶操作 │ 互换 V↔F ▼ ┌───────────────┐ │ 对偶多面体 │ │ • 顶点: F │ │ • 面: V │ │ • 棱: E │ └───────────────┘正四面体由于面数和棱数相同根据图论中的欧拉定理VF-E2V和F转换是自对称最后总结如下互为对偶的多面体具有完全相同的对称轴和对称群。结束