群、環、體是什麼？代數結構的概念地圖

\[\require{physics}\]

在從 $11^{30}\bmod 100$ 走進抽象代數裡，我們用二項式定理解決了一道模算術問題，背後其實藏著「商環」與「冪零元」；在正方體等效電阻系列第四篇，我們用分子對稱與群的四條公理，把一個電路問題降維。

這兩篇文章的主題（數論 vs. 物理對稱）看起來毫無關係，但它們共用同一套底層語言——抽象代數。這篇文章要把這套語言的地圖畫出來：群、環、體到底是什麼，它們之間有什麼關係，又為什麼值得抽象化。

---

一、為什麼要抽象化？

整數加法、向量加法、矩陣加法、函數加法——這些對象天差地遠，但都滿足：

\[a+b=b+a,\qquad (a+b)+c=a+(b+c)\]

如果一個定理只用到這兩條規則就能證明，那它會同時適用於整數、向量、矩陣、函數，不需要分別證明四次。

這就是抽象代數的核心策略：

不問「元素是什麼」，只問「這些元素之間能做哪些運算、這些運算滿足哪些規則」。

把這句話寫成一句公式：

\[\boxed{\text{代數結構}=\text{集合}+\text{運算}+\text{公理}}\]

接下來，我們從最少的公理開始，一層一層往上加，看看會得到哪些結構。

---

二、起點：二元運算與五條基本公理

設 $S$ 是一個集合，$\ast$ 是一個二元運算（binary operation）：

\[\ast:S\times S\to S\]

也就是說，任取兩個 $S$ 中的元素 $a,b$，運算後得到的 $a\ast b$ 仍然在 $S$ 裡——這叫封閉性（closure）。

在封閉性之上，再依需要加入以下公理：

公理	內容	直觀問題
結合律（associativity）	$(a\ast b)\ast c=a\ast(b\ast c)$	括號位置重要嗎？
交換律（commutativity）	$a\ast b=b\ast a$	順序重要嗎？
單位元（identity）	存在 $e$ 使 $e\ast a=a\ast e=a$	有沒有「不做事」的元素？
逆元（inverse）	每個 $a$ 都有 $a^{-1}$ 使 $a\ast a^{-1}=e$	操作能不能反向取消？

不同代數結構的差異，本質上就是「要求哪幾條公理」。

---

三、群：可組合、可逆的操作

當一個集合配上一個二元運算，並滿足封閉性、結合律、單位元、逆元這四條，就得到群（group）：

\[(G,\cdot)\text{ 是群}\iff \begin{cases} a,b\in G\implies a\cdot b\in G & \text{（封閉性）}\\ (ab)c=a(bc) & \text{（結合律）}\\ \exists\,e: ea=ae=a & \text{（單位元）}\\ \forall a\,\exists\,a^{-1}: aa^{-1}=a^{-1}a=e & \text{（逆元）} \end{cases}\]

如果再加上交換律 $ab=ba$，就得到阿貝爾群（Abelian group）。

直覺：群就是「對稱性」的語言

群最自然的來源是「保持某個東西不變的操作」。在正方體等效電阻系列第四篇中，正方體的旋轉、反射這些「讓正方體看起來不變」的操作，彼此可以複合（做完一個再做下一個），可以還原（轉回去），這就構成一個群。

例子速覽

集合與運算	是群嗎？	單位元	逆元	阿貝爾嗎？
$(\mathbb{Z},+)$	✅	$0$	$-n$	✅
$(\mathbb{Z},\times)$	❌	$1$	大多數整數沒有	—
$(\mathbb{R}\setminus{0},\times)$	✅	$1$	$1/a$	✅
$n\times n$ 可逆矩陣 $GL_n(\mathbb{R})$，矩陣乘法	✅	$I$	$A^{-1}$	❌（$n\geq2$ 時 $AB\neq BA$）
$S_3$（三個元素的排列），複合	✅	不動排列	逆排列	❌

$(\mathbb{Z},\times)$ 不是群的原因很直接：$2$ 沒有整數乘法逆元（$\frac12\notin\mathbb{Z}$）。這個「缺一條公理」的例子，正是通往下一個結構的入口。

---

四、子群、正規子群、商群：群的內部結構

子群

若 $H\subseteq G$，且 $H$ 在同一個運算下本身也是群，就稱 $H$ 是 $G$ 的子群（subgroup），記作 $H\leq G$。

例如 $2\mathbb{Z}={\ldots,-2,0,2,4,\ldots}$ 是 $(\mathbb{Z},+)$ 的子群。

判別法很簡潔：

\[a,b\in H\implies ab^{-1}\in H\]

正規子群與商群

若子群 $N\leq G$ 對所有 $g\in G$ 滿足

\[gNg^{-1}=N\]

就稱 $N$ 是正規子群（normal subgroup），記作 $N\triangleleft G$。

正規子群的意義是：可以把 $N$ 裡所有元素「壓成單位元」，剩下的結構仍然是一個群，稱為商群（quotient group）：

\[G/N=\{gN:g\in G\}\]

最熟悉的例子就是

\[\mathbb{Z}/n\mathbb{Z}\]

——把所有相差 $n$ 的倍數的整數視為同一個元素，剩下的就是「鐘面上的 $n$ 個刻度」。這正是從 $11^{30}\bmod 100$ 走進抽象代數裡模算術的精確語言。

---

五、環：加、減、乘都能做，但未必能除

