從對稱性看群、環、體：抽象代數的三層結構

為什麼正三角形「轉一轉、翻一翻」會藏著一整套代數？

請拿起一片正三角形的紙板，在桌面上玩一個遊戲：你只能做兩種動作——把它「逆時針轉 $120^\circ$」，或「沿著某條中線翻面」。玩了幾下你會發現一件神奇的事：不管你怎麼組合這些動作，三角形最後落下的位置，永遠和「直接做某一個動作」的結果一模一樣。換句話說，這堆動作彼此「自給自足」，組合來組合去都跑不出這個圈子。

這個「自給自足」的封閉世界，正是抽象代數（abstract algebra）的起點。十九世紀的數學家發現：與其一個一個研究方程式、幾何、數論，不如退一步問——這些東西底層共用的「運算結構」到底長什麼樣？ 於是有了群（group）、環（ring）、體（field）三個層層遞進的概念。而理解它們最直觀的鑰匙，就是「對稱性（symmetry）」。

對稱性，就是「動了卻看起來沒動」

我們先把「對稱」講清楚。一個物件的對稱操作（symmetry operation），是指一種「動作」，做完之後物件看起來和原本一模一樣。

正三角形有哪些對稱操作？

• 三個旋轉：不轉（$e$）、轉 $120^\circ$（記作 $r$）、轉 $240^\circ$（記作 $r^2$）。
• 三個鏡射：沿三條中線各翻一次（記作 $s_1, s_2, s_3$）。

總共 $6$ 個操作。這六個操作所成的集合，配上「先做一個、再做另一個」的合成運算，就是著名的二面體群（dihedral group） $D_3$（也常寫作 $D_6$，視教材慣例而定）。

把這件事抽象化，就得到群的定義。

群（Group）：對稱性的代數化身

一個群 $(G, *)$ 是一個集合 $G$ 配上一個二元運算 $*$，滿足四條公理：

1. 封閉性（closure）：對任意 $a, b \in G$，都有 $a * b \in G$。
2. 結合律（associativity）：$(a * b) * c = a * (b * c)$。
3. 單位元（identity）：存在 $e \in G$，使得 $e * a = a * e = a$。
4. 逆元（inverse）：每個 $a$ 都有 $a^{-1}$，使得 $a * a^{-1} = a^{-1} * a = e$。

回頭看 $D_3$：封閉性對應「組合動作跑不出這六個」，單位元就是「不動」$e$，旋轉 $r$ 的逆元是 $r^2$（轉回來），每個鏡射的逆元是它自己（翻兩次回到原位，$s_i^2 = e$）。四條公理全部成立。

注意群不要求交換律。在 $D_3$ 裡，「先轉再翻」和「先翻再轉」結果通常不同：

$$ r * s_1 \neq s_1 * r. $$

滿足交換律 $a*b = b*a$ 的群叫做交換群或阿貝爾群（abelian group），例如整數加法 $(\mathbb{Z}, +)$。

看一個例子：時鐘上的群

把時鐘的 $12$ 個鐘點 $\{0, 1, 2, \dots, 11\}$ 配上「相加後取除以 $12$ 的餘數」，這叫做模 12 整數加法群 $\mathbb{Z}_{12}$。例如：

$$ 9 + 5 = 14 \equiv 2 \pmod{12}. $$

驗證一下：單位元是 $0$；$9$ 的逆元是 $3$，因為 $9 + 3 = 12 \equiv 0$。它是個阿貝爾群，而且只用一個元素 $1$ 反覆相加就能生成全部元素（$1, 1+1, 1+1+1, \dots$），這種群叫循環群（cyclic group），記作 $\langle 1 \rangle$。

群論真正威力來自子群（subgroup）與拉格朗日定理（Lagrange's theorem）：若 $H$ 是有限群 $G$ 的子群，則 $|H|$ 一定整除 $|G|$。在 $\mathbb{Z}_{12}$ 中，子群的階只能是 $12$ 的因數：$1, 2, 3, 4, 6, 12$——你絕對找不到一個含 $5$ 個元素的子群。

環（Ring）：當「加法」遇上「乘法」

群只有「一種運算」。但生活中的數同時有加法和乘法。把兩種運算疊在一起，就得到環（ring）。

