math-skill 1.0.0 → 2.0.1

package/skills/symmetry-invariance/SKILL.md

@@ -1,358 +1,137 @@
----
-name: symmetry-invariance
-description: |
-  科研模式触发：群论分析、不变量计算、Galois理论、Noether定理、轨道分类、商空间推理、对称性破缺分析。
-  English (Research mode): Trigger for group theory analysis, invariant computation, Galois theory, Noether's theorem, orbit classification, quotient space reasoning, symmetry breaking analysis.
-
-  生活模式触发：寻找变化中的规律、识别混乱中不变的东西、简化复杂局面、判断表面不同的事物本质是否相同、发现"规律被打破"的关键时刻、理解问题内部结构是否注定复杂。
-  English (Life mode): Trigger for finding patterns amidst change, recognizing what stays constant amid chaos, simplifying complex situations, judging whether superficially different things are fundamentally the same, noticing when "patterns break" as key moments, understanding whether a problem's internal structure makes it inherently complex.
----
-
-# ⚛️ 对称与不变性
-
-> "寻找事物在变换下保持不变的性质，揭示其内在规律。"
-> "Finding the properties that remain unchanged under transformations, revealing their underlying laws."
->
-> —— 群论、不变量理论、Noether 定理
-> —— Group Theory, Invariant Theory, Noether's Theorem
->
-> Sophus Lie 想打造一把屠龙刀——解通微分方程。虽然未能屠尽所有的龙，但这把刀的锻造工艺（李群-李代数对应关系）流传了下来。后来的人发现，这把刀用来切菜（线性化非线性问题）、用来雕刻（描述物理对称性）、用来盖房子（机器人状态估计），简直是神兵利器。数学最迷人的地方就在于：为解决特定问题而发明的工具，最终在完全不同的领域展现出远超初衷的价值。
-> Sophus Lie wanted to forge a dragon-slaying sword — solving all differential equations. Though it couldn't slay every dragon, the forging technique (Lie group–Lie algebra correspondence) endured. Later generations found this sword perfect for slicing vegetables (linearizing nonlinear problems), sculpting (describing physical symmetries), and building houses (robot state estimation). The most fascinating aspect of mathematics: tools invented for specific problems eventually reveal value far beyond their original purpose in entirely different domains.
-
-## 核心原则 / Core Principle
-
-**在变化中寻找不变——这是理解复杂系统的捷径。对称性不是'好看'，而是系统深层结构的体现。每一个对称性都对应一个守恒量（Noether 定理），每一个不变量都是简化问题的钥匙。**
-
-**Finding invariants amidst change is the shortcut to understanding complex systems. Symmetry is not just 'aesthetic'—it reflects the deep structure of a system. Every symmetry corresponds to a conserved quantity (Noether's Theorem), and every invariant is a key to simplifying problems.**
-
-> **数学形式化 / Mathematical Formalization**（科研模式参考）
->
-> 群 **G** 作用在集合 **X** 上，通过映射 φ: G×X→X（满足 φ(e,x)=x, φ(g,φ(h,x))=φ(gh,x)）。
->
-> **不变量**是函数 f: X→Y 使得 f(g·x)=f(x) 对所有 g∈G 成立。不变量把 X 的丰富结构压缩为对 G "看不见"的信息——它只区分轨道，不区分同一轨道内的元素。形式化：f 是 G-不变量 ⇔ f: X/G → Y 为商空间上的函数。
->
-> **轨道** O(x)={g·x : g∈G} 将 X 划分为等价类。同一轨道中的元素在 G 的视角下不可区分。等价关系：x~y ⇔ ∃g∈G 使得 y=g·x。X/~ = X/G。
->
-> **商空间** X/G 由所有轨道构成。分类的本质是在 X/G 上工作；寻找不变量的本质是找到在每条轨道上取常值的函数。
->
-> **稳定子** Stab(x)={g∈G : g·x=x} 是 G 的子群，衡量 x 的局部对称程度。|O(x)|=|G|/|Stab(x)|——轨道越大，对称越少。
->
-> A group **G** acts on a set **X** via φ: G×X→X (satisfying φ(e,x)=x, φ(g,φ(h,x))=φ(gh,x)). An **invariant** is a function f: X→Y with f(g·x)=f(x) for all g∈G—it compresses X's structure into information invisible to G, distinguishing orbits but not elements within an orbit. Formally: f is G-invariant ⇔ f: X/G → Y is a function on the quotient. The **orbit** O(x)={g·x : g∈G} partitions X via x~y ⇔ ∃g∈G with y=g·x. X/~ = X/G. The **quotient** X/G consists of all orbits. Classification amounts to working on X/G; finding invariants amounts to finding functions constant on each orbit. The **stabilizer** Stab(x)={g∈G : g·x=x} is a subgroup of G, measuring local symmetry: |O(x)|=|G|/|Stab(x)|—larger orbit = less symmetry.
->
-> 核心直觉：**不变量 = 轨径上的常值函数 = 商空间 X/G 上的函数**。一个完备的不变量集能将 X/G 嵌入到某个更简单的空间中，从而实现完全分类。
->
-> Core intuition: **Invariant = function constant on orbits = function on the quotient X/G**. A complete set of invariants embeds X/G into a simpler space, achieving full classification.
->
-> 对称与不变性的层次：
-> - **几何对称**：反射、旋转、平移对称——群为正交群 O(n)、欧氏群 E(n)。不变量：距离、面积、体积（等距变换下）；角度（共形变换下）
-> - **代数对称**：方程根的置换对称（Galois 理论）——群为 Gal(f)⊂S_n。不变量：初等对称多项式、判别式
-> - **物理对称**：时空对称 → 守恒律（Noether 定理）——群为 Lie 群（如 SO(3)、Poincaré 群）。不变量：能量、动量、角动量
-> - **逻辑不变**：命题逻辑结构在变换下的保持——群为自同构群 Aut(结构)。不变量：真值函数、推理有效性
-> - **结构不变**：系统在演化中保持的本质特征——同构（代数结构不变）、同伦等价（拓扑结构不变）
->
-> Reynolds 算子：对有限群 G，R(f)=1/|G| Σ_{g∈G} f(g·x)。R(f) 是 G-不变量且是 f 的"平均化"。R 是投影算子：R²=R，R 的像正是所有不变量。
->
-> Burnside 引理：|X/G|=1/|G| Σ_{g∈G} |Fix(g)|，计数不同轨道数。Fix(g)={x∈X : g·x=x} 是 g 的不动点集。
->
-> Lie 代数生成元：T_a·f=0（f 在 T_a 方向上不变）是微分方程，解之即得不变量。
->
-> Galois 理论：Gal(f) 是多项式 f(x)=0 的根的置换群。方程可用根式求解 ⇔ Gal(f) 是可解群。
->
-> Noether 定理：连续对称性 → 守恒律。若作用量 S=∫L dt 在变换 g∈G 下不变，则存在守恒流 Jμ 满足 ∂_μ Jμ=0。
->
-> > 详细数学依据见 `original-texts.md`
-
-## 不适用场景 / When NOT to Use
-
-- **[科研] 系统完全不对称且无规律**——没有对称性可寻找，无群作用可利用 / Systems with no discernible symmetry or pattern—no group action to exploit
-- **[科研] 需要精确数值解**——对称性通常给出结构信息而非具体数值，不变量告诉你"什么相等"但不告诉你"等于多少" / When precise numerical answers are required—symmetry gives structural info, not quantitative values; invariants tell you "what is equal" but not "equal to what"
-- **[科研/生活] 对称破缺是核心机制**（如相变、自发对称破缺）——这时关注的是对称性的破坏而非保持，应转向分析破缺模式而非寻找不变量 / When symmetry breaking itself is the central mechanism—focus shifts to how symmetry is violated, not preserved; analyze breaking pattern G→H instead of invariants
-- **[通用] 问题规模极小**——对称性分析的开销（寻找群、验证公理、计算 Reynolds 算子）可能超过直接求解 / Tiny problems where the overhead of symmetry analysis (finding group, verifying axioms, computing Reynolds operator) exceeds brute-force solving
-- **[科研] 群结构过于复杂**——当 |G| 极大或结构难以确定时，商空间 X/G 不比 X 更简单，不变量本身可能比原问题更复杂 / When |G| is enormous or hard to determine, X/G is no simpler than X; invariants may be more complex than the original problem
-- **[生活] 强行寻找不存在的不变规律**——并非所有变化都有规律，有些现象本质上是随机或混沌的，强行套用"不变量"会扭曲理解 / Forcing patterns where none exist—some phenomena are genuinely random or chaotic; imposing "invariants" distorts understanding
-- **[生活] 忽视规律被打破的情况**——过于信赖找到的规律，不关注例外和反例，导致对系统的理解片面 / Over-trusting discovered patterns while ignoring exceptions and counterexamples, leading to incomplete understanding
-- **[生活] 把表面相似当作本质相同**——不同轨道上的对象可能有相似的表面特征，但本质不同，不可用同一套方法处理 / Conflating superficial similarity with fundamental equivalence—objects on different orbits may look alike but are fundamentally different
-
-## 何时使用 / When to Use
-
-### 科研触发条件 / Research Triggers
-
-- 面对一个复杂系统，想要找到简化线索 / Facing a complex system, seeking simplification clues
-- 需要分类或识别研究对象（利用对称性分类） / Needing to classify objects via symmetry—their orbits in X/G
-- 寻找问题中的守恒量或不变量 / Seeking conserved quantities or invariants—functions constant on orbits
-- 在科研中发现新的定理或规律（对称性指引） / Discovering new theorems guided by symmetry
-- 需要减少变量或降低维度（商空间、基本域） / Needing dimension reduction via quotient spaces or fundamental domains
-- 需要判断方程的可解性（Galois 理论） / Judging solvability of equations via Galois theory
-- 需要计数对称构型（Burnside 引理、Pólya 计数） / Counting symmetric configurations via Burnside's lemma or Pólya enumeration
-- 需要从守恒律反推可能的对称性（逆 Noether 问题） / Inferring possible symmetries from known conservation laws (inverse Noether problem)
-
-### 生活触发条件 / Life Triggers
-
-- 需要识别模式、预测变化趋势 / Identifying patterns, predicting trends
-- 想要理解一个系统的深层结构而非表面行为 / Wanting deep structure, not surface behavior
-- 需要简化复杂局面，从混乱中找到关键线索 / Simplifying complex situations, finding key clues amidst chaos
-- 需要判断不同事物是否本质同类 / Judging whether different things are fundamentally the same category
-- 发现规律似乎被打破，想要理解这意味着什么 / Noticing patterns seem to break, wanting to understand what it means
-- 面对一个似乎注定复杂的问题，想知道是否有更简单的解法 / Facing an inherently complex problem, wondering if a simpler approach exists
-
-## 方法流程 / Method
-
-### 第一步：识别可能的变换 / Identify Possible Transformations
-
-#### 科研模式 / Research Mode
-
-列出系统可能经历的所有变换，组织为候选对称群，验证群性质：
-- **空间变换**：平移、旋转、反射、缩放 → 可能构成欧氏群 E(n)、正交群 O(n)、相似群
-- **时间变换**：时间平移、时间反演 → 可能构成 R（平移）或 Z₂（反演）或其直积
-- **代数变换**：变量替换、参数变换 → 置换群 S_n、线性群 GL(n)、特殊线性群 SL(n)
-- **逻辑变换**：命题的否定、等价替换 → Z₂、更一般的自同构群 Aut(结构)
-- **规范变换**：物理中的 U(1)、SU(2)、SU(3) → Lie 群，需配合 Lie 代数分析
-
-对每个候选群验证四条公理：封闭性（gh∈G）、结合律（(gh)k=g(hk)）、单位元（e∈G）、逆元（g⁻¹∈G）。若不满足，需识别它究竟是什么结构（半群？广群？），不能盲目当作群使用。
-
-常见陷阱：反射变换集看似是群，但两次反射 = 旋转（封闭性成立）；投影变换集不满足逆元（投影不可逆，不是群）。验证是强制步骤，不可跳过。
-
-#### 生活模式 / Life Mode
-
-**什么东西在变化？变化的模式是什么——是循环往复、线性推进、还是随机波动？找出规律是第一步。**
-
-What is changing? What is the pattern of change—cyclical, linear progression, or random fluctuation? Finding the pattern is the first step.
-
-#### 共通要点 / Shared Essentials
-
-识别"变化"是分析的起点——无论是否需要形式化的群结构，清楚知道"什么东西在变、怎么变"是不可或缺的。
-
-Organize candidate transformations as potential symmetry groups; verify group axioms: closure (gh∈G), associativity ((gh)k=g(hk)), identity (e∈G), inverse (g⁻¹∈G). If axioms fail, identify the actual structure (semigroup? magma?)—do not treat it as a group. Common pitfall: reflections compose to rotations (closure holds); projections lack inverses (not a group). Verification is mandatory. Space → E(n), O(n); time → R or Z₂; algebraic → S_n, GL(n), SL(n); logical → Z₂, Aut; gauge → U(1), SU(2), SU(3) as Lie groups.
-
-### 第二步：寻找不变量 / Find Invariants
-
-#### 科研模式 / Research Mode
-
-对于群 G 作用在 X 上，寻找函数 f 使得 f(g·x)=f(x) 对所有 g∈G。这是不变量理论的核心计算问题。数学方法：
-
-**有限群的方法**：
-- **Reynolds 算子**：对有限群 G，R(f)=1/|G| Σ_{g∈G} f(g·x)。R(f) 是 G-不变量且是 f 的"平均化"。R 是投影算子：R²=R，R 的像正是所有不变量。若 f 已是不变量，则 R(f)=f。Reynolds 算子是最通用的不变量构造方法——任意函数经平均化后自动成为不变量。
-- **Burnside 引理**：|X/G|=1/|G| Σ_{g∈G} |Fix(g)|，计数不同轨道数（即真正不同的构型数）。Fix(g)={x∈X : g·x=x} 是 g 的不动点集。这是"有多少真正不同的对象"这一问题的标准答案。
-- **初等不变量构造**：对 S_n 作用于 R^n，初等对称多项式 e_k=Σ_{i₁<…<i_k} x_{i₁}…x_{i_k} 构成完备不变量集——任意 S_n-不变多项式都可表示为 e₁,…,e_n 的多项式（对称多项式基本定理）。
-
-**连续群（Lie 群）的方法**：
-- 用 Lie 代数的生成元 T_a 作用：T_a·f=0（f 在 T_a 方向上不变）是微分方程，解之即得不变量。每个生成元给出一个线性约束 T_a·f=0，|dim G| 个约束 → f 的自由度减少。
-- Killing 向量场方法：找出保持度量不变的向量场，积分即得不变坐标。例：SO(3) 作用于 R³，Killing 向量场对应旋转，积分得 r=√(x²+y²+z²) 为 SO(3)-不变量。
-
-**不动点分析**：寻找 X 中满足 g·x=x 的点，稳定子 Stab(x)={g∈G : g·x=x} 揭示 x 的局部对称程度。
-
-Common invariants by domain:
-- 几何：长度（等距变换下）、角度（共形变换下）、欧拉示性数（拓扑变换下）
-- 物理：能量（时间平移对称）、动量（空间平移对称）、角动量（旋转对称）
-- 代数：多项式判别式、矩阵的行列式和迹、特征多项式的系数
-- 组合：轨道数（Burnside 引理）、等价类大小（轨道-稳定子定理）
-
-#### 生活模式 / Life Mode
-
-**不管怎么变，什么是不变的？——找到不变的东西就是找到问题的核心。比如：人际关系变了但信任模式不变；市场波动但供需规律不变。**
-
-No matter how things change, what stays the same? Finding the invariant is finding the core of the problem. For example: relationships change but trust patterns stay; markets fluctuate but supply-demand laws persist.
-
-#### 共通要点 / Shared Essentials
-
-不变量的本质是"在所有变化中保持不变的性质"——无论是否用数学语言描述，这个核心思想不变。
-
-For G acting on X, find f with f(g·x)=f(x). Finite groups: Reynolds operator R(f)=1/|G| Σ f(g·x) (projection onto invariants, R²=R); Burnside's lemma |X/G|=1/|G| Σ |Fix(g)| for orbit counting; elementary symmetric polynomials e_k form a complete invariant set for S_n on R^n (fundamental theorem of symmetric polynomials). Continuous groups: solve T_a·f=0 via Lie algebra generators (each generator reduces one degree of freedom); Killing vector fields yield invariant coordinates (e.g., r=√(x²+y²+z²) for SO(3) on R³). Fixed-point analysis: Stab(x)={g∈G : g·x=x} reveals local symmetry degree.
-
-### 第三步：利用不变量简化问题 / Use Invariants to Simplify
-
-#### 科研模式 / Research Mode
-
-不变量是简化问题的利器，三种主要策略：
-
-- **商空间推理**：在 X/G 上工作而非 X。原来需要处理 |X| 个对象，现在只需处理 |X/G| 个轨道。问题维度大幅降低。例如：S_n 作用于 R^n，商空间由初等对称多项式参数化，n 个变量减为 n 个不变量（但独立约束减少）。又如：晶体学中，所有 230 种空间群对应 230 种不同的 X/G 结构。
-- **基本域**：找到 X 的子集 D 使得每条轨道恰与 D 交于一点。只需分析 D，结果自动推广到全 X。例如：O(2) 作用于平面，基本域是半平面；SO(3) 作用于球面，基本域是球面三角形；SL(2,Z) 作用于上半平面，基本域由 |z|≥1, |Re(z)|≤1/2 定义。
-- **变量缩减**：若 f 不变，用它替代被约束的变量。例如：能量守恒 → 减少一个动力学变量（从 n+1 个变量到 n 个变量 + 1 个常数约束）；角动量守恒 → 在角空间中只关心径向运动；中心力场中 L²=常数 → 约化为一维径向方程。
-
-#### 生活模式 / Life Mode
-
-**抓住不变量就能简化问题——不再被表面变化迷惑，关注真正重要的核心。从'关注每个细节'升级为'关注核心模式'。**
-
-Grasping invariants simplifies problems—no longer distracted by surface changes, focusing on the truly essential core. Upgrade from "tracking every detail" to "tracking core patterns."
-
-#### 共通要点 / Shared Essentials
-
-不变量简化问题的本质是：识别出哪些信息是冗余的（被变化所掩盖），哪些信息是关键的（变化中保持不变），然后只关注关键信息。
-
-Invariant-driven simplification: (1) work on quotient X/G instead of X—|X/G| orbits vs |X| elements; 230 space groups give 230 different X/G structures in crystallography. (2) fundamental domain D where each orbit meets D exactly once—O(2) on plane: half-plane; SO(3) on sphere: spherical triangle; SL(2,Z) on upper half-plane: |z|≥1, |Re(z)|≤1/2. (3) replace constrained variables by invariants: energy conservation reduces n+1 variables to n+constant; angular momentum L²=constant reduces central force problem to 1D radial equation.
-
-### 第四步：利用对称性分类 / Use Symmetry for Classification
-
-#### 科研模式 / Research Mode
-
-**轨道-稳定子定理**：|O(x)|=|G|/|Stab(x)|。轨道大小揭示对象的对称程度——稳定子越大，对象越"对称"，轨道越小。完全对称的对象（Stab(x)=G）的轨道是单点 {x}。
-
-根据对称群的不同，对象分为不同的等价类（轨道）。同一轨道中的对象共享所有 G-不变量的值。分类的关键问题：不变量是否完备？即：f(x)=f(y) 能否推出 x 与 y 在同一轨道上？若能，则不变量集实现了完全分类。
-
-**不完备不变量的后果**：若不变量集不完备，则存在"不同轨道上的对象具有相同不变量值"的情况——仅凭不变量无法区分它们。此时需引入更多不变量或使用更精细的群。
-
-**完备不变量的经典例子**：
-- S_n 作用于 R^n：初等对称多项式 e₁,…,e_n 构成完备不变量集
-- O(n) 作用于 R^n：距离函数 r²=Σ x_i² 是完备不变量（对 n=1）
-- SL(2,C) 作用于二次型：判别式 Δ=b²-4ac 是完备不变量
-
-#### 生活模式 / Life Mode
-
-**表面不同的东西本质上是否同类？——如果它们在所有关键不变量上相同，那就是同一类问题，可以用同一套方法解决。**
-
-Are superficially different things fundamentally the same category? If they match on all key invariants, they belong to the same class and can be solved with the same approach.
-
-#### 共通要点 / Shared Essentials
-
-分类的本质是：用不变量代替表象，将看似不同的对象归入本质相同的类别。
-
-Orbit-stabilizer theorem: |O(x)|=|G|/|Stab(x)|. Larger stabilizer = more symmetric object = smaller orbit. Fully symmetric objects (Stab(x)=G) have singleton orbits {x}. Classification via orbits: objects in the same orbit share all G-invariant values. Key question: is the invariant set complete? i.e., does f(x)=f(y) imply x and y are in the same orbit? If yes, invariants achieve full classification. Consequence of incomplete invariants: different orbits may have the same invariant values—more invariants or finer groups needed. Classical complete invariant examples: S_n on R^n → elementary symmetric polynomials e₁,…,e_n; O(n) on R^n → r²=Σ x_i² (for n=1); SL(2,C) on quadratic forms → discriminant Δ=b²-4ac.
-
-### 第五步：检查对称性破缺 / Check for Symmetry Breaking
-
-#### 科研模式 / Research Mode
-
-理解系统的关键有时不在对称性本身，而在对称性何时、以何种方式被打破：
-
-- **自发对称破缺**：方程有对称性 G，但解只满足 G 的子群 H⊂G。真空（基态）选择了特定方向，打破 G→H。
-  - **Goldstone 定理**：连续对称 G→H 破缺产生 dim(G/H) 个无质量 Goldstone 模。这些模对应被破缺方向上的"软"涨落。
-  - 例：铁磁体——SO(3)→SO(2)，破缺产生 2 个 Goldstone 模（自旋波）
-  - 例：超流体——U(1)→{e}，破缺产生 1 个 Goldstone 模（声子）
-- **显式对称破缺**：方程本身不满足 G，对称性被外部力破坏。微扰项破坏对称性。
-  - 例：外磁场下的铁磁体——SO(2) 对称被进一步破坏
-  - 例：质量项破坏手征对称——夸克质量使 SU(2)_L×SU(2)_R → SU(2)_V
-- **分析要点**：识别破缺模式 G→H，确定 H 的结构，计算 Goldstone 模数 dim(G/H)，评估破缺是否改变物理可观测量的定性行为。特别注意：破缺后的有效理论仍需在 H 下不变。
-
-#### 生活模式 / Life Mode
-
-**有时候规律被打破才是关键——不是所有事情都遵循不变量。关注什么时候、以什么方式规律被打破，这可能比规律本身更重要。**
-
-Sometimes the breaking of a pattern is the key—not everything follows invariants. Pay attention to when and how patterns break; this may matter more than the patterns themselves.
-
-#### 共通要点 / Shared Essentials
-
-对称性破缺提醒我们：不变量不是万能的——系统可能在某些条件下打破规律，而打破本身携带着比规律更重要的信息。
-
-Spontaneous breaking: equations have symmetry G, solutions only H⊂G. Vacuum selects a direction, breaking G→H. Goldstone theorem: continuous G→H breaking yields dim(G/H) massless Goldstone modes (soft fluctuations along broken directions). Examples: ferromagnet—SO(3)→SO(2) yields 2 Goldstone modes (spin waves); superfluid—U(1)→{e} yields 1 Goldstone mode (phonon). Explicit breaking: equations lack symmetry G due to external perturbation. Examples: ferromagnet in external field—SO(2) further broken; quark masses break chiral symmetry SU(2)_L×SU(2)_R → SU(2)_V. Key analysis: identify breaking pattern G→H, compute dim(G/H), assess qualitative impact. Note: the effective theory after breaking must still be H-invariant.
-
-### 第六步：代数对称分析 / Algebraic Symmetry Analysis
-
-#### 科研模式 / Research Mode
-
-**Galois 理论**：多项式方程 f(x)=0 的根集上，Gal(f) 是根的置换群（保持所有代数关系不变的置换构成）。
-
-核心判断：**方程可用根式求解 ⇔ Gal(f) 是可解群**（存在子群链 G=G₀⊃G₁⊃…⊃G_k={e}，每步 G_i/G_{i+1} 为循环群）。
-
-可解群的直觉：每一步商群 G_i/G_{i+1} 对应一次"简单的"根式提取（开方），整个链对应逐步求解的过程。不可解群意味着存在"不可绕过的复杂性"。
-
-- 5 次及以上一般方程：Gal(f)=S_5，S_5 不可解（A_5 是最小非可解单群）→ 不可用根式求解
-- 4 次方程：Gal(f)⊂S_4，S_4 可解（链 S₄⊃A₄⊃V₄⊃Z₂⊃{e}）→ 可用根式求解
-- 圆可分多项式：Gal(f)⊂(Z/pZ)× 为循环群 → 可用根式求解
-- x⁵+x+1=0：Gal(f)=S_5 → 不可用根式求解（具体反例）
-
-Galois 理论展示了代数对称分析的范式：**问题结构 → 置换群 → 群的可解性 → 问题的可解性**。群论从"对称性描述工具"升级为"可解性判断标准"。
-
-#### 生活模式 / Life Mode
-
-**这个问题的内部结构是否决定了它能否被简单解决？——有些问题注定复杂，不是因为方法不够好，而是问题本身的结构不允许简单解法。**
-
-Does the internal structure of this problem determine whether it can be simply solved? Some problems are inherently complex—not because methods are inadequate, but because the problem's own structure forbids simple solutions.
-
-#### 共通要点 / Shared Essentials
-
-问题的可解性取决于问题的内部对称结构——这是一条深刻的元认知原则：认清问题本质比寻找更好方法更重要。
-
-Galois theory: Gal(f) permutes roots preserving algebraic relations. Solvability by radicals ⇔ Gal(f) is solvable (subnormal chain with cyclic quotients). Intuition: each quotient G_i/G_{i+1} corresponds to one "simple" radical extraction. Unsolvable groups mean "unavoidable complexity." Degree ≥5 general: Gal(f)=S_5, unsolvable (A_5 is smallest non-solvable simple group). Degree 4: S_4 solvable (chain S₄⊃A₄⊃V₄⊃Z₂⊃{e}). Cyclotomic: cyclic group, solvable. x⁵+x+1=0: Gal(f)=S_5, concrete unsolvable example. Paradigm: problem structure → permutation group → solvability of group → solvability of problem. Group theory upgrades from "symmetry description tool" to "solvability criterion."
-
-### 第七步：物理对称分析 / Physical Symmetry Analysis
-
-#### 科研模式 / Research Mode
-
-**Noether 定理**：连续对称性 → 守恒律。具体地，若作用量 S=∫L dt 在变换 g∈G 下不变，则存在守恒流 Jμ 满足 ∂_μ Jμ=0。这是物理学最深刻的定理之一——它建立了对称性与守恒律的精确对应。
-
-经典对应：
-- 时间平移（R 作用）→ 能量守恒：H=常数
-- 空间平移（R³ 作用）→ 动量守恒：p=常数向量
-- 旋转（SO(3) 作用）→ 角动量守恒：L=常数向量
-- 规范变换（U(1) 作用）→ 电荷守恒：Q=常数
-
-量子对应：对称群 G → Hilbert 空间上的酉表示 → 不可约表示分类能级 → Wigner-Eckart 定理简化矩阵元计算。对称性决定了选择规则：哪些跃迁被禁止（矩阵元为零），哪些被允许。
-
-物理对称分析的层次：
-- **经典力学**：Lagrangian/Hamiltonian 的对称 → Noether 守恒律 → 简化运动方程
-- **量子力学**：对称 → 选择规则 → 能级简并 → Wigner-Eckart
-- **场论**：规范对称 → 粒子分类 → 相互作用结构 → 标准模型 SU(3)×SU(2)×U(1)
-
-#### 生活模式 / Life Mode
-
-**生活中的守恒律——时间对称→珍惜当下的持续性；空间对称→公平原则；能量守恒→投入产出平衡。**
-
-Conservation laws in life: time symmetry → cherish the continuity of the present; space symmetry → fairness principle; energy conservation → input-output balance.
-
-#### 共通要点 / Shared Essentials
-
-对称性与守恒律的对应是普适的：无论系统是物理系统还是社会系统，对称性都意味着某种"守恒"——某种量在变化中保持不变。
-
-Noether's theorem: continuous symmetry of action S=∫L dt ⇒ conserved current Jμ with ∂_μ Jμ=0—the most profound theorem in physics, establishing the exact correspondence between symmetry and conservation. Time translation → energy H; space translation → momentum p; rotation → angular momentum L; gauge U(1) → charge Q. Quantum extension: symmetry G → unitary representation on Hilbert space → irreducible representations classify energy levels → Wigner-Eckart theorem → selection rules (which transitions are forbidden, which are allowed). Physical hierarchy: classical mechanics (Lagrangian symmetry → Noether → simplify equations), quantum mechanics (symmetry → selection rules → level degeneracy → Wigner-Eckart), field theory (gauge symmetry → particle classification → interaction structure → Standard Model SU(3)×SU(2)×U(1)).
-
-## 常见错误 / Common Errors
-
-| 错误 / Error | 数学批评 / Mathematical Critique | 正确做法 / Correct Approach | 标签 / Tag |
-|-------------|-------------------------------|---------------------------|-----------|
-| 忽视隐藏对称性 | 表面不对称，但深层结构有对称性，遗漏可导致不必要的复杂化 | 尝试不同表示（坐标变换、基底变换），寻找深层对称 | [科研] |
-| 混淆近似对称与精确对称 | 近似对称下的"守恒"只是近似成立，误差随时间积累 | 区分精确不变量和近似不变量，标注近似程度 | [科研] |
-| 对称性论证过度 | 不是所有问题都有对称性，强行引入对称性会得出错误结论 | 确认对称性确实存在再使用，验证群公理 | [科研] |
-| 忽视对称性破缺 | 对称破缺可能才是关键机制，遗漏破缺则误解系统行为 | 同时关注对称性和对称破缺，分析 G→H 模式 | [科研/生活] |
-| 把对称性当原因 | 对称性是描述性的约束，不一定是因果机制 | 区分描述（"系统满足对称 G"）和解释（"因为…所以满足 G"） | [科研/通用] |
-| 未验证群性质 | 候选变换集未必满足封闭性或逆元，不验证则后续推理全部建立在错误基础上 | 逐一验证四条群公理后再使用，不满足时识别实际结构 | [科研] |
-| 混淆轨道不变量与一般不变量 | f 在 O(x) 上取常值 ≠ f 在 X 上取常值；全局常值函数平凡且无信息 | 明确不变量是 G-不变的（在每条轨道上取常值），而非全局常值 | [科研] |
-| 忽视稳定子子群 | Stab(x) 含丰富信息，忽视则丢失局部对称和精细分类 | 用轨道-稳定子定理分析局部对称，不同稳定子 → 不同轨道类型 | [科研] |
-| 混淆离散与连续对称 | 离散群无 Reynolds 平均（|G| 可能无穷）；连续群需 Lie 代数而非逐元分析 | 离散群用 Burnside 引理计数；连续群用 Lie 代数生成元与 Noether 定理 | [科研] |
-| 强行寻找不存在的不变规律 | 并非所有变化都有规律，强行套用"不变量"会扭曲对系统的理解 | 承认随机性和混沌的存在，只在有证据支持时寻找不变量 | [生活] |
-| 忽视规律被打破的情况 | 过于信赖找到的规律，不关注例外和反例，导致对系统的理解片面 | 对每个不变量检查是否有反例，分析反例的原因和意义 | [生活] |
-| 把表面相似当作本质相同 | 不同轨道上的对象可能有相似的表面特征，但本质不同 | 用关键不变量区分本质是否相同，不依赖表面印象 | [生活] |
-
-## 操作规程 / Operating Procedure
-
-当本 skill 被触发时，首先确定模式：
-
-**模式选择器 / Mode Selector**：
-- **科研模式**：问题涉及群论、不变量计算、Galois 理论、Noether 定理、轨道分类、商空间推理、对称性破缺分析等正式数学结构
-- **生活模式**：问题涉及寻找变化中的规律、简化复杂局面、判断本质分类、发现规律破缺等日常认知场景
-
----
-
-### 科研模式输出格式 / Research Mode Output Format
-
-1. **变换清单**：列出所有可识别的变换 `[变换N]: [描述] [类型: 空间/时间/代数/逻辑/规范]`，组织为候选群，标注验证了哪些群公理（封闭性✓/✗, 结合律✓/✗, 单位元✓/✗, 逆元✓/✗）
-2. **不变量发现**：对每种群作用，标注 `[在群G下]: [不变量Y] 保持不变`；若为有限群，写出 Reynolds 算子形式 R(f)=1/|G| Σ f(g·x)；用 Burnside 引理计数轨道 |X/G|=1/|G| Σ |Fix(g)|
-3. **简化策略**：说明如何利用不变量简化问题 `[利用不变量Y]: [如何简化]`；标注是否在商空间 X/G 或基本域 D 上工作，估计维度缩减量
-4. **对称分类**：给出轨道-稳定子分析 `[对象x]: |O(x)|=[值], |Stab(x)|=[值]`，基于轨道的分类结果，评估不变量是否完备
-5. **对称破缺检查**：`[对称性Z]: [存在/破缺]，破缺方式: [自发/显式]`；若为连续破缺 G→H，标注 Goldstone 模数 dim(G/H)；标注破缺后的有效对称群 H
-6. **代数/物理对称**：若涉及方程求解，标注 Galois 群 Gal(f) 及其可解性（可解/不可解）和求解链结构；若涉及物理系统，标注 Noether 对应：`[对称群G]: [守恒律]`
-7. **结论**：明确写出利用对称性/不变性得出的结论，包括：发现了哪些不变量，实现了多少维度缩减，分类结果是什么
-
-**科研模式输出必须包含以上 7 项，不得只输出分析性文字而不给出结论。**
-
----
-
-### 生活模式输出格式 / Life Mode Output Format
-
-1. **[变化模式]:[描述]** — 什么在变化，变化的规律是什么（循环往复？线性推进？随机波动？）
-2. **[不变量]:[发现]** — 不管怎么变，什么始终不变（找到变化中恒定的核心）
-3. **[简化策略]:[方法]** — 如何利用不变量简化问题（从关注细节升级为关注核心模式）
-4. **[本质分类]:[判断]** — 表面不同的东西本质是否同类（关键不变量是否相同？）
-5. **[规律破缺]:[检查]** — 规律是否被打破？打破的方式是什么（打破可能比规律本身更重要）
-6. **[行动建议]:[步骤]** — 基于不变量和规律破缺的结论，明确下一步行动
-
-**生活模式输出必须包含以上 6 项，不得只输出分析性文字而不给出行动建议。**
-
-## 与其他 skill 的关系 / Relations to Other Skills
-
-- **变换思想**：对称性就是变换下的不变性——两个思想是一体两面
-- **抽象化思想**：不变量是最高层次的抽象——它独立于具体的表示
-- **建模思想**：物理模型的构建常常以对称性原理为指导
-- **公理化思想**：群论的公理体系是对称性的数学基础
-- **拓扑思想**：拓扑不变量（欧拉示性数、同伦群）是连续变换下的不变量
-- **算法思想**：群算法利用对称性加速计算（如 FFT 利用循环群结构）
-- **离散/组合思想**：Pólya 计数定理是 Burnside 引理的加权推广，用于枚举对称构型
+---
+name: symmetry-invariance
+description: |
+  触发：群论分析、不变量计算、Galois 理论、Noether 定理、轨道分类、商空间推理、对称性破缺分析；或为算法设计等变性/守恒量/不变结构（如 SO(3)/SE(3) 等变网络、热带半环）时调用。
+  English: Trigger for group theory analysis, invariant computation, Galois theory, Noether's theorem, orbit classification, quotient space reasoning, symmetry breaking; or designing equivariance/conservation/invariant structures (e.g. SO(3)/SE(3) equivariant nets, tropical semiring) for algorithms.
+---
+
+# ⚛️ 对称与不变性 / Symmetry & Invariance
+
+> "寻找事物在变换下保持不变的性质，揭示其内在规律。"
+> "Finding the properties that remain unchanged under transformations, revealing their underlying laws."
+>
+> —— 群论、不变量理论、Noether 定理 / Group Theory, Invariant Theory, Noether's Theorem
+>
+> Sophus Lie 想打造一把屠龙刀——解通微分方程。虽未屠尽所有的龙，但这把刀的锻造工艺（李群-李代数对应）流传了下来，后来用于线性化非线性问题、描述物理对称性、机器人状态估计。数学最迷人的地方：为特定问题发明的工具，在完全不同领域展现出远超初衷的价值。这正是「跨领域激活」的原型。
+
+## 核心原则 / Core Principle
+
+**在变化中寻找不变——这是理解复杂系统的捷径。对称性不是'好看'，而是系统深层结构的体现。每一个对称性都对应一个守恒量（Noether 定理），每一个不变量都是简化问题的钥匙。**
+
+> **数学形式化 / Mathematical Formalization**
+>
+> 群 **G** 作用在集合 **X** 上：φ: G×X→X（φ(e,x)=x, φ(g,φ(h,x))=φ(gh,x)）。
+>
+> **不变量** f: X→Y 使 f(g·x)=f(x) ∀g∈G。形式化：f 是 G-不变量 ⇔ f: X/G → Y 为商空间上的函数。不变量只区分轨道，不区分同轨道内元素。
+>
+> **轨道** O(x)={g·x : g∈G}，等价关系 x~y ⇔ ∃g∈G, y=g·x，X/~ = X/G。**商空间** X/G 由所有轨道构成。分类的本质是在 X/G 上工作；找不变量即找在每条轨道取常值的函数。
+>
+> **稳定子** Stab(x)={g∈G : g·x=x}，|O(x)|=|G|/|Stab(x)|——轨道越大对称越少。
+>
+> 核心直觉：**不变量 = 轨道上的常值函数 = 商空间 X/G 上的函数**。完备不变量集将 X/G 嵌入更简单空间，实现完全分类。
+>
+> 对称层次：几何对称（O(n)/E(n)，不变量距离面积）；代数对称（Galois 理论，判别式）；物理对称（Lie 群，能量/动量/角动量）；结构不变（同构/同伦等价）。
+>
+> **Reynolds 算子**：有限群 G，R(f)=1/|G| Σ f(g·x)，R²=R，像正是所有不变量。**Burnside 引理**：|X/G|=1/|G| Σ |Fix(g)|。**Lie 代数生成元**：T_a·f=0 为微分方程，解之得不变量。**Noether 定理**：连续对称 → 守恒流 Jμ, ∂_μ Jμ=0。**Galois 理论**：方程可用根式求解 ⇔ Gal(f) 可解群。
+>
+> 详细见 `original-texts.md`。
+
+## GPU 友好性 / GPU-Friendliness（横切检查）
+
+对称/不变结构能否上 GPU，取决于群操作的「张量化」程度——过 `../../references/gpu-friendly-math.md` 八维：
+
+- **群作用可张量化 → 友好**：若群作用是线性（矩阵乘），则等变层 = GEMM（如 SO(3) 等变用球谐/表示矩阵的批量 GEMM）。
+- **Reynolds 平均**：有限群平均 = 对 |G| 个变换结果求和，可批量并行（友好）；但 |G| 极大时不友好→用 Lie 代数连续近似。
+- **不变量作正则/约束**：作损失项时局部、廉价（友好）；作精确符号计算时不友好。
+- **热带半环**：min/+ 代数上的"对称"可落 GEMM-like 结构（友好，见 `../../references/gpu-friendly-math.md` 范例）。
+- **反模式**：把需要逐轨道符号判定的精确分类硬塞进训练——不可算。
+
+八维最低判定（正式术语）：**张量化**看群作用是否可批量作用于特征；**GEMM 可映射**看表示矩阵/球谐/投影是否落矩阵乘；**复杂度**看群阶、轨道数、积分/求积规模；**显存与 KV-Cache**看多副本/多轨道特征是否爆炸；**低精度稳定**看等变误差、规范选择、归一化是否稳健；**并行与通信**看群元素/空间点能否并行；**稀疏结构**看等变连接是否块结构化；**算子融合**看 group action、聚合、投影能否融合。
+
+> 配合 `../../references/books/micro-lie-theory.md`（SO(3)/SE(3) 等变）、`abstract-algebra.md`（群/半环）、`differential-geometry.md`（规范对称）。
+
+## 不适用场景 / When NOT to Use
+
+- **系统完全不对称且无规律**——无群作用可利用。
+- **需要精确数值解**——对称性给结构信息而非具体数值（告诉你"什么相等"不告诉你"等于多少"）。
+- **对称破缺是核心机制**（相变、自发破缺）——应转向分析破缺模式 G→H 而非找不变量。
+- **问题规模极小**——对称分析开销可能超过直接求解。
+- **群结构过于复杂**——|G| 极大时 X/G 不比 X 简单，不变量本身可能更复杂。
+
+## 何时使用 / When to Use
+
+- 面对复杂系统想找简化线索；需要分类/识别对象（利用轨道 X/G）。
+- 寻找回滚量或不变量（轨道上常值的函数）；减少变量/降维（商空间、基本域）。
+- 判断方程可解性（Galois）；计数对称构型（Burnside/Pólya）。
+- 从守恒律反推对称性（逆 Noether）。
+- **设计等变/不变网络或算子**（SO(3)/SE(3) 等变、热带半环路由、守恒正则）。
+
+## 方法流程 / Method
+
+### 第一步：识别可能的变换 / Identify Transformations
+列出系统可能经历的所有变换，组织为候选对称群，验证四条公理（封闭/结合/单位/逆）。空间变换→E(n)/O(n)/相似群；时间→R 或 Z₂；代数→S_n/GL(n)/SL(n)；逻辑→Z₂/Aut；规范→U(1)/SU(2)/SU(3)（Lie 群，配 Lie 代数）。不满足公理则识别实际结构（半群？广群？），不可盲目当群。陷阱：投影不可逆不是群；反射复合为旋转（封闭成立）。
+
+### 第二步：寻找不变量 / Find Invariants
+对 G 作用于 X，找 f(g·x)=f(x)。
+- **有限群**：Reynolds 算子 R(f)=1/|G| Σ f(g·x)（投影到不变量，R²=R）；Burnside 引理 |X/G|=1/|G| Σ |Fix(g)| 计轨道数；初等对称多项式 e_k 是 S_n 作用于 R^n 的完备不变量集。
+- **连续群（Lie 群）**：用 Lie 代数生成元 T_a·f=0 解不变量（每个生成元减一自由度）；Killing 向量场积分得不变坐标（如 SO(3)→r=√(x²+y²+z²)）。
+- **不动点分析**：Stab(x) 揭示局部对称程度。
+- 常见不变量：几何（长度/角度/欧拉示性数）、物理（能量/动量/角动量）、代数（判别式/迹/行列式/特征多项式系数）、组合（轨道数/等价类大小）。
+
+### 第三步：利用不变量简化 / Use Invariants to Simplify
+- **商空间推理**：在 X/G 上工作而非 X，|X| 对象→|X/G| 轨道（如 230 空间群→230 种 X/G）。
+- **基本域** D：每条轨道恰与 D 交于一点，只分析 D（O(2)→半平面；SO(3)→球面三角；SL(2,Z)→|z|≥1, |Re(z)|≤1/2）。
+- **变量缩减**：用不变量替代被约束变量（能量守恒减一动力学变量；角动量守恒→只关心径向；中心力场 L²=常数→一维径向方程）。
+
+### 第四步：利用对称性分类 / Classify via Symmetry
+**轨道-稳定子** |O(x)|=|G|/|Stab(x)|：稳定子越大对象越对称、轨道越小。同轨道对象共享所有 G-不变量值。关键问题：不变量是否完备？即 f(x)=f(y) ⇒ x,y 同轨道？不完备→不同轨道可有相同不变量值，需更多不变量或更精细群。完备例子：S_n→e₁..e_n；O(n)→r²=Σx_i²；SL(2,C)→判别式 Δ=b²-4ac。
+
+### 第五步：检查对称性破缺 / Check Symmetry Breaking
+- **自发破缺**：方程有对称 G，解只满足 H⊂G（真空选方向，G→H）。Goldstone 定理：连续 G→H 破缺产生 dim(G/H) 个无质量 Goldstone 模（铁磁 SO(3)→SO(2) 得 2 模；超流 U(1)→{e} 得 1 模）。
+- **显式破缺**：方程本身不满足 G（外力/质量项，如夸克质量破手征对称 SU(2)_L×SU(2)_R→SU(2)_V）。
+- **分析要点**：识别 G→H，算 Goldstone 模数 dim(G/H)，破缺后有效理论仍需 H-不变。
+
+### 第六步：代数对称分析 / Algebraic Symmetry (Galois)
+Gal(f) 为根的置换群。**方程可用根式求解 ⇔ Gal(f) 可解群**（子群链 G=G₀⊃...⊃G_k={e}，每步为循环商群）。可解直觉：每步商群对应一次根式提取；不可解群意味"不可绕过的复杂性"。≥5 次一般方程 Gal(f)=S_5 不可解（A_5 最小非可解单群）；4 次 S_4 可解；圆可分→循环群可解。范式：**问题结构→置换群→群可解性→问题可解性**。
+
+### 第七步：物理对称分析 / Physical Symmetry (Noether)
+**Noether 定理**：作用量 S=∫L dt 在 G 下不变 ⇒ 守恒流 Jμ, ∂_μ Jμ=0。对应：时间平移→能量；空间平移→动量；旋转→角动量；规范 U(1)→电荷。量子：对称 G→Hilbert 空间酉表示→不可约表示分类能级→Wigner-Eckat→选择规则。层次：经典（Lagrangian 对称→Noether→简化方程）→量子（选择规则/简并/Wigner-Eckart）→场论（规范对称→粒子分类→标准模型 SU(3)×SU(2)×U(1)）。
+
+## 常见错误 / Common Errors
+
+| 错误 / Error | 数学批评 / Critique | 正确做法 / Correct Approach |
+|-------------|-------------------|---------------------------|
+| 忽视隐藏对称性 | 表面不对称但深层有对称，遗漏致不必要复杂化 | 尝试不同表示（坐标/基底变换）找深层对称 |
+| 混淆近似与精确对称 | 近似对称"守恒"仅近似，误差随时间积累 | 区分精确/近似不变量，标注近似程度 |
+| 对称性论证过度 | 不是所有问题都有对称，强行引入得错误结论 | 确认对称确实存在再使用，验证群公理 |
+| 忽视对称破缺 | 破缺可能才是关键机制 | 同时关注对称与破缺，分析 G→H |
+| 未验证群性质 | 候选变换集未必满足封闭/逆 | 逐一验证四公理，不满足则识别实际结构 |
+| 混淆轨道不变量与一般不变量 | f 在 O(x) 常值 ≠ f 在 X 常值（后者平凡无信息） | 明确是 G-不变（每轨道常值） |
+| 混淆离散与连续对称 | 离散群无 Reynolds 平均（|G| 或无穷）；连续群需 Lie 代数 | 离散用 Burnside 计数；连续用 Lie 代数+Noether |
+| 等变结构不可算 | 把需逐轨道符号判定的精确分类塞进 GPU 训练 | 群作用张量化、用线性表示落 GEMM，过八维门 |
+
+## 操作规程 / Operating Procedure
+
+当本 skill 被触发时，输出必须包含：
+
+1. **变换清单**：`[变换N]: [描述] [类型]`，组织为候选群，标注验证了哪些公理（封闭✓/✗…）
+2. **不变量发现**：`[在群G下]: [不变量Y] 保持不变`；有限群写 Reynolds 形式；用 Burnside 计轨道数
+3. **简化策略**：`[利用不变量Y]: [如何简化]`；标注是否在 X/G 或基本域 D 上工作，估计维度缩减
+4. **对称分类**：`[对象x]: |O(x)|=, |Stab(x)|=`，轨道分类结果，评估不变量完备性
+5. **对称破缺检查**：`[对称性Z]: [存在/破缺]，方式[自发/显式]`；连续破缺标注 Goldstone 模数 dim(G/H) 与有效群 H
+6. **代数/物理对称**：方程求解标 Gal(f) 及可解性；物理系统标 Noether 对应 `[对称群G]: [守恒律]`
+7. **结论**：发现哪些不变量、实现多少维度缩减、分类结果
+8. **[GPU 可行性]**（若用于算法/等变设计）— 群作用能否张量化落 GEMM，过八维门，标注友好/可改造/不友好
+
+**输出不得只给分析而无结论。**
+
+## 与其他 skill 的关系 / Relations to Other Skills
+
+- **变换思想**：对称性就是变换下的不变性——一体两面。
+- **抽象化思想**：不变量是最高层次的抽象——独立于具体表示。
+- **建模思想**：物理模型常以对称性原理为指导。
+- **公理化思想**：群论公理是对称性的数学基础。
+- **拓扑思想**：拓扑不变量（欧拉示性数、同伦群）是连续变换下的不变量。
+- **算法思想**：群算法利用对称加速（如 FFT 利用循环群结构）。
+- **离散/组合思想**：Pólya 计数是 Burnside 引理的加权推广。
+- **现代数学激活**：`../../references/books/micro-lie-theory.md`（SO(3)/SE(3) 等变、李群优化）、`abstract-algebra.md`（群/半环）、`differential-geometry.md`（规范对称/纤维丛）。