21.3 【上】 一般子群的不可约分解(G=G1⊗G2 ⊕ k)

矩阵“极致稀疏化”等价于以不对易性为基础的“极致不可约”。一般子群的极致不可约分解，能够达到什么级别的颗粒度呢？

①伽罗瓦理论通过群与域的对应关系，将多项式方程的根式可解性问题转化为群论问题。核心是正规子群链的合成列是可解群，即满足可解条件的正规子群链，要求每一层的商群（因子）都是阿贝尔群（特别是循环素数阶群）。可解群的"原子"是阿贝尔单群，即素数阶循环群 Zp 。

②值得注意的是，有些可解群可能带有H2 非平凡的缠绕方式，可解群中的非平凡H2（如 Q8 ），像一条拧了的麻绳，但你可以沿着绳子的纹理把它拆开成一股一股（阿贝尔层），只是拆开时需要处理相位。H2 告诉我们，即使可解群的扩张链中存在非平凡的"缠绕"（ H2≠0 ），这些缠绕仍然可以被根式运算"消化"。最终都可以分解为这些阿贝尔单群原子的"堆叠"。

③还有，如果合成列极大正规子群链（不能再细分），子群链中剩下的最小不可拆分的单群因子不全是阿贝尔单群，其商群单群存在非阿贝尔单群（如 A5 ）。这时候，H2上同调 会告诉我们，这个非阿贝尔单群无法通过任何阿贝尔根式扩张来构造，它是“本质非交换的扭结”——就像一条拧死了的麻绳，你无法用加减乘除和开方（阿贝尔运算）去“摊平”它。非阿贝尔单群（如 A5 ），不像拧了的麻绳，更像一块不可切割的金刚石——它没有"纹理"（没有非平凡正规子群），你根本无法沿着任何方向把它分解。而非阿贝尔单群的问题不在于"缠绕"，而在于根本没有可以缠绕的阿贝尔骨架——它是不可分解的、本质非交换的。

伽罗瓦理论是检查一个复杂的机器能否被拆分成一系列（即使有内部相位缠绕的）阿贝尔齿轮组。伽罗瓦理论将根式可解性转化为检查伽罗瓦群是否具备可解列（Abelian正规因子链）。这等价于检验一台复杂机器能否被拆分成一系列阿贝尔齿轮组——即使齿轮内部存在非平凡的相位缠绕（H2 非零的中心扩张，如 C4,Q8 ）也无妨，因为根式运算天然兼容这种缠绕；只有当合成列的最终齿轮出现非阿贝尔单群（如 A5 ）时，才意味着存在无法用根式摊平的本质纠缠，方程无根式解。A5 的不可解性由其换位子子群（导群） 决定，[A5,A5]=A5（完美群），如果合成列中出现A5 ，这意味着在拆解机器的最后一步，你遇到了一个内部没有任何“螺丝孔”的实心钢球。

然而，值得注意的是，在正规子群分解语境中，A5群是不可分解的单群；但若不限制是正规子群分解，A5群可以分解为更小的子群。

一、伽罗瓦理论基本定理并不要求子群 Gi必须是正规子群

伽罗瓦理论基本定理建立了域扩张与群论之间的深刻联系。设 K 是一个域，G 是 K 的有限自同构群，我们用 KG 表示 K 中所有被 G 的自同构保持不变的元素构成的子域，称为 G 的固定域。如果 A 是 K 中包含 KG 的子域，那么我们用 GA 表示 G 中所有保持 A 的元素不变的自同构构成的子群。​

【伽罗瓦理论基本定理】在 K 的包含 KG 的子域与 G 的子群之间存在一一对应关系。这一对应关系具有以下性质：​对于子域 A，有 [K:A] = |GA|​；对于子群 H，有 [KH:K] = [G:H]​；子域 A 是 KG 的正规扩张当且仅当 GA 是 G 的正规子群，此时 Gal (A/KG) ≅ G/GA​

这一定理的关键在于建立了两个看似不同的数学结构之间的精确对应关系，其中一个是域论结构，另一个是群论结构。这种对应关系不仅是双射的，还保持了重要的代数性质，如维数关系和正规性条件。