一個環 $(R, +, \cdot)$ 是集合 $R$ 配上兩種運算，滿足：

• $(R, +)$ 是一個阿貝爾群（有加法單位元 $0$、每個元素有加法逆元）。
• 乘法 $\cdot$ 滿足結合律。
• 分配律（distributive law）把兩者連起來：

$$ a \cdot (b + c) = a \cdot b + a \cdot c, \qquad (a + b) \cdot c = a \cdot c + b \cdot c. $$

最熟悉的例子就是整數 $(\mathbb{Z}, +, \cdot)$。注意：環的乘法不一定可交換，也不一定有乘法逆元。整數裡 $2$ 就沒有乘法逆元（$\tfrac12 \notin \mathbb{Z}$）。

看一個例子：模 12 的環與「零因子」陷阱

把 $\mathbb{Z}_{12}$ 同時配上模 $12$ 的加法與乘法，就成了環。這裡有個常見迷思值得拆解：在普通整數中，「兩個非零數相乘必不為零」。但在 $\mathbb{Z}_{12}$ 中：

$$ 3 \cdot 4 = 12 \equiv 0 \pmod{12}. $$

$3$ 和 $4$ 都不是零，乘起來卻是零！這種現象叫零因子（zero divisor）。一個沒有零因子的交換環（且 $1 \neq 0$）稱為整環（integral domain），$\mathbb{Z}$ 就是整環，但 $\mathbb{Z}_{12}$ 不是。

矩陣也是環的重要範例。所有 $2\times 2$ 實矩陣配上矩陣加法與乘法構成一個環，而且它不可交換：

$$ \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}, \qquad \begin{pmatrix} 1 & 0 \\ 1 & 1 \end{pmatrix} \begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} = \begin{pmatrix} 1 & 1 \\ 1 & 2 \end{pmatrix}. $$

兩者不相等，印證矩陣環的非交換性。

體（Field）：最完美的數系

環裡乘法常常不能「做除法」。如果我們要求每個非零元素都有乘法逆元，而且乘法可交換，就得到結構最豐富的體（field）。

一個體 $(F, +, \cdot)$ 是一個交換環，滿足 $1 \neq 0$，且每個 $a \neq 0$ 都存在 $a^{-1} \in F$ 使得 $a \cdot a^{-1} = 1$。換句話說，在體裡你可以自由地加、減、乘、除（除以非零數）。

你早就認識許多體：有理數 $\mathbb{Q}$、實數 $\mathbb{R}$、複數 $\mathbb{C}$ 都是體。$\mathbb{Z}$ 卻不是體（$2$ 沒有乘法逆元）。

動手試試：建一個只有 5 個元素的體

考慮 $\mathbb{Z}_5 = \{0, 1, 2, 3, 4\}$，配上模 $5$ 的加法與乘法。為什麼它是體，$\mathbb{Z}_{12}$ 卻不是？關鍵在 $5$ 是質數。

我們來找每個非零元素的乘法逆元（也就是解 $a \cdot x \equiv 1 \pmod 5$）：

• $1 \cdot 1 = 1 \;\Rightarrow\; 1^{-1} = 1$。
• $2 \cdot 3 = 6 \equiv 1 \;\Rightarrow\; 2^{-1} = 3$。
• $3 \cdot 2 = 6 \equiv 1 \;\Rightarrow\; 3^{-1} = 2$。
• $4 \cdot 4 = 16 \equiv 1 \;\Rightarrow\; 4^{-1} = 4$。

每個非零元素都有逆元，所以 $\mathbb{Z}_5$ 是體！這是有限體（finite field） $\mathbb{F}_5$ 的最小範例。一般而言，$\mathbb{Z}_p$ 是體若且唯若 $p$ 是質數——因為只有 $p$ 是質數時，模 $p$ 不會出現「零因子」這種乘法「卡住」的情況。

三者的層層遞進

把三個結構並排，你會看到一條清楚的「加碼」路線：

$$ \text{群} \;\xrightarrow{\;\text{加上第二種運算 + 分配律}\;}\; \text{環} \;\xrightarrow{\;\text{乘法可逆 + 可交換}\;}\; \text{體}. $$

每往右一步，結構就更「乖」一點、能做的運算更多一點，但符合條件的例子也更少一點。這正是抽象代數的精神：用最少的公理，刻畫最廣的數學現象。

