正方體等效電阻（四）：群論是什麼？從分子對稱出發
食鹽為什麼是正方體？水分子為什麼是彎曲的？本文從分子對稱出發介紹群的四條公理、群作用與軌道，說明對稱性如何把立方體電路問題降維。立方晶格等效電阻系列第四篇。
為什麼食鹽晶體（$\ce{NaCl}$）長成正方體，而雪花有六重對稱？為什麼水分子 $\ce{H2O}$ 是彎曲的（$104.5^\circ$），而二氧化碳 $\ce{CO2}$ 是直線型的？
物理學家和化學家研究這些問題時，發現背後有同一個數學語言：群論（group theory）。
在第三篇，我們用了「對稱操作的集合 $S_3$」來分類立方體電路的節點。但 $S_3$ 是一個群，而「群」這個詞背後有精確的定義。這篇從物理和化學的直覺出發，介紹群的概念，然後把它連回電路問題。
對稱操作的例子
先看具體的對稱操作。
等邊三角形的旋轉
一個等邊三角形，三個頂點標記為 $1, 2, 3$。以三角形中心為軸，有三種旋轉使三角形「回到原位」：
- $e$：旋轉 $0^\circ$（不動）
- $r$：旋轉 $120^\circ$（$1\to 2 \to 3 \to 1$）
- $r^2$：旋轉 $240^\circ$（$1\to 3 \to 2 \to 1$）
連續做兩個旋轉，結果仍然是一個旋轉。例如先做 $r$ 再做 $r$，等於 $r^2$；先做 $r^2$ 再做 $r^2$，等於 $r$（因為旋轉 $480^\circ = 360^\circ + 120^\circ$，等效於 $120^\circ$）。
圖 1： 等邊三角形的三個旋轉操作 $e,r,r^2$。扇形標出旋轉角，頂點上的數字顯示標號如何隨操作移動。
水分子的對稱
$\ce{H2O}$ 分子：氧原子在中間，兩個氫原子在兩側，鍵角約 $104.5^\circ$。
以分子平面為鏡面，以氧原子到鍵角平分線為軸，水分子有以下對稱操作：
- $e$：恆等操作
- $C_2$：繞對稱軸旋轉 $180^\circ$，兩個 H 互換
- $\sigma_v$：鏡射，分子在平面內不動
- $\sigma_v’$：另一個鏡射平面
這四個操作的集合，就是水分子的點群（point group）——$C_{2v}$。
點群的意思是：所有對稱操作都固定空間中的至少一個點（通常是分子重心）。
圖 2：水分子 $\ce{H2O}$ 的 $C_{2v}$ 操作互動示意。切換 $e,C_2,\sigma_v,\sigma_v'$，觀察參考軸／鏡面與 H₁、H₂ 身份如何被操作送到新位置。
點群：分子幾何的代數指紋
$\ce{CO2}$ 的點群是 $D_{\infty h}$（包含任意角度的繞軸旋轉），$\ce{H2O}$ 的點群是 $C_{2v}$（只有 $180^\circ$ 旋轉和兩個鏡射面）。點群不同反映幾何構型不同——點群就是分子幾何的代數指紋。為什麼這兩個分子各有這樣的構型，那是量子化學的問題；這裡想傳達的是：一個代數標籤（點群）就能完整刻畫一個分子的對稱性。
群的四條公理
定義（群）：集合 $G$ 連同二元運算 $\cdot$ 構成一個群（group），若滿足：
- 封閉性（$a\cdot b\in G$）
- 結合律（$(ab)c=a(bc)$）
- 單位元（存在 $e$ 使 $ea=ae=a$）
- 逆元（每個 $a$ 有 $a^{-1}$ 使 $aa^{-1}=e$）
若另外滿足交換律 $ab=ba$，則稱為阿貝爾群（abelian group）。
用對稱操作的語言讀這四條公理：封閉性說的是兩個對稱操作接連執行仍是對稱操作；結合律對操作的組合天然成立；單位元就是「什麼都不做」的恆等操作 $e$；逆元就是「反向操作」——旋轉 $120^\circ$ 的逆是旋轉 $240^\circ$，鏡射的逆是自己本身。
群不一定滿足交換律 $ab = ba$。旋轉群在三維空間通常是非阿貝爾的：先轉 $x$ 軸再轉 $y$ 軸，和先轉 $y$ 軸再轉 $x$ 軸，結果不同（下一節的 $S_3$ 就是最小的反例）。
幾個具體的群
$\mathbb{Z}_n$：整數模 $n$（時鐘算術）
整數模 $n$（integers modulo $n$）可以想成把 $0, 1, 2, \ldots, n-1$ 排成一圈，加法「滿了就歸零」——這就是模 $n$ 加法，也叫時鐘算術。
以 $\mathbb{Z}_3 = \{0, 1, 2\}$ 為例：$1+1=2$，$1+2=0$，$2+2=1$。逆元是加起來會回到 $0$ 的數（$1$ 的逆元是 $2$，$0$ 的逆元是自己）。這恰好和等邊三角形的旋轉群是「同一個群」：旋轉 $k \times 120^\circ$ 對應數字 $k$，三次旋轉回原位（$r^3 = e$）對應 $0 + 3 \equiv 0 \pmod{3}$。兩個集合的表面形式不同，代數結構完全一樣——群論把這稱為同構（isomorphism）：不同包裝的相同抽象結構。
$S_n$：$n$ 個元素的置換群
置換群（permutation group）是由置換組成的群；而置換（permutation）就是把 $n$ 個物件重新排列。3 個物件有 $3! = 6$ 種排列，$n$ 個有 $n!$ 種，因此 $\lvert S_n \rvert = n!$。置換的「乘法」是依序執行：先做一個排列，再做另一個。
本文採數學常用的記號慣例：乘積 $ab$ 表示「先做 $b$，再做 $a$」。這和函數合成 $f(g(x))$ 的讀法一樣，右邊的操作先作用。
輪換記號（cycle notation）讓書寫更緊湊：
- $(12)$：把 1 和 2 互換，其他不動，稱為對換（transposition）。
- $(123)$：$1 \to 2 \to 3 \to 1$，其他不動，稱為循環置換（cyclic permutation）。
$S_3$ 的六個元素：
\[S_3 = \bigl\{e,\; (12),\; (13),\; (23),\; (123),\; (132)\bigr\}\]$e$ 是恆等（誰都不動），三個對換各把兩個元素互換，兩個三元輪換各做一次完整的三人循環。
回到正方體的坐標軸時，可以把 $1,2,3$ 分別對應到 $x,y,z$；同一組元素也可以寫成 $e,(xy),(xz),(yz),(xyz),(xzy)$。這只是記號換了一層外衣，群的結構沒有改變。
$S_3$ 是最小的非阿貝爾群：$(12)(13) = (132)$，但 $(13)(12) = (123)$——先做哪個置換，結果不同。這正是第三篇裡的坐標置換群：把三個坐標軸 $x, y, z$ 視為三個物件，$S_3$ 就是所有重排方式的集合。
圖 3：依序按下兩個置換按鈕，觀察 $S_3$ 的非交換性。上排表示 $(12)(13)$，依照右到左慣例先做 $(13)$ 再做 $(12)$，結果為 $(132)$；下排表示 $(13)(12)$，先做 $(12)$ 再做 $(13)$，結果為 $(123)$。
正方體的對稱群 $O_h$
正方體在三維空間的完整對稱群包含旋轉和鏡射，共 $48$ 個元素。物理學中通常記為 $O_h$（$O$ 是旋轉部分，共 $24$ 個；$h$ 表示包含反轉）。
這個群出現在：
- 晶體學：$\ce{NaCl}$、金剛石等立方晶系的對稱描述
- 量子化學：過渡金屬配合物的 $d$ 軌道分裂（晶體場理論）
- 固體物理：布里淵區（Brillouin zone）的對稱性
圖 4：互動切換正方體繞體對角線 A-H 的旋轉。A、H 固定，三個 B 型節點在同一軌道中循環交換。
在本系列的電路問題裡，我們用的只是 $O_h$ 的一個子群：坐標置換群 $S_3$（6 個元素）。$O_h$ 裡有許多操作（例如翻轉正方體）會動到固定的端點 $A$ 和 $H$，不符合電路邊界條件，必須排除。縮小到 $S_3$，正是因為我們要求操作同時保持 $A$ 和 $H$ 不動。
知識地圖定位：$O_h$、32 種晶體點群、不可約表示……是學完大學群論或量子化學後的自然去處。在固體物理裡，點群決定布里淵區的對稱性，進而影響能帶結構。這裡點到為止，有興趣可以把這些主題當作延伸閱讀。
群作用與軌道
群作用（group action）是把「抽象的群元素」翻譯成「某個集合上的具體動作」。群可以作用在（act on）另一個集合 $X$ 上：每個群元素 $g$ 告訴你怎麼移動 $X$ 裡的元素，而且這個移動方式和群的運算必須一致——先做 $h$ 再做 $g$，要和直接做 $gh$ 的結果相同：
\[g \cdot (h \cdot x) = (g \cdot h) \cdot x, \qquad e \cdot x = x \tag{1}\label{eq4:action}\]有了群作用，就能定義軌道（orbit）：元素 $x$ 在群的所有操作下能去到的地方，就是 $x$ 的軌道：
\[G \cdot x = \{g \cdot x \mid g \in G\} \subseteq X \tag{2}\label{eq4:orbit}\]不同軌道不相交，所有軌道聯集等於整個 $X$——這稱為 $X$ 在 $G$ 作用下的軌道分解。同一軌道裡的元素，從群的角度看「完全等價」：它們可以被相互映射過去。
以立方體電路為例
$G = S_3$，$X$ 是立方體的 $8$ 個節點。這裡要小心：$S_3$ 不是把坐標值 $0,1$ 變成別的數字，而是交換三個坐標軸位置。
例如把節點坐標寫成
\[(a_x,a_y,a_z), \qquad a_x,a_y,a_z \in \{0,1\}\]對換 $(xy)$ 的意思是交換 $x$ 軸與 $y$ 軸，所以它把
\[(xy)\cdot(a_x,a_y,a_z)=(a_y,a_x,a_z) \tag{3}\label{eq4:sigma-action-example}\]更一般地，若 $\sigma$ 是三個坐標軸的置換，則
\[\sigma\cdot(a_x,a_y,a_z) = \bigl(a_{\sigma^{-1}(x)},a_{\sigma^{-1}(y)},a_{\sigma^{-1}(z)}\bigr) \tag{4}\label{eq4:sigma-action}\]這裡的 $\sigma$ 代表「坐標軸被送到哪裡」，$\sigma^{-1}$ 則是它的反向操作，用來回答：「新的這個位置，應該拿原本哪一個坐標值來放？」
舉例來說，若 $\sigma=(xyz)$，意思是 $x\to y,\ y\to z,\ z\to x$。新的 $x$ 位置，是原本的 $z$ 軸被送過來；新的 $y$ 位置，是原本的 $x$ 軸被送過來；新的 $z$ 位置，是原本的 $y$ 軸被送過來。因此
\[(xyz)\cdot(a_x,a_y,a_z)=(a_z,a_x,a_y)\]這就是公式裡出現 $\sigma^{-1}$ 的原因。若只想抓直覺，可以先記住最重要的版本：交換坐標軸，就是交換坐標的位置。
由式 $\eqref{eq4:orbit}$，四個軌道為：
\[\{(0,0,0)\}, \quad \{(1,0,0),(0,1,0),(0,0,1)\}, \quad \{(1,1,0),(1,0,1),(0,1,1)\}, \quad \{(1,1,1)\}\]這正好對應第三篇式 (3) 定義的軌道分解，四個軌道各對應一個電位值。
補充：如何計算軌道大小（可跳過）
一個元素 $x$ 的軌道大小等於群的大小除以「穩定子群」的大小，穩定子群指所有讓 $x$ 不動的群元素：
\[\lvert G \cdot x \rvert = \frac{\lvert G \rvert}{\lvert \text{Stab}(x) \rvert} \tag{5}\label{eq4:orbit-stab}\]例如 $(0,0,0)$ 被 $S_3$ 全部 6 個元素固定，軌道大小 $= 6/6 = 1$；$(1,0,0)$ 只被 $e$ 和 $(yz)$ 固定（有 2 個），軌道大小 $= 6/2 = 3$。這是群論中軌道-穩定子定理（orbit-stabilizer theorem）的結論，是計算軌道大小的標準捷徑。
連回電路問題
在第三篇，我們讓 $S_3$（正方體坐標置換的 $6$ 元素群）以式 $\eqref{eq4:sigma-action}$ 的方式作用在 $8$ 個節點上，由式 $\eqref{eq4:orbit}$ 找到 $4$ 個軌道（第三篇式 (3)），再由式 $\eqref{eq4:orbit-stab}$ 驗算各軌道大小，把 $6$ 個未知電位壓縮成 $2$ 個。
這個過程通常稱為對對稱性取商（quotient by symmetry）；在圖論語言裡，合併後得到的是一個商圖（quotient graph），在這裡也可以稱為商電路。直觀地說，我們把彼此對稱、電位必然相同的節點合併，得到一個只有 $4$ 個節點的較小電路。這個等效電路保留了原問題需要的資訊，但方程式的規模大幅縮小。
圖 5： 群作用先把節點分成軌道；唯一性讓同軌道節點等電位；最後把每個軌道合併成商電路。
在後續的篇章，我們先把同樣的邏輯應用到正方體的另外兩種連法（面對角線與稜邊）——看看端點改變時，對稱群如何跟著縮小、軌道如何隨之增多。之後再把視野擴大到圖論與矩陣方法，用圖 Laplacian 把三個答案一次算出。
小結
| 概念 | 意義 | 在電路問題中的角色 |
|---|---|---|
| 群（group） | 滿足 4 條公理的代數結構 | 對稱操作的集合 $S_3$ |
| 群作用（group action） | 群元素作用在集合上的映射 | 置換節點坐標 |
| 軌道（orbit） | 某元素在群作用下的等價類 | 電位相同的節點類 |
| 商（quotient） | 把同軌道元素合併後的結構 | 等效小電路 |
群論的核心貢獻是：讓「對稱性」從模糊的感覺變成可計算的代數結構。一旦你知道問題的對稱群，就能系統性地找到所有等價關係，自動縮小求解規模。
在分子物理裡，這讓化學家能預測哪些振動模式是紅外活性的；在固體物理裡，這是 Bloch 定理和能帶結構的基礎；在本篇的正方體電路裡，這讓 $6$ 個內部未知電位縮成 $2$ 個。若把問題放大到第一篇結尾提到的 $2\times2\times2$ 晶格（共 $27$ 個節點），同一套軌道分類還能把 $25$ 個內部未知壓到 $3$ 個。
【系列待續】 下一篇（第五篇）將改變端點配置：把同樣的群作用軌道法套用到面對角線與稜邊，展示不同端點如何決定不同的對稱子群，以及壓縮程度如何隨之改變。