回到 $(\mathbb{Z},\times)$ 不是群的問題：整數乘法缺逆元，但整數同時擁有加法（是阿貝爾群）和乘法（結合、且對加法滿足分配律）。把這個觀察抽象化，就得到環（ring）。

一個集合 $R$ 配上加法 $+$ 與乘法 $\cdot$，若滿足：

1. $(R,+)$ 是阿貝爾群（加法單位元 $0$，每個元素有加法逆元 $-a$）
2. 乘法滿足結合律：$(ab)c=a(bc)$
3. 分配律：$a(b+c)=ab+ac$，$(a+b)c=ac+bc$

則稱 $R$ 為環。

\[\boxed{\text{環}=\text{加法是阿貝爾群}+\text{乘法結合}+\text{分配律}}\]

例子

環	加法單位元	乘法單位元	交換嗎？	備註
$\mathbb{Z}$	$0$	$1$	✅	除了 $\pm1$，沒有元素有乘法逆元
$\mathbb{Z}/6\mathbb{Z}$	$0$	$1$	✅	$2\times3=0$，有[[零因子]]
$M_n(\mathbb{R})$（$n\times n$ 矩陣）	零矩陣	$I$	❌（$n\geq2$）	矩陣乘法不交換
$\mathbb{R}[x]$（多項式）	$0$	$1$	✅	$x$ 沒有乘法逆元

$\mathbb{Z}/6\mathbb{Z}$ 裡 $2\times3=0$ 這件事特別值得注意：兩個非零元素相乘得到 $0$，稱為零因子（zero divisor）。這種「乘法消去律失效」的現象，是環比體更「鬆」的地方。

商環：環版本的商群

如果 $R$ 是環，$I\subseteq R$ 是理想（ideal，對乘法有吸收性的加法子群），就可以把 $I$ 裡的元素全部視為 $0$，得到商環：

\[R/I\]

例如 $\mathbb{Z}/n\mathbb{Z}$ 就是 $\mathbb{Z}$ 除以理想 $n\mathbb{Z}$。再例如

\[\mathbb{R}[x]/(x^2+1)\cong\mathbb{C}\]

把「$x^2+1=0$」這件事直接寫進結構裡，$x$ 就自動扮演了虛數單位 $i$。這個構造方式，是有限體、複數、$[11^{30}\bmod 100]$(/posts/modular-arithmetic-to-abstract-algebra/) 裡冪零元等現象背後共同的機制。

---

六、體：可以做四則運算的環

環的乘法不保證有逆元。如果再要求非零元素都有乘法逆元，就得到體（field）：

\[F\text{ 是體}\iff (F,+)\text{ 是阿貝爾群，且 }(F\setminus\{0\},\times)\text{ 也是阿貝爾群，且滿足分配律}\]

直觀地說：

\[\boxed{\text{體}=\text{可以自由做加、減、乘、除（除以非零數）的代數結構}}\]

例子

體	備註
$\mathbb{Q},\mathbb{R},\mathbb{C}$	最熟悉的體，特徵 $0$
$\mathbb{Z}/p\mathbb{Z}$（$p$ 為質數）	有限體，特徵 $p$
$\mathbb{Z}/6\mathbb{Z}$	不是體：$2,3$ 沒有乘法逆元（因為有零因子）

關鍵判準：$\mathbb{Z}/n\mathbb{Z}$ 是體 $\iff$ $n$ 是質數。這也是為什麼質數在抽象代數裡特別重要——它讓「除以非零元素」永遠合法。

---

七、總覽：一張概念地圖

把以上內容整理成一張表：

結構	運算數	核心要求	範例	與群論的關係
半群 / 么半群	1	結合律（／單位元）	$(\mathbb{N},+)$	群的弱化版
群	1	封閉、結合、單位元、逆元	$(\mathbb{Z},+)$、$GL_n(\mathbb{R})$、$S_n$	—
阿貝爾群	1	群 ＋ 交換律	$(\mathbb{R},+)$、$(\mathbb{R}^\times,\times)$	群的特例
環	2	加法是阿貝爾群、乘法結合、分配律	$\mathbb{Z}$、$M_n(\mathbb{R})$、$\mathbb{R}[x]$	加法部分是阿貝爾群
體	2	環 ＋ 非零元素乘法可逆且交換	$\mathbb{Q},\mathbb{R},\mathbb{C},\mathbb{F}_p$	非零元素在乘法下是阿貝爾群

從上到下，每一層都是在前一層的基礎上增加公理、限縮範圍：要求越多，結構越「規矩」，但能滿足要求的例子也越少——這正是「越特殊、越好用，但越稀有」的取捨。

---

八、回頭看兩篇舊文章

• 在正方體等效電阻系列第四篇中，正方體的對稱操作集合構成一個群（不一定阿貝爾），這讓我們可以用群作用與軌道，把 24 個電路節點分成 3 類等價節點。
• 在從 $11^{30}\bmod 100$ 走進抽象代數中，$\mathbb{Z}/100\mathbb{Z}$ 是一個環（不是體，因為 $100$ 不是質數），而 $10$ 是其中的冪零元——這正是商環 $\mathbb{Z}/(100)$ 的結構特徵，讓二項式展開自動截斷。

兩篇文章看似主題無關，但都是「集合 + 運算 + 公理」這套語言的具體實例。下一次看到一個新的數學物件時，不妨先問：它的運算有幾個？滿足哪些公理？——答案往往會直接告訴你，這個物件屬於這張地圖上的哪個位置。