群量（子群阶）× 域量（扩张次数）= 格守恒量∣G∣

1.1、伽罗瓦对偶格

【伽罗瓦对偶格守恒量】根据伽罗瓦理论基本定理，每个子群对应一个子域（相当于特征解闭子空间）。如果把子群A作用下保持不变的子域特征解系A看作一个“等价类A”，作用此“等价类A”保持不变的所有变换元形成一个子群B，则子群A=子群B，即子群A作用子域A相当于“恒等变换”。不严谨形象比喻，如果把上述子群看作某种“量”、对应子域看作某种“量”，则“群量复合域量的对偶总量”是守恒量。标准数学术语是“对偶不变性/互补不变性”。伽罗瓦理论对偶总量守恒∣Gal∣⋅[K:F]=const，在黎曼ζ函数对应为“无穷和×无穷积的酉表示守恒”。 Gi​◃G 正规子群时，Ki​/K 是正规（伽罗瓦）扩张。更一般地，L/K 是固定有限伽罗瓦扩张，Ki​ 是中间域，当且仅当对应的子群是G=Gal(L/Ki)，{中间域 Ki∣K⊆Ki⊆L}⟷{子群 Gi∣Gi≤G}满足反向包含关系K1​⊆K2​⟺G2​⊆G1​(Gi​=Gal(L/Ki​) )；并且，对任意中间域 Ki，群阶数与域扩张次数互补守恒∣Gi∣×[Ki:K]=∣G∣，即∣Gal(L/Ki)∣×[Ki:K]=全局守恒量∣G∣

伽罗瓦反序格同构（格守恒）：子群越小（条件越苛刻），固定域越大（满足对称性的对象越多）

①域扩张K⊂K1​⊂K2​⊂⋯⊂L，若中间域K1⊆K2，对应的子群满足G2=Gal(L/K2)⊆Gal(L/K1)=G1；则有：Gal(K2/K1)∣*[K2:K1]=∣Gal(K/K1)/Gal(K/K2)∣*[K2:K1]=∣G1/G2∣*[K2:K1]=恒量；得到：K1*G1=K2*G2；即：Ki*Gi=K(i+1)*G2(i+1)=恒量。由于局部扩张K2​/K1​一般不是伽罗瓦扩张，所以①推导不正确。

②真正守恒的不是局部K2​/K1​，而是每个中间域相对于基域K：对任意K⊆Ki⊆L，Gi​=Gal(L/Ki)，[Ki :K]=∣G:Gi ∣；有∣Gi​∣⋅[Ki:K]=∣G∣=守恒量(全局常数)；即∣G∣=∣G1​∣⋅[K1​:K]，∣G∣=∣G2​∣⋅[K2​:K]

【∣Gal(Ki/F)∣⋅[Ki:F]=恒量】表达方式为：∣G1∣[K1​:K]=∣G2​∣⋅[K2​:K]=∣Gi∣[Ki:K]⋯=全局守恒量∣G∣

群量（子群阶）× 域量（扩张次数）=全局守恒量∣G∣

不太严谨的形象表达：∣G∣/∣G1​∣=[K1​:K]，∣G∣/∣G2​∣=[K2​:K]；

即：∣G∣×[K]= ∣G1​∣×[K1]=∣G2​∣×[K2]=∣Gi​∣×[Ki]=恒量

【特别注意】伽罗瓦对偶格守恒并不要求 Gi必须是正规子群。

1.2、傅立叶核exp(ipr)的对偶“格”常见例子

【波粒二象性】在伽罗瓦理论中，子域扩大，对应的自同构群缩小。在傅里叶变换中，这种“反序”体现为时频局域化的互补性。域端限制（变小），当位置空间r的信号被高度压缩（趋向脉冲），即“域量”的确定性增加；群端扩张（变大）频率空间p的谱线必然无限展宽（趋向平坦），即“群量”的分布范围扩大。位置和频率算子服从海森堡不确定性原理，海森堡不确定性原理Δx.Δp≥ℏ/2直接体现反序格守恒，位置不确定性Δx增大时，频率不确定性Δp必须减小（反之亦然），两者严格通过海森堡不确定性原理Δr⋅Δp≥ℏ/2实现测度上的乘积守恒。请注意，这里的“Δx格”与“Δp格”并不要求必须是正规分解。

