math-skill 1.0.0

package/skills/symmetry-invariance/SKILL.md

@@ -0,0 +1,358 @@
+---
+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 引理的加权推广，用于枚举对称构型

package/skills/symmetry-invariance/original-texts.md

@@ -0,0 +1,221 @@
+# 数学出处与经典文献 / Mathematical Sources and Classic Texts
+
+## 群论 / Group Theory (Galois, 1830s)
+
+**Évariste Galois**（1811-1832）在 20 岁死于决斗前夜，开创了群论：
+
+> "一个方程是否能用根式求解，取决于其根的置换群的结构。"
+> "Whether an equation can be solved by radicals depends on the structure of the permutation group of its roots."
+
+**群的定义**：一个集合 G 配备二元运算 ·，满足：
+1. **封闭性**：∀a,b ∈ G, a·b ∈ G
+2. **结合律**：∀a,b,c ∈ G, (a·b)·c = a·(b·c)
+3. **单位元**：∃e ∈ G, ∀a ∈ G, e·a = a·e = a
+4. **逆元**：∀a ∈ G, ∃a⁻¹ ∈ G, a·a⁻¹ = a⁻¹·a = e
+
+**群是对称性的数学语言。**
+
+## 伽罗瓦理论基本定理 / Fundamental Theorem of Galois Theory
+
+伽罗瓦理论的核心是以下深刻对应：
+
+> 给定域扩张 L/K，若 L 是 K 的伽罗瓦扩张，则伽罗瓦群 Gal(L/K) 的子群与 L/K 的中间域之间存在一一对应（反序保持）。
+> Given a Galois extension L/K, there is an order-reversing bijection between subgroups of Gal(L/K) and intermediate fields between K and L.
+
+这揭示了 **代数结构（群）与域结构（域扩张）的深层对偶性**：
+- 子群 H ↔ 固定域 L^H
+- 正规子群 ↔ 伽罗瓦子扩张
+- 子群的指数 ↔ 中间域的次数
+
+**历史意义**：这一对应将 "方程可解性" 转化为 "群的可解性"——可解群对应根式可解方程，从而彻底解决了五次及以上方程不可根式求解的问题。
+
+## Klein 爱尔兰根纲领 / Klein's Erlangen Program (1872)
+
+> "一种几何学就是研究一个变换群作用下的不变量。"
+> "A geometry is the study of invariants under the action of a transformation group."
+
+Klein 提出用群论来统一各种几何学：
+- 欧几里得几何 = 等距变换下的不变量
+- 仿射几何 = 仿射变换下的不变量
+- 射影几何 = 射影变换下的不变量
+
+**深远影响**：爱尔兰根纲领不仅统一了当时的几何学，更预示了 20 世纪数学中 "结构决定几何" 的核心思想——从拓扑到微分几何，均可纳入 "群+不变量" 的框架。
+
+## Lie 群与 Lie 代数 / Lie Groups and Lie Algebras (1870s)
+
+**Sophus Lie**（1842-1899）将 Galois 的有限群思想推广到连续变换群：
+
+> "连续对称性应由无穷小生成元来刻画——Lie 代数是 Lie 群的局部线性化。"
+> "Continuous symmetries are captured by infinitesimal generators; the Lie algebra is the local linearization of the Lie group."
+
+关键概念：
+- **Lie 群**：既是群又是光滑流形的结构（如 SO(n)、SU(n)、GL(n,R)）
+- **Lie 代数**：Lie 群在单位元处的切空间，配备 Lie 括号 [X,Y]
+- **指数映射** exp: g → G，从无穷小生成元恢复全局对称性
+
+**分类里程碑**：半单 Lie 代数的 Cartan 分类（1894）给出四种无限族 A_n, B_n, C_n, D_n 和五个例外代数 G₂, F₄, E₆, E₇, E₈——这是连续对称性世界中的 "元素周期表"。
+
+**物理意义**：粒子物理中的规范群 SU(3)×SU(2)×U(1) 正是 Lie 群理论的直接应用。
+
+## Noether 定理 / Noether's Theorem (1915)
+
+> Emmy Noether（1882-1935）：每一个连续对称性都对应一个守恒量。
+> Every continuous symmetry corresponds to a conserved quantity.
+
+| 对称性 / Symmetry | 守恒量 / Conserved Quantity |
+|-------------------|---------------------------|
+| 时间平移不变性 | 能量守恒 |
+| 空间平移不变性 | 动量守恒 |
+| 旋转不变性 | 角动量守恒 |
+| 规范不变性 | 电荷守恒 |
+
+**意义**：这是物理学中最深刻的定理之一——它揭示了自然界的对称性与守恒律之间的深层联系。Noether 在 1915 年为 Hilbert 解决广义相对论中的能量守恒问题而证明此定理，其影响远超最初的动机。
+
+## 表示论 / Representation Theory (Frobenius, Schur, 1896-1905)
+
+> "要理解一个群，最好的方式是看它如何作用于向量空间。"
+> "To understand a group, the best way is to see how it acts on vector spaces."
+
+**Georg Frobenius**（1849-1917）在 1896 年发明了群的特征标理论，**Issai Schur**（1875-1941）进一步发展了不可约表示的分类：
+
+- **群表示**：同态 ρ: G → GL(V)，将抽象群元素映射为线性变换
+- **特征标** χ(g) = Tr(ρ(g))，是表示的 "指纹"——不同不可约表示有不同特征标
+- **不可约表示**：不能进一步分解的表示，是表示论的基本构件
+
+**核心定理**：
+- Maschke 定理：有限群的表示在适当条件下完全可分解为不可约表示之和
+- Schur 引理：不可约表示之间的同态极为简单（零或同构）
+- 特征标正交关系：不同不可约表示的特征标彼此正交——这给出了分类的算术约束
+
+**应用遍及数学与物理**：从有限群的分类到量子力学中的角动量理论，表示论是将抽象对称性转化为可计算量的桥梁。
+
+## 有限单群分类 / Classification of Finite Simple Groups (1980s-2004)
+
+> "有限单群的分类是数学史上最庞大的定理——其证明跨越数十年、数百篇论文、数百位数学家。"
+> "The classification of finite simple groups is the most enormous theorem in mathematical history—its proof spans decades, hundreds of papers, and hundreds of mathematicians."
+
+**有限单群**是群论的 "原子"——不可分解为更小的正规子群的群。分类定理断言：
+
+**所有有限单群属于以下类别**：
+1. **循环群** Z_p（p 为素数）——最简单的单群
+2. **交错群** A_n（n ≥ 5）——置换群的核心
+3. **Lie 型群**（16 个无限族）——包括 Chevalley 群、扭曲群等
+4. **26 个散在单群**——最大的是 **Monster 群** M，阶 ≈ 8×10⁵³
+
+**ATLAS of Finite Groups**（1985）是这一分类的标准参考书，记录了所有单群的结构数据。
+
+**Monster 群的奇迹**：Monster 与模形式之间的惊人联系（McKay 的 "月光猜想"、Borcherds 的证明，1998）揭示了有限群与数论的深层联系——Borcherds 因此获 Fields 奖。
+
+## Burnside 引理 / Burnside's Lemma
+
+> 一个有限群 G 作用在集合 X 上，轨道数 = (1/|G|) Σ|X^g|，其中 X^g 是在变换 g 下不变的元素集合。
+
+**应用**：计数问题中利用对称性简化——不需要逐个计数，只需计算平均固定点数。此结果虽以 Burnside 命名，实则由 Cauchy（1845）和 Frobenius（1887）更早发现——数学命名的惯例并不总是公正的。
+
+## Coxeter 群 / Coxeter Groups (1934)
+
+**H.S.M. Coxeter**（1907-2003）系统研究了由反射生成的离散对称群：
+
+> "Coxeter 群是由反射生成的群，其生成关系仅涉及阶数——这是离散几何对称性的终极分类框架。"
+> "Coxeter groups are generated by reflections, with relations specified only by orders—the ultimate classification framework for discrete geometric symmetry."
+
+关键结构：
+- **Coxeter 图**：每个节点代表一个反射生成元，边标注阶数 m_ij
+- **有限 Coxeter 群分类**：与半单 Lie 代数的 Cartan 分类平行——A_n, B_n, D_n, H₃, H₄, I₂(n) 等
+- **正多面体与正多胞体**的对称群均为 Coxeter 群
+
+**H₄** 群（阶 14400）是 4 维 120 -cell / 600-cell 的对称群，是有限 Coxeter 群中最精妙的例子之一。
+
+**影响**：Coxeter 群理论统一了正多面体理论、晶体学、Lie 理论中的 Weyl 群，以及组合学中的 Bruhat 分解。
+
+## 晶体学群与 230 空间群 / Crystallographic Groups and 230 Space Groups
+
+> "晶体对称性的数学分类——230 个空间群穷尽了三维晶体所有可能的对称类型。"
+> "The mathematical classification of crystal symmetry—the 230 space groups exhaust all possible symmetry types for three-dimensional crystals."
+
+**历史**：
+- **32 个晶体点群**：由 Schoenflies（1891）和 Fedorov（1890）独立分类
+- **230 个空间群**：含平移对称（螺旋轴、滑移面）的完整分类，由 Fedorov 和 Schoenflies 完成
+- **二维情形**：17 个壁纸群（wallpaper groups），分类更为简洁
+
+**数学意义**：这是 "用群论分类自然结构" 的经典范例——晶体学直接验证了爱尔兰根纲领的精神。国际晶体学表（International Tables for Crystallography）是这一分类的标准参考。
+
+**四维及以上**：高维晶体学群的数量急剧增长（4 维有 4783 个空间群），展示了维数增加后对称结构的爆炸性复杂化。
+
+## 自发对称性破缺 / Spontaneous Symmetry Breaking (Goldstone 1961; Higgs 1964)
+
+> "当系统的基态不继承其定律的对称性时，对称性被自发打破——这是物理学中对称性最戏剧性的表现。"
+> "When the ground state of a system does not inherit the symmetry of its laws, the symmetry is spontaneously broken—the most dramatic manifestation of symmetry in physics."
+
+**Goldstone 定理**（1961）：连续对称性的自发破缺必然产生无质量的激发态（Goldstone 玻色子）。
+
+**Higgs 机制**（1964）：当规范对称性被自发破缺时，Goldstone 玻色子被 "吃掉"，转化为规范场的质量——这正是粒子物理 Standard Model 中 W/Z 粒子获得质量的机制。2012 年 LHC 发现 Higgs 粒子，确认了这一理论。
+
+**数学结构**：设群 G 作用于势能 V(φ)，若 G 对称但极小值点 φ₀ 仅被 G 的子群 H 保持，则对称性从 G 破缺到 H，产生 dim(G/H) 个 Goldstone 模。
+
+**哲学意义**：自然定律是对称的，但自然界可以不对称——对称性不保证对称的现实，只保证对称的可能性。
+
+## 规范对称性 / Gauge Symmetry (Yang-Mills, 1954)
+
+> "规范对称性是局域的——对称变换可以在时空的每个点独立选取。这要求引入规范场来维持一致性。"
+> "Gauge symmetry is local—the symmetry transformation can be chosen independently at each spacetime point. This demands the introduction of gauge fields to maintain consistency."
+
+**Yang-Mills 理论**（1954）：杨振宁与 Mills 将电磁规范原理（U(1)）推广到非阿贝尔群（SU(2)），开创了非阿贝尔规范场论。
+
+**Standard Model 的规范群**：SU(3)_C × SU(2)_L × U(1)_Y
+- SU(3)：色对称性 → 强相互作用（QCD）
+- SU(2)×U(1)：电弱对称性 → 经 Higgs 破缺后给出电磁 U(1)
+
+**Yang-Mills 存性与质量间隙**：Clay 数学研究所的七大千禧问题之一——证明 Yang-Mills 理论的质量间隙至今未解决，是数学物理最深层的开放问题之一。
+
+## 宇称不守恒 / Parity Violation (Wu Experiment, 1957)
+
+> "物理定律可能在镜像世界中不成立——这打破了自然界最基本的直觉对称性。"
+> "Physical laws may not hold in the mirror world—this shatters the most intuitive symmetry of nature."
+
+**历史**：李政道与杨振宁（1956）提出弱相互作用可能不守恒宇称；**吴健雄**（Chien-Shiung Wu）在 1957 年用 Co-60 β 衰变实验确认了这一预言。
+
+**意义**：在此之前，物理学家普遍相信宇称守恒（左右对称）是自然的基本原理。Wu 实验证明弱相互作用区分左右——这是对称性并非普遍有效的第一个实验证据，深刻改变了物理学家的世界观。
+
+**后续**：宇称破缺导致引入 CP 对称性；1964 年 Cronin-Fitch 实验发现 CP 也破缺，进一步缩小了自然界的对称性。
+
+## CPT 对称性 / CPT Symmetry in Particle Physics
+
+> "CPT 定理断言：任何 Lorentz 不变的局部量子场论必须在 C（电荷共轭）、P（宇称）、T（时间反演）的联合变换下不变。"
+> "The CPT theorem asserts: any Lorentz-invariant local quantum field theory must be invariant under the combined C (charge conjugation), P (parity), and T (time reversal) transformation."
+
+**CPT 的分量**：
+- **C**（电荷共轭）：粒子 ↔ 反粒子
+- **P**（宇称）：空间反演（镜像）
+- **T**（时间反演）：时间流向逆转
+
+单独的 C、P、T 均可被打破（弱相互作用破 P 和 C，K 介子衰变破 CP），但 **CPT 联合必须守恒**——这是量子场论最坚固的对称性壁垒。若 CPT 被实验打破，将意味着量子场论的基础架构需要重建。
+
+## Weyl 的对称性哲学 / Weyl's Symmetry (1952)
+
+**Hermann Weyl**（1885-1955）在晚年著作 *Symmetry*（1952）中给出了对称性的哲学沉思：
+
+> "对称性，无论广义还是狭义，都是一种理念，人类自古以来就试图借此理解和创造秩序、美与完美。"
+> "Symmetry, as wide or as narrow as you may define its meaning, is one idea by which man through the ages has tried to comprehend and create order, beauty, and perfection."
+
+Weyl 从艺术（装饰纹样、建筑）、自然（晶体、花朵）、数学（群论）和物理（相对论、量子力学）四个维度展开讨论。此书将数学的严谨与哲学的深邃融为一体，是 "数学人文传统" 的典范之作。
+
+## 不变量的力量 / The Power of Invariants
+
+> "在变化中找到不变的东西，这是理解世界的捷径。"
+> "Finding what does not change amid change is the shortcut to understanding the world."
+
+经典案例：
+- **Euler 示性数**：无论怎样连续变形多面体，V - E + F = 2 不变
+- **拓扑亏格**：甜甜圈和咖啡杯有相同的拓扑结构（一个洞）
+- **图灵机停机问题的不可判定性**：无论算法如何改进，某些问题本质上不可计算
+
+## 对称性与日常生活 / Symmetry and Everyday Life
+
+- **时间对称**：如果每天的安排有对称性（如早起-工作-休息的循环），生活会更高效
+- **信息对称**：博弈中信息对称是公平的前提，信息不对称是策略的来源
+- **结构对称**：组织结构中的对称性（如对称的汇报关系）通常意味着稳定
+
+---
+
+**总结 / Summary**：对称性与不变量是数学与物理的核心主线。从 Galois 的有限群到 Lie 的连续群，从 Klein 的几何纲领到 Noether 的守恒定律，从表示论的抽象结构到粒子物理的规范对称——群论提供了统一的语法，不变量提供了语义。这条主线贯穿纯数学与应用科学，是人类理解世界秩序的最强有力的工具之一。