重點回顧

1. 對稱性是群的直觀來源：一個物件所有「動了卻看起來沒動」的操作，配上合成運算，自然構成群（如正三角形的 $D_3$）。
2. 群只需一種運算，滿足封閉、結合、單位元、逆元四條公理；不要求交換。$D_3$ 是非交換群，$(\mathbb{Z}, +)$ 與 $\mathbb{Z}_{12}$ 是交換（阿貝爾）群。
3. 環有加法與乘法兩種運算，靠分配律連接。環的乘法可能不交換、可能沒有逆元，還可能出現零因子（如 $3 \cdot 4 \equiv 0 \pmod{12}$）。
4. 體是最完美的結構：交換環且每個非零元素都有乘法逆元，可自由加減乘除。$\mathbb{Z}_p$ 是體若且唯若 $p$ 是質數。
5. 三者層層遞進：群 $\to$ 環 $\to$ 體，公理越加越多、結構越來越「乖」，符合的例子越來越少。

深入探討（研究所視角）

把「對稱性」這條線索拉到研究所層級，會看到抽象代數如何成為現代數學與資訊科學的骨架。

1. 表示論（representation theory）：讓群「住進」線性代數。 我們直覺上把 $D_3$ 看成幾何操作，但更強大的視角是把每個群元素對應到一個可逆矩陣，即一個群同態（homomorphism）$\rho: G \to GL(n, \mathbb{C})$。$D_3$ 的二維表示恰好把 $r$ 對應到旋轉矩陣

$$ \rho(r) = \begin{pmatrix} \cos 120^\circ & -\sin 120^\circ \\ \sin 120^\circ & \cos 120^\circ \end{pmatrix}, $$

把鏡射對應到反射矩陣。透過特徵標（character）$\chi(g) = \operatorname{tr}\rho(g)$，原本抽象的群結構被翻譯成可計算的線性代數問題。表示論是粒子物理（規範對稱性）、量子化學（分子振動模態）與晶體學分類的共同語言。

2. 伽羅瓦理論（Galois theory）：用群回答「方程式能不能開根號解」。 為什麼五次以上一般方程式沒有公式解？伽羅瓦（Évariste Galois）的洞見是：把方程式的根所生成的體擴張（field extension）$L/K$，對應到一個群——伽羅瓦群 $\operatorname{Gal}(L/K)$，它由所有「保持 $K$ 不動的體自同構」組成，本質上是根之間的對稱性。伽羅瓦對應（Galois correspondence）建立了「中間體」與「子群」之間的反序一一對應。一個方程式可用根式求解，若且唯若其伽羅瓦群是可解群（solvable group）。一般五次方程的伽羅瓦群是對稱群 $S_5$，而 $S_5$ 不可解——這就是阿貝爾–魯菲尼定理（Abel–Ruffini theorem）的群論本質。

3. 有限體與現代資訊基礎建設。 前面建的 $\mathbb{F}_5$ 只是冰山一角。對任意質數 $p$ 與正整數 $n$，恰好存在一個（同構意義下唯一的）$p^n$ 元有限體 $\mathbb{F}_{p^n}$，它透過 $\mathbb{F}_p$ 上的不可約多項式商環 $\mathbb{F}_p[x]/(f(x))$ 構造。例如 AES 加密標準在 $\mathbb{F}_{2^8}$ 上做運算；里德–所羅門碼（Reed–Solomon code）用有限體上的多項式求值，讓 QR Code 與光碟在部分損毀時仍能還原；橢圓曲線密碼學（ECC）則建立在有限體上的橢圓曲線群。「群環體」三個看似抽象的概念，正默默支撐著每一次刷卡與每一通加密通話。

4. 範疇論視角下的統一。 更高的觀點把群、環、體都看成某種「帶結構的物件」，而保結構映射（同態）構成態射。第一同構定理（first isomorphism theorem）對群、環、模都成立：$G/\ker\varphi \cong \operatorname{im}\varphi$。這種跨結構的「形狀相同」，提示我們抽象代數真正研究的不是某個具體數系，而是結構本身的語法——這也是為什麼從一片轉動的三角形出發，最後能抵達密碼學、量子物理與數論的核心。