【诺特定理】揭示了能量作为量子系统的内禀不变量，其 “合法性底线” 的地位，并非人为定义，而是源于宇宙最根本的时间平移对称性—— 物理规律不随时间的变化而改变，这一核心对称性直接决定了能量守恒的必然性。请注意，这里的“时间格”与“能量格”并不要求必须是正规分解。

【狄拉克梳型函数抽样】泊松求和公式守恒，体现在狄拉克梳状函数抽样信息量的傅里叶自对偶性（Σ_nδ(x-nT)↔1/TΣ_kδ(p-2πk/T)）严格满足反序关系，时域周期T增大时，频域间隔2π/T减小。位置-频率空间的对偶性本质是庞特里亚金对偶在阿贝尔群R上的具体表现，与伽罗瓦反序对应同源。请注意，梳状函数的“抽样信息格”并不要求必须是正规分解。

【辛变换任意角度斜切“时域-频域”】任意角度斜切“时域-频域”二阶复合空间的每个切片（格）守恒，这是辛变换的不变性。意味着你必须在两个相互“反序”的参照系（格点）之间不断切换，这是伽罗瓦基本定理中“中间域”与“子群”一一对应的动力学版本。这里的守恒量并非简单的数值相等，而是解析结构的秩（Rank）或辛面积的守恒。在傅里叶变换下，信号的总能量（L^2范数）保持不变（帕塞瓦尔定理），这保证了无论在“域”还是“群”的视角下，信息的物理测度始终是完备且对称的。请注意，辛变换信息的物理“测度格”并不要求必须是正规分解。

【狄拉克冲激函数】量子力学里面无所不在的狄拉克冲激函数δ函数仅在0点一个点有值、这个点值是∞、其积分等于1（积分宽度为0、高度为∞、面积是1），翻译成白话文大家就明白了，口水话的解释相当于：‘什么都没得’ × ‘无穷大’ ＝ ‘有一个东西’，数学表达为：0 × ∞ ＝ 1，即零乘以无穷大等于1 。狄拉克 δ 函数是连续谱的广义本征函数（特征基），而谱测度是描述这些本征态如何分布并作用于希尔伯特空间的一整套投影算子集合，谱测度是一族投影算子，用于实现算符的谱分解。请注意，狄拉克 δ 函数的“连续谱测度格”并不要求必须是正规分解。

二、可解群中的非平凡H2

伽罗瓦理论通过群与域的对应关系，将多项式方程的根式可解性问题转化为群论问题。核心是正规子群链的合成列是可解群，即满足可解条件的正规子群链，要求每一层的商群（因子）都是阿贝尔群（特别是循环素数阶群）。在可解列中，如果某一层商群是非阿贝尔的，那这个群可能仍然可解（因为还可以继续细分成阿贝尔块）。这种群是平凡可解群（如Zp）。可解群的"原子"是阿贝尔单群，即素数阶循环群 Zp 。

伽罗瓦正规分解简洁明了，但遗憾的是，并非任意群都可分解为正规子群相乘。

“任意一个群，要么是个单群、要么是个正规子群、要么是正规子群的直积而来的群、要么是正规子群的半直积而来的群，有且仅有以上情形。”其实这个说法是错的。因为存在大量不可分解的群，它们有正规子群，却不存在这样的补子群，因此既不能写成直积也不能写成半直积。更多群（如Q8、C4等）对应的是非分裂扩张。所有可解群最终都可以分解为这些原子的"堆叠"（可能带有H2 非平凡的缠绕方式）。可解群中的非平凡H2（如 Q8 ），像一条拧了的麻绳，但你可以沿着绳子的纹理把它拆开成一股一股（阿贝尔层），只是拆开时需要处理相位。H2 告诉我们，即使可解群的扩张链中存在非平凡的"缠绕"（ H2≠0 ），这些缠绕仍然可以被根式运算"消化"。

