引言：当群论变成一座空中楼阁
初学群论的人，几乎都会经历同一种困惑。
教材告诉你：群就是一个集合加上一个运算，满足四条公理------封闭性、结合律、单位元、逆元。然后给你一个 S₃，告诉你它有 6 个元素，乘法表长这样：
| e | r | r² | f | rf | r²f | |
|---|---|---|---|---|---|---|
| e | e | r | r² | f | rf | r²f |
| r | r | r² | e | rf | r²f | f |
| r² | r² | e | r | r²f | f | rf |
| f | f | r²f | rf | e | r² | r |
| rf | rf | f | r²f | r | e | r² |
| r²f | r²f | rf | f | r² | r | e |
这张表完全正确。但它也是完全抽象的。
它不告诉你 r 是什么，不告诉你 f 是什么，不告诉你为什么 fr = r²f。你只能死记硬背这张表，然后做机械的符号推演。
这就像拿到一本字典，但字典里每个词的定义都是另一个你不认识的词。
我们能不能做点什么，让这个群"活"起来？能不能给每个元素分配一个具体的、可以计算的、看得见的东西------比如一个矩阵------使得群的运算完全对应矩阵的乘法？
如果可以，那么群论就变成了线性代数。抽象就变成了具体。
这件事，数学上叫"群表示论"（Group Representation Theory）。
一、核心思想：给群元素发"身份证"
表示论的想法极其朴素：
群元素太抽象了，我们给它分配一个矩阵吧。
要求只有一条：群怎么乘，矩阵就怎么乘。
用严格的数学语言说：
寻找一个映射
ρ:G→GL(n,R) \rho: G \to GL(n, \mathbb{R}) ρ:G→GL(n,R)
使得对任意 g, h ∈ G 有：
ρ(gh)=ρ(g)⋅ρ(h) \rho(gh) = \rho(g) \cdot \rho(h) ρ(gh)=ρ(g)⋅ρ(h)
其中 GL(n, ℝ) 是所有 n×n 可逆实矩阵构成的集合（在矩阵乘法下本身也是一个群，叫一般线性群）。
GL(n, ℝ) 是数学中一个标准记号，全称是 General Linear Group of degree n over the real numbers，中文叫 实数域上的 n 阶一般线性群。本文使用GL(2, ℝ)，精确定义如下：
GL(2,R)={A | A=(abcd), a,b,c,d∈R, det(A)=ad−bc≠0} GL(2, \mathbb{R}) = \left\{ A \;\middle|\; A = \begin{pmatrix} a & b \\ c & d \end{pmatrix},\ a,b,c,d \in \mathbb{R},\ \det(A) = ad - bc \neq 0 \right\} GL(2,R)={A A=(acbd), a,b,c,d∈R, det(A)=ad−bc=0}
也就是说：所有 2×2 的实数矩阵，只要行列式不为零（即可逆），就属于 GL(2, ℝ)。
这个映射叫群同态。
什么是"同态"？
同态的意思是"保持结构的映射"。群的结构就是它的乘法规则。同态要求：先乘再映射 = 先映射再乘。
如果这个映射还是一一对应 的（不同的群元素对应不同的矩阵，没有信息丢失），就叫忠实表示 （faithful representation），也叫单同态 或嵌入。
如果不同的群元素被映射到了同一个矩阵，信息就丢失了，这个表示就不忠实。不忠实的表示在数学上仍然有用，但对于我们"把群变成矩阵"这个目标来说，忠实表示才是我们想要的。
一旦找到了忠实表示，群论问题就可以翻译成线性代数问题：
- 群乘法 → 矩阵乘法
- 群求逆 → 矩阵求逆
- 群元素的阶 → 矩阵的阶
- 子群 → 矩阵子群
抽象消失了。剩下的全是可以动手算的东西。
二、约定：群乘法与矩阵乘法的顺序
在开始之前，必须明确一个关键约定，否则一切都会混淆。
本文采用函数复合约定：
群元素 gh 表示"先做 h，再做 g"。
矩阵作用于列向量时，ABv = A(Bv)，先作用 B，再作用 A。
因此，群元素 gh 对应矩阵乘积 GH（先写 g 的矩阵 G，再写 h 的矩阵 H）。
在这个约定下，S₃ 的核心非交换关系是：
fr=r2f fr = r^2f fr=r2f
它表示：先做 r，再做 f（左边 fr）等于先做 f，再做 r²（右边 r²f）。对应的矩阵关系为：
FR=R2F F R = R^2 F FR=R2F
后面的所有计算都遵循这个约定。
三、S₃ 是什么：正三角形的对称群
S₃ 是正三角形的对称群。正三角形有三个顶点，所有让三角形"看起来不变"的操作，构成了 S₃。
这些操作有 6 个：
| 元素 | 几何含义 |
|---|---|
| e | 什么都不做 |
| r | 绕中心顺时针旋转 120° |
| r² | 绕中心顺时针旋转 240° |
| f | 关于一条对称轴翻转 |
| rf | 先翻转，再旋转 120° |
| r²f | 先翻转，再旋转 240° |
群运算是"先做一个，再做一个"。
S₃ 是非交换群：rf ≠ fr。这正是它比循环群更有趣的地方。
四、构造表示：把三角形放进坐标系
4.1 建立坐标系
把正三角形放在二维平面上，中心在原点，三个顶点：
- 顶点 1：(1, 0)
- 顶点 2：(-1/2, √3/2)
- 顶点 3：(-1/2, -√3/2)
坐标约定 ：本文采用顺时针旋转为正方向的约定。
4.2 旋转 r 的矩阵
顺时针旋转 120° 的矩阵：
R=(cos120°sin120°−sin120°cos120°)=(−1/23/2−3/2−1/2) R = \begin{pmatrix} \cos 120° & \sin 120° \\ -\sin 120° & \cos 120° \end{pmatrix} = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ -\sqrt{3}/2 & -1/2 \end{pmatrix} R=(cos120°−sin120°sin120°cos120°)=(−1/2−3 /23 /2−1/2)
验证：把顶点 1 (1,0) 代入：
R(10)=(−1/2−3/2) R\begin{pmatrix}1\\0\end{pmatrix} = \begin{pmatrix}-1/2\\-\sqrt{3}/2\end{pmatrix} R(10)=(−1/2−3 /2)
这正好是顶点 3。顺时针转 120°，顶点 1 确实应该到顶点 3 的位置。✅
4.3 翻转 f 的矩阵
关于 x 轴翻转（固定顶点 1，交换顶点 2 和 3）：
F=(100−1) F = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} F=(100−1)
4.4 生成所有元素
其他元素通过矩阵乘法得到：
R2=R⋅R=(−1/2−3/23/2−1/2) R^2 = R \cdot R = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix} R2=R⋅R=(−1/23 /2−3 /2−1/2)
RF=R⋅F=(−1/2−3/2−3/21/2) RF = R \cdot F = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ -\sqrt{3}/2 & 1/2 \end{pmatrix} RF=R⋅F=(−1/2−3 /2−3 /21/2)
R2F=R2⋅F=(−1/23/23/21/2) R^2F = R^2 \cdot F = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} R2F=R2⋅F=(−1/23 /23 /21/2)
单位元 e 对应单位矩阵：
I=(1001) I = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} I=(1001)
4.5 完整的分配表（含矩阵数值）
| 群元素 | 矩阵数值 | 几何意义 | 行列式 |
|---|---|---|---|
| e | \[1, 0, 0, 1] | 不动 | +1 |
| r | \[-1/2, √3/2, -√3/2, -1/2] | 转 120° | +1 |
| r² | \[-1/2, -√3/2, √3/2, -1/2] | 转 240° | +1 |
| f | \[1, 0, 0, -1] | 翻转 | -1 |
| rf | \[-1/2, -√3/2, -√3/2, 1/2] | 翻转 + 转 120° | -1 |
| r²f | \[-1/2, √3/2, √3/2, 1/2] | 翻转 + 转 240° | -1 |
注意行列式：三个旋转（e, r, r²）的行列式都是 +1，三个翻转（f, rf, r²f）的行列式都是 -1。这不是巧合。
行列式是符号表示 （sign representation）的来源------它是一个从 S₃ 到 {±1} 的 1 维表示。旋转保持定向（行列式 +1），翻转反转定向（行列式 -1）。这揭示了一个重要事实：同一个群可以有多种表示，不同表示可以捕捉群的不同侧面。
五、验证同构：群运算真的对应矩阵乘法吗？
验证 1：r³ = e
R3=R2⋅R=(−1/2−3/23/2−1/2)(−1/23/2−3/2−1/2)=(1001)=I R^3 = R^2 \cdot R = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix} \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ -\sqrt{3}/2 & -1/2 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = I R3=R2⋅R=(−1/23 /2−3 /2−1/2)(−1/2−3 /23 /2−1/2)=(1001)=I
对应群元素 e。✅
验证 2：f² = e
F2=(100−1)(100−1)=(1001)=I F^2 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = I F2=(100−1)(100−1)=(1001)=I
对应群元素 e。✅
验证 3：核心关系 fr = r²f
在函数复合约定下，fr 对应矩阵 FR = F·R，r²f 对应矩阵 R²F = R²·F。
FR=(100−1)(−1/23/2−3/2−1/2)=(−1/23/23/21/2) FR = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ -\sqrt{3}/2 & -1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} FR=(100−1)(−1/2−3 /23 /2−1/2)=(−1/23 /23 /21/2)
R2F=(−1/2−3/23/2−1/2)(100−1)=(−1/23/23/21/2) R^2F = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} R2F=(−1/23 /2−3 /2−1/2)(100−1)=(−1/23 /23 /21/2)
两者完全相同。✅
验证 4：矩阵乘法顺序与群运算顺序一致
群论里 rf 表示"先做 f，再做 r"。矩阵里对应 R·F。作用于列向量：
(RF)v⃗=R(Fv⃗) (RF)\vec{v} = R(F\vec{v}) (RF)v =R(Fv )
先作用 F，再作用 R。顺序完全一致。 ✅
验证 5：结合律
矩阵乘法天然满足结合律：(AB)C = A(BC)，与群运算的结合律一致。✅
验证 6：逆元对应逆矩阵
R−1=R2,F−1=F R^{-1} = R^2, \quad F^{-1} = F R−1=R2,F−1=F
与群论中 r⁻¹ = r²，f⁻¹ = f 完全对应。✅
六、这个表示告诉了我们什么？
6.1 群不再抽象了
现在我们有了一个具体的、可计算的模型：
- 想算 r²f · rf？直接乘矩阵。
- 想求 rf 的逆？直接求矩阵逆。
- 想判断两个元素是否相等？比较矩阵是否相同。
群论变成了线性代数。
6.2 这是一个忠实表示
6 个群元素对应 6 个不同的矩阵，没有两个元素被映射到同一个矩阵。信息没有丢失。S₃ 被完全嵌入到 GL(2, ℝ) 中。
为什么不能只用 1×1 矩阵？
1 维矩阵就是非零实数。如果尝试用实数表示 S₃，乘法就是普通乘法。但普通乘法是可交换的 ，而 S₃ 是非交换的 。所以不存在忠实的 1 维表示。至少需要 2 维，才能捕捉 S₃ 的非交换性。
这也说明：表示的最小维度反映了群的内在复杂度。
6.3 它揭示了 S₃ 的几何本质
这个表示不是随便构造的。它的几何意义非常清晰：
S₃ 就是正三角形的所有刚性对称变换。每个群元素就是一个具体的空间操作。
旋转就是旋转，翻转就是翻转。矩阵只是把这些操作写成了数字。
6.4 这些矩阵都是正交矩阵
所有 6 个矩阵都满足 MᵀM = I（即 M⁻¹ = Mᵀ），行列式为 ±1。它们是正交矩阵。
这不是偶然的：正交矩阵恰好是保持距离和角度不变的线性变换，而刚性对称操作正好就是保距变换。所以"正三角形的对称"自然对应到"正交矩阵"。
七、共轭：群论中的"换参考系"
7.1 什么是共轭？
在群论中，给定群元素 g 和 h，称
hgh−1 h g h^{-1} hgh−1
为 g 在 h 下的共轭（conjugation）。
在矩阵表示中，共轭对应相似变换：
ρ(hgh−1)=ρ(h)ρ(g)ρ(h)−1=HGH−1 \rho(h g h^{-1}) = \rho(h) \rho(g) \rho(h)^{-1} = H G H^{-1} ρ(hgh−1)=ρ(h)ρ(g)ρ(h)−1=HGH−1
其中 H = ρ(h)，G = ρ(g)。
7.2 S₃ 中共轭的四个计算
计算 1：用 r 共轭 f
群论计算：
rfr−1=rfr2 r f r^{-1} = r f r^2 rfr−1=rfr2
使用 fr = r²f，得 fr² = (fr)r = (r²f)r = r²(fr) = r²(r²f) = r⁴f = rf。
所以：
rfr−1=r(fr2)=r(rf)=r2f r f r^{-1} = r (f r^2) = r (r f) = r^2 f rfr−1=r(fr2)=r(rf)=r2f
群论结果：rfr⁻¹ = r²f。
矩阵验证（共轭对应 R·F·R⁻¹ = R·F·R²）：
先算 F·R²：
FR2=(100−1)(−1/2−3/23/2−1/2)=(−1/2−3/2−3/21/2) F R^2 = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ -\sqrt{3}/2 & 1/2 \end{pmatrix} FR2=(100−1)(−1/23 /2−3 /2−1/2)=(−1/2−3 /2−3 /21/2)
再算 R·(F·R²)：
R(−1/2−3/2−3/21/2)=(−1/23/23/21/2)=R2F R \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ -\sqrt{3}/2 & 1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} = R^2 F R(−1/2−3 /2−3 /21/2)=(−1/23 /23 /21/2)=R2F
矩阵结果：RFR⁻¹ = R²F。与群论结果 r²f 完全对应。 ✅
计算 2：用 r² 共轭 f
群论计算：
r2fr−2=r2fr r^2 f r^{-2} = r^2 f r r2fr−2=r2fr
使用 fr = r²f，得：
r2fr=r2(fr)=r2(r2f)=r4f=rf r^2 f r = r^2 (fr) = r^2 (r^2f) = r^4 f = rf r2fr=r2(fr)=r2(r2f)=r4f=rf
群论结果：r²fr⁻² = rf。
矩阵验证（共轭对应 R²·F·R⁻² = R²·F·R）：
先算 F·R：
FR=(100−1)(−1/23/2−3/2−1/2)=(−1/23/23/21/2) F R = \begin{pmatrix} 1 & 0 \\ 0 & -1 \end{pmatrix} \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ -\sqrt{3}/2 & -1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} FR=(100−1)(−1/2−3 /23 /2−1/2)=(−1/23 /23 /21/2)
再算 R²·(F·R)：
R2(−1/23/23/21/2)=(−1/2−3/2−3/21/2)=RF R^2 \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ -\sqrt{3}/2 & 1/2 \end{pmatrix} = RF R2(−1/23 /23 /21/2)=(−1/2−3 /2−3 /21/2)=RF
矩阵结果：R²FR⁻² = RF。与群论结果 rf 完全对应。 ✅
计算 3：用 f 共轭 r
群论计算：
frf−1=frf f r f^{-1} = f r f frf−1=frf
使用 fr = r²f，得：
frf=(fr)f=(r2f)f=r2f2=r2 f r f = (fr) f = (r^2f) f = r^2 f^2 = r^2 frf=(fr)f=(r2f)f=r2f2=r2
群论结果：frf⁻¹ = r²。
矩阵验证（共轭对应 F·R·F⁻¹ = F·R·F）：
先算 R·F：
RF=(−1/2−3/2−3/21/2) R F = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ -\sqrt{3}/2 & 1/2 \end{pmatrix} RF=(−1/2−3 /2−3 /21/2)
再算 F·(R·F)：
F(−1/2−3/2−3/21/2)=(−1/2−3/23/2−1/2)=R2 F \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ -\sqrt{3}/2 & 1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & -\sqrt{3}/2 \\ \sqrt{3}/2 & -1/2 \end{pmatrix} = R^2 F(−1/2−3 /2−3 /21/2)=(−1/23 /2−3 /2−1/2)=R2
矩阵结果：FRF⁻¹ = R²。与群论结果 r² 完全对应。 ✅
计算 4：用 f 共轭 r²
群论计算：
fr2f−1=fr2f=(fr2)f=(rf)f=rf2=r f r^2 f^{-1} = f r^2 f = (fr^2)f = (rf)f = r f^2 = r fr2f−1=fr2f=(fr2)f=(rf)f=rf2=r
群论结果：fr²f⁻¹ = r。
矩阵验证（共轭对应 F·R²·F⁻¹ = F·R²·F）：
先算 R²·F：
R2F=(−1/23/23/21/2) R^2 F = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} R2F=(−1/23 /23 /21/2)
再算 F·(R²·F)：
F(−1/23/23/21/2)=(−1/23/2−3/2−1/2)=R F \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ \sqrt{3}/2 & 1/2 \end{pmatrix} = \begin{pmatrix} -1/2 & \sqrt{3}/2 \\ -\sqrt{3}/2 & -1/2 \end{pmatrix} = R F(−1/23 /23 /21/2)=(−1/2−3 /23 /2−1/2)=R
矩阵结果：FR²F⁻¹ = R。与群论结果 r 完全对应。 ✅
7.3 共轭的几何意义
上面四个计算揭示了共轭的几何本质：
| 群论等式 | 矩阵等式 | 几何意义 |
|---|---|---|
| rfr⁻¹ = r²f | RFR⁻¹ = R²F | 用旋转 r 共轭翻转 f，得到关于旋转后对称轴的翻转 |
| r²fr⁻² = rf | R²FR⁻² = RF | 用旋转 r² 共轭翻转 f，得到关于另一个旋转后对称轴的翻转 |
| frf⁻¹ = r² | FRF⁻¹ = R² | 用翻转 f 共轭旋转 r，得到反向旋转 r² |
| fr²f⁻¹ = r | FR²F⁻¹ = R | 用翻转 f 共轭旋转 r²，得到反向旋转 r |
核心洞察：
- 用旋转共轭翻转 → 翻转轴跟着旋转。f 是关于 x 轴的翻转，rfr⁻¹ 就是关于旋转 120° 后的轴的翻转。
- 用翻转共轭旋转 → 旋转方向反转。r 是顺时针转 120°，frf⁻¹ 就是顺时针转 240°（等价于逆时针转 120°）。
这正是共轭的几何本质：共轭 = 换一个参考系来看同一个操作。
7.4 共轭与共轭类
如果两个群元素 g 和 g' 满足 g' = hgh⁻¹（对某个 h），则称它们共轭 。共轭是一种等价关系，将群分割成共轭类。
S₃ 的共轭类：
| 共轭类 | 元素 | 几何意义 |
|---|---|---|
| {e} | e | 恒等操作 |
| {r, r²} | r, r² | 两个非平凡旋转 |
| {f, rf, r²f} | f, rf, r²f | 三个翻转 |
共轭类在表示论中至关重要：特征标（迹）在共轭类上取常值。 这意味着，同一个共轭类中的所有元素，在任意表示中都有相同的迹。
例如，在二维标准表示中：
tr(F)=tr(RF)=tr(R2F)=0 \text{tr}(F) = \text{tr}(RF) = \text{tr}(R^2F) = 0 tr(F)=tr(RF)=tr(R2F)=0
tr(R)=tr(R2)=−1 \text{tr}(R) = \text{tr}(R^2) = -1 tr(R)=tr(R2)=−1
这不是巧合，而是共轭不变性的直接结果。
八、主动视角与被动视角
8.1 我们用的是哪种视角？
在构造 R 和 F 时，我们把矩阵定义为作用在绝对坐标系中的点上：
v⃗′=Rv⃗ \vec{v}' = R\vec{v} v ′=Rv
这是主动视角：坐标系固定不动，矩阵是移动物体的算子。
群论天然采用主动视角。因为在群论里，我们关心的是"对称操作本身"，而不是"同一个操作在不同坐标系下长什么样"。
8.2 如果换成被动视角会怎样？
假设坐标系绑定在三角形上，随三角形一起运动。此时：
- 物体的绝对位置不变，改变的是坐标系的选取。
- 同一个物理操作，在局部坐标系中的矩阵表示需要经过共轭才能得到。
例如，考虑复合操作"先 f 后 r²"。在全局主动视角下，它的矩阵是 R²F。
如果采用被动视角（坐标系随物体运动），复合的推导如下：
- 第一步：执行 f。在旧坐标系中对应矩阵 F。
- 第二步：执行 r²。此时坐标系已经被 f 翻转了，所以全局的 R² 在新坐标系中需要共轭：F⁻¹R²F。
- 整个复合：在新坐标系中表现为 (F⁻¹R²F) · F = F⁻¹R²F² = F⁻¹R²。
这个矩阵和全局的 R²F 数值不同 ，但描述的是同一个物理操作，只是站在不同的参考系中观察。
8.3 主动视角与被动视角的对比
| 主动视角 | 被动视角 | |
|---|---|---|
| 坐标系 | 固定 | 随物体运动 |
| 矩阵含义 | 移动物体的算子 | 同一操作在局部坐标下的表示 |
| 复合形式 | 直接连乘 R²F | 需要共轭 F⁻¹R²F |
| 典型学科 | 群论 | 基础线性代数 |
8.4 两种视角本质相同
它们描述的是同一个物理事实，只是参考系不同。核心结论：
变换的几何本质是绝对的，坐标表示是相对的。
共轭（相似变换）正是连接这两种视角的数学桥梁。
九、S₃ 的完整表示论图景
9.1 一维平凡表示
ρtriv(g)=1,∀g∈S3 \rho_{\text{triv}}(g) = 1, \quad \forall g \in S_3 ρtriv(g)=1,∀g∈S3
所有群元素都映射到实数 1（作为 1×1 矩阵）。这个表示不忠实。
9.2 一维符号表示
ρsign(g)=det(ρstandard(g)) \rho_{\text{sign}}(g) = \det(\rho_{\text{standard}}(g)) ρsign(g)=det(ρstandard(g))
这是一个 1 维表示，矩阵是 1×1 的。
| 群元素 | 符号表示的值 |
|---|---|
| e | +1 |
| r | +1 |
| r² | +1 |
| f | -1 |
| rf | -1 |
| r²f | -1 |
这个表示捕捉了"定向是否保持"的信息，但不忠实。
9.3 二维标准表示
就是我们上面构造的那个。它忠实、不可约、维度最小。
9.4 三个表示的统一
S₃ 的三个不可约表示（在复数域上）满足：
12+12+22=6=∣S3∣ 1^2 + 1^2 + 2^2 = 6 = |S_3| 12+12+22=6=∣S3∣
即：所有不可约表示维度的平方和等于群的阶。
适用范围 ：这个公式对有限群在代数闭域（如 ℂ）上的所有不可约表示成立。对于实数域上的表示，情况稍复杂（实不可约表示可能由复不可约表示成对合并而成）。S₃ 的这三个表示在实数域上已经不可约。
十、表示论的威力：不止于 S₃
10.1 更复杂的有限群
- 循环群 Cₙ：用 n 次单位根构造 1 维表示。
- 二面体群 Dₙ：用二维旋转和翻转矩阵构造表示。
- 对称群 Sₙ：用置换矩阵构造表示。
10.2 连续群（李群）
SO(3)（三维旋转群）、SU(2)（量子力学中的自旋群）等连续群，也通过矩阵表示来研究。物理学中的角动量、自旋、规范场，本质上都是表示论。
10.3 量子力学
物理系统的对称性由群描述，群元素作用在量子态上表现为矩阵。粒子的分类、选择定则、守恒量，全都依赖于表示论。
10.4 机器学习
等变神经网络利用群表示来设计对对称性敏感的模型。群表示让网络"知道"旋转、平移等操作应该如何作用于特征。
十一、总结：从抽象到具体的桥梁
回到最开始的问题：
群太抽象了，能不能把它变成数字，变成可以计算的矩阵？
答案是：能。这就是表示论。
对于 S₃，我们做了这样一件事：
- 把正三角形放进坐标系。
- 把旋转和翻转写成矩阵。
- 验证矩阵乘法完全对应群乘法。
- 验证共轭在群论和矩阵表示中同步对应。
结果是：
群论→表示线性代数 \text{群论} \xrightarrow{\text{表示}} \text{线性代数} 群论表示 线性代数
抽象的四条公理，变成了具体的矩阵乘法。看不见的群元素，变成了看得见的空间变换。
共轭是连接主动视角与被动视角的桥梁：群论中用共轭 hgh⁻¹ 来"换参考系看操作"，线性代数中用相似变换 P⁻¹AP 来"换基看算子"。两者通过表示论精确对应。
附录 A：完整矩阵乘法表
| · | I | R | R² | F | RF | R²F |
|---|---|---|---|---|---|---|
| I | I | R | R² | F | RF | R²F |
| R | R | R² | I | RF | R²F | F |
| R² | R² | I | R | R²F | F | RF |
| F | F | R²F | RF | I | R² | R |
| RF | RF | F | R²F | R | I | R² |
| R²F | R²F | RF | F | R² | R | I |
附录 B：共轭计算汇总
| 群论等式 | 矩阵等式 | 几何意义 |
|---|---|---|
| rfr⁻¹ = r²f | RFR⁻¹ = R²F | 旋转共轭翻转 → 翻转轴旋转 |
| r²fr⁻² = rf | R²FR⁻² = RF | 旋转共轭翻转 → 翻转轴旋转 |
| frf⁻¹ = r² | FRF⁻¹ = R² | 翻转共轭旋转 → 旋转方向反转 |
| fr²f⁻¹ = r | FR²F⁻¹ = R | 翻转共轭旋转 → 旋转方向反转 |
附录 C：表示论核心概念速查
| 概念 | 含义 |
|---|---|
| 表示 | 群同态 ρ: G → GL(n, ℝ) |
| 忠实表示 | 单射，不同群元素对应不同矩阵 |
| 维数 | 矩阵的大小 n |
| 不可约表示 | 不能被分解为更小表示的直和 |
| 特征标 | χ(g) = tr(ρ(g))，迹函数 |
| 共轭 | g ↦ hgh⁻¹，换参考系看操作 |
| 共轭类 | 所有相互共轭的元素构成的集合 |
| 基本定理 | 不可约表示维数的平方和 = 群的阶（复数域上） |
| S₃ 的不可约表示 | 1 维平凡 + 1 维符号 + 2 维标准 |
附录 D：S₃ 表示论的关键公式
共轭类分解：
S₃ 有三个共轭类：
- {e}：单位元
- {r, r²}：旋转
- {f, rf, r²f}：翻转
不可约表示维数（复数域上）：
12+12+22=6=∣S3∣ 1^2 + 1^2 + 2^2 = 6 = |S_3| 12+12+22=6=∣S3∣
特征标表：
| 共轭类 | e | r | f |
|---|---|---|---|
| 平凡表示 | 1 | 1 | 1 |
| 符号表示 | 1 | 1 | -1 |
| 标准表示 | 2 | -1 | 0 |
标准表示的特征标计算：
χ(e)=tr(I)=2 \chi(e) = \text{tr}(I) = 2 χ(e)=tr(I)=2
χ(r)=tr(R)=(−1/2)+(−1/2)=−1 \chi(r) = \text{tr}(R) = (-1/2) + (-1/2) = -1 χ(r)=tr(R)=(−1/2)+(−1/2)=−1
χ(f)=tr(F)=1+(−1)=0 \chi(f) = \text{tr}(F) = 1 + (-1) = 0 χ(f)=tr(F)=1+(−1)=0
特征标只依赖于共轭类：r 和 r² 有相同的特征标（-1），f, rf, r²f 有相同的特征标（0）。这是表示论中"特征标是类函数"的具体体现。
本文是线性代数、群论与表示论交叉领域的一次探索。核心结论：群表示论让抽象群变成了可计算的矩阵，共轭（相似变换）是连接主动视角与被动视角的数学桥梁。从 S₃ 出发，我们看到了表示论的完整轮廓：忠实性、不可约性、特征标、共轭类、维数公式。这些概念将继续延伸到李群、量子力学和现代机器学习中。