更进一步，如果合成列极大正规子群链（不能再细分），子群链中剩下的最小不可拆分的单群因子不全是阿贝尔单群（如Zp,Z2×Z2），其商群单群存在非阿贝尔单群（如 A5 ）。这时候，H2上同调 会告诉我们，这个非阿贝尔单群无法通过任何阿贝尔根式扩张来构造，它是“本质非交换的扭结”——就像一条拧死了的麻绳，你无法用加减乘除和开方（阿贝尔运算）去“摊平”它。非阿贝尔单群（如 A5 ），不像拧了的麻绳，更像一块不可切割的金刚石——它没有"纹理"（没有非平凡正规子群），你根本无法沿着任何方向把它分解。而非阿贝尔单群的问题不在于"缠绕"，而在于根本没有可以缠绕的阿贝尔骨架——它是不可分解的、本质非交换的。

三、A5群分解

本质上，伽罗瓦理论是检查一个复杂的机器能否被拆分成一系列（即使有内部相位缠绕的）阿贝尔齿轮组。伽罗瓦理论将根式可解性转化为检查伽罗瓦群是否具备可解列（Abelian正规因子链）。这等价于检验一台复杂机器能否被拆分成一系列阿贝尔齿轮组——即使齿轮内部存在非平凡的相位缠绕（H2 非零的中心扩张，如 C4,Q8 ）也无妨，因为根式运算天然兼容这种缠绕；只有当合成列的最终齿轮出现非阿贝尔单群（如 A5 ）时，才意味着存在无法用根式摊平的本质纠缠，方程无根式解。A5 的不可解性由其换位子子群（导群） 决定，[A5,A5]=A5（完美闭环），如果合成列中出现A5 ，这意味着在拆解机器的最后一步，你遇到了一个内部没有任何“螺丝孔”的实心钢球。

3.1、A5群元表示矩阵的张量积

A5​ 的非阿贝尔性（无正规子群）意味着不存在"中间不变子空间"——张量积必须完全破碎为不可约直和，没有残余。

A5​ 作为 (2,3,5) 三角群，可由两个元素最小生成：A5​=⟨a,b∣a2=b3=(ab)5=e⟩，a 对应2阶旋转（180°，通过对边中点轴），b 对应3阶旋转（120°，通过对面心轴），ab 对应5阶旋转（72°，通过对顶点轴）。

生成元自由度：尽管 A5​ 有60个元素，其全部群结构仅由"一个2阶元"和"一个3阶元"的交互约束所决定。这种极简的生成关系，正是它能在低维空间（如 R3 ）中被"实现"为几何旋转群的根本原因。

共轭类自由度：A5​ 有 5个共轭类，5个"内禀方向"：

A5群（60阶交错群）有 5 个共轭类，因此有 5 个不可约表示。所有不可约表示的维数平方和为1²+3²+3²+4²+5²=60，匹配A5的群阶。所以其维数di​分别是：1, 3, 3, 4, 5，即A5群的群元表示矩阵分别可以用一维表示、三维表示、三维共轭表示‌、四维表示、五维表示。‌一维平凡表示‌群元映射为1，是任意群都具备的基础表示；三维几何表示‌对应正二十面体的三维旋转矩阵表示，是A5最直观的忠实表示；‌三维共轭表示‌是上述3维表示的对偶版本，与前者不等价；‌四维不可约表示‌由5元集合上的置换表示约化得到，去掉1维平凡子表示后得到该4维表示；‌五维不可约表示‌可通过A5在其子群上的诱导表示构造得到。

这几种表示不仅仅是数字的巧合，它们构成了一个严密的深刻的内在联系。A5​的1, 3, 3, 4, 5维表示，分别是它在“标量”、“三维空间旋转”、“四维旋量/四元数”、“五个对象的置换”中的自然投影；它们通过PSL(2,5)的代数结构、SU(2)的覆盖关系以及E8​的 McKay 对应，被编织成一个跨越离散与连续、几何与代数的统一网络。

在群表示论中，将两个表示通过张量积（Tensor Product）组合，然后将其分解为不可约表示的直和：d1⊗d2=1⊕2⊕3，两个基础对称的复合作用，拆成一组基础对称的线性叠加。

对于 A5群，分解的本质是“一个d1×d2维的复合系统，在A5​的对称性下，会分裂成哪些独立的子系统？” A5群的5 个不可约表示的维度分别为 1,3,3′,4,5（其中 3 和 3′ 互为复共轭，但在实数域上同构）。每个不可约表示都对应一个“特征标”【即矩阵的迹χ(g)χ(g)，特征标的值决定了表示所在的“数域”（Q还是Q(√5)）】。张量积的特征标等于原特征标的乘积χR1⊗R2(g)=χR1(g)⋅χR2(g)，然后利用A5群特征标表上的正交性关系，可以将这个乘积特征标分解成已知不可约特征标的整数线性组合。

• 1⊗d=d，就像在量子力学中，将一个态与一个不变标量相乘，态的性质不会改变。

• 3⊗3=1⊕3⊕5，这是最经典的几何分解，对应正二十面体在三维空间中的二阶张量（如应力张量、惯量张量）。1 (迹部分)：对应张量的迹 Tr(T)，在正二十面体对称下，这是一个不变量（标量）；3 (反对称部分)：对应张量的反对称部分 Tij−Tji，在三维空间中，反对称二阶张量同构于矢量（通过叉积/霍奇对偶），因此它又变回了一个 3 维矢量表示；5 (无迹对称部分)：对应张量的对称无迹部分 Tij+Tji−(2/3)δijTr(T)，它有 5 个独立分量，正好对应 5 维表示。

• 3⊗4=3⊕4⊕5，这个分解揭示了 3 维几何空间与 4 维旋量/置换空间之间的深刻联系。这个公式说明，4 维表示可以看作是“3 维几何”与“某种内部自由度”的结合；在代数上， A5≅PSL(2,5)，3 维表示对应 PSL(2,5)在实三维空间的伴随作用，4 维表示对应其在 F_5^2 上的作用。这个张量积分解实际上是李代数表示论中 sl(2)与更高阶表示耦合在有限群上的完美映射。

• 4⊗4=1⊕4⊕5⊕3⊕3′，4 维表示来自 A5在 5 个元素上的置换（迹零空间）。4⊗4 的分解展示了组合数学的对称性。1 ：置换矩阵的迹零空间中的“模长平方” ∑xi^2 ，这是一个不变量；4 ：类似于 3⊗3 中的反对称部分，但在 4 维空间中，它对应于外积 Λ2(4 的一部分；5 ：对称无迹部分；3⊕3′：这是最有趣的部分，在 5 个元素的置换中，出现了复共轭的 3 维表示，这说明 4 维置换空间内部隐藏着正二十面体的手性（左右手）结构。

• 5⊗5=1⊕4⊕5⊕5⊕5⊕3⊕3′，5 维表示来自 A5​ 在 6 个 Sylow-5 子群上的置换。出现了三个 5 维表示，这说明 5 维空间的二阶张量极其丰富；同样出现了 3⊕3′，这证明了 A5​ 的所有高维表示，最终都可以“向下兼容”到最基础的 3 维几何表示，3 维表示是 A5的“基因”。

表示的“乘法表”封闭性：这些公式表明，A5的表示集在张量积运算下是闭合的。无论你怎么拿两个表示做乘法，结果都逃不出这五个基本表示的组合。这构成了一个融合代数（Fusion Algebra）。自同构的体现：注意看，3 和 3ˉ 在很多公式（如 3⊗3 和 3⊗3ˉ）中表现完全不同。这说明它们是不可互换的，但在包含 4 或 5的某些公式里（如 3⊗4），它们又同时出现，体现了群外自同构对表示的配对作用。与几何/物理的联系：这种分解方式与正二十面体的对称性密切相关。在物理上，这类似于二十面体群的CG系数，常被用于构造具有二十面体对称性的势能函数或量子系统。例如，3⊗3=1⊕3⊕5告诉我们，两个二十面体矢量耦合，可以形成标量（1）、矢量（3）和二阶对称张量（5）。

A5​ 的张量积分解，就是正二十面体的几何对称性在多维空间中的“乘法表”。它告诉我们，无论空间多么高维，在 A5的审视下，万物皆可还原为 1, 3, 4, 5 这四种基本形态。不可约性是“基本粒子”：张量积就像把两个粒子放在一起，它们相互作用后，会衰变/分裂成几个稳定的“基本粒子”（不可约表示）。1,3,4,5就是 A5宇宙的“基本粒子”。对称性的层级：为什么 3⊗3里没有 4？因为正二十面体的三维旋转对称性，不足以在二阶张量中“支撑”起一个 4 维的不变子空间，维度的匹配是极其严苛的代数约束。通向李群的桥梁：通过连续群 SO(3)，容易知道3⊗3=1⊕3⊕5完全一样， A5 作为 SO(3) 的子群，继承了它的张量积分解规则，但“截断”了更高维度的表示（比如 SO(3)中会有 7 维、9 维表示，但在 A5 中它们被约化成了 1,3,4,5 的组合）。这些张量积中的特定不变子空间（即如何具体构造出右边的1、3等）通过Clebsch-Gordan系数找出来。

3.2、A5的守恒量

A5群的张量积分解d1 ⊗ d2 = ⨁ n_i · d_i的本质，是通过对称群的作用，将一个复杂的乘法结构强制“对角化”或“谱分解”为简单的加法结构。这与伽罗瓦分解的核心精神——通过研究对称性的“乘法”结构来理解其“加法”的谱分解，本质是一致的。

【结构常数不变性的守恒律】“乘法→加法”分解范式：⊗ → ⊕，A5子群张量积前后表示的维数乘积，等于直和分解后所有不可约表示维数的和；朗兰兹纲领里伽罗瓦表示的L函数乘积，等于对应自守表示的L函数乘积，都是“乘法操作的总量守恒，通过加法拆分完整保留全部信息”。这个守恒律体现为结构常数的不变性，它展示了复杂的“乘法”结构（张量积）如何由简单的“加法”结构（直和）构成。守恒量体现为结构常数。在分解R1 ⊗ R2 = Σ N_{R1,R2}^R R中，系数N_{R1,R2}^R是绝对固定的。它们决定了“乘法”复合的结果，是范畴论层面的守恒。在A5群的表示范畴中，张量积分解R1 ⊗ R2 = Σ N_{R1,R2}^R R中的整数系数N_{R1,R2}^R，就是这个范畴的“结构常数”。这些常数是绝对固定的，它们不依赖于我们如何计算或在哪一个具体的数学结构中实现这个范畴。从这个角度看，|Gal|⋅[K:F]=const是域论层面的守恒，而N_{R1,R2}^R的不变性是范畴论层面更深刻的守恒。A5群张量积分解的结构常数N_{R1,R2}^R，精确地编码了以A5为伽罗瓦群的扩张中，那些由特定不变量（对应于表示R1,R2）生成的中间域，是如何通过伽罗瓦对应与子群结构关联起来的。⊗→⊕的每一步“分裂”，都对应着在伽罗瓦格中找到一个更精细的“子域”结构，而整个分裂的可能性与方式，都受到|H| × [K:F] = 60这一根本守恒律的约束。

A5作为最小的非阿贝尔单群，其子群结构是明确的。它的子群阶数只能是60的因数：1, 2, 3, 4, 5, 6, 10, 12, 15, 20, 30, 60。根据守恒律 |H| × [K:F] = 60，我们可以列出部分子群 H 与对应的中间域扩张次数 [K:F] 的关系：

| 子群 H (部分) | 阶数 | 对应的中间域 K 满足 [K:F] = 60 / |H| |

| 平凡子群 {e} | 1 | 60 (对应整个扩域 L) |

| Sylow 5-子群 (循环群 C5) | 5 | 12 |

| Sylow 3-子群 (循环群 C3) | 3 | 20 |

| Sylow 2-子群 (克莱因四元群 V4) | 4 | 15 |

| A4 (交错群) | 12 | 5 |

| D10 (二面体群, 10阶) | 10 | 6 |

| A5 (自身) | 60 | 1 (对应基域 F) |

这个表格清晰地展示了“对偶格守恒量”的具体面貌：子群的“大小”（阶数）与它所固定的中间域的“自由度”（扩张次数）成反比，其乘积恒为60。

支持单位：