群、环、域的代数结构层级关系及典型例子

代数结构是数学中用于研究集合上运算规律的基本框架。群、环、域是三种核心代数结构，它们层层递进，约束条件逐级增强。理解它们的层级关系是学习抽象代数的关键第一步。

1. 定义核心代数结构

1.1 群

定义：一个集合 $G$ 配上一个二元运算 $*$，满足以下四条公理：

1. 封闭性：对任意 $a, b \in G$，有 $a * b \in G$。
2. 结合律：对任意 $a, b, c \in G$，有 $(a * b) * c = a * (b * c)$。
3. 单位元：存在一个元素 $e \in G$，使得对任意 $a \in G$，有 $e * a = a * e = a$。
4. 逆元：对任意 $a \in G$，存在一个元素 $a^{-1} \in G$，使得 $a * a^{-1} = a^{-1} * a = e$。

典型例子：

• 整数集 $\mathbb{Z}$ 配上加法运算 $+$。单位元是 $0$，整数 $a$ 的逆元是 $-a$。
• 非零实数集 $\mathbb{R}^*$ 配上乘法运算 $\times$。单位元是 $1$，实数 $a$ 的逆元是 $\frac{1}{a}$。

1.2 环

定义：一个集合 $R$ 配上两个二元运算 $+$ 和 $\times$，满足：

1. $(R, +)$ 是一个阿贝尔群（即加法满足交换律的群）。
2. $(R, \times)$ 满足封闭性和结合律。
3. 乘法对加法满足分配律：对任意 $a, b, c \in R$，有 $a \times (b + c) = a \times b + a \times c$ 和 $(a + b) \times c = a \times c + b \times c$。

关键区别：环不要求乘法有单位元，也不要求非零元素有乘法逆元。
典型例子：

• 所有整数构成的集合 $\mathbb{Z}$，配上通常的加法和乘法。
• 所有 $n \times n$ 实数矩阵构成的集合，配上矩阵加法和乘法。
• 模 $n$ 的剩余类环 $\mathbb{Z}_n$（例如时钟算术 $\mathbb{Z}_{12}$）。

1.3 域

定义：一个集合 $F$ 配上两个二元运算 $+$ 和 $\times$，满足：

1. $(F, +)$ 是一个阿贝尔群。
2. $(F \setminus \{0\}, \times)$ 是一个阿贝尔群（即非零元素在乘法下构成交换群）。
3. 乘法对加法满足分配律。

关键区别：域是交换的、有单位元的、且每个非零元素都有乘法逆元的环。
典型例子：

• 有理数集 $\mathbb{Q}$、实数集 $\mathbb{R}$、复数集 $\mathbb{C}$，配上通常的加法和乘法。
• 有限域 $\mathbb{F}_p$（其中 $p$ 是素数），即模 $p$ 的剩余类域。例如 $\mathbb{F}_2 = \{0, 1\}$，运算规则是 $1+1=0$。

2. 建立层级关系

通过对比定义，可以清晰地看到约束条件的强弱，从而构建代数结构的层级图。

步骤：绘制一个包含三个同心圆的层级图。最内层是域，中间层是环，最外层是群。这表示：每一个域都是一个环，每一个环（在加法意义上）都是一个群。但反之不成立。

关键包含关系：

1. 域 ⊂ 环：域是满足额外条件的特殊环。域要求乘法交换、有单位元、非零元素可逆。
2. 环 ⊂ 加法群：任何一个环的集合，只看它的加法运算 $(R, +)$，就构成一个阿贝尔群。
3. 因此，域的结构最强，环次之，群的结构最基础。

3. 对比关键性质

为了快速区分这三种结构，请对照下表的核心性质。

4. 运用层级关系

判断一个代数系统的类型时，遵循从强到弱的验证顺序：

1. 先检验它是否是一个域：检查是否所有环的条件都满足，并且非零元素是否都能做除法（即乘法可逆）、乘法是否交换。
2. 如果不满足域的条件，再检验它是否是一个环：检查加法是否构成阿贝尔群，乘法是否封闭、结合，以及分配律是否成立。
3. 如果还不满足环的条件（比如只有一个运算），最后检验它是否是一个群。

练习判断：

• 对象：所有偶数构成的集合 $\{..., -4, -2, 0, 2, 4, ...\}$，配上通常的加法和乘法。
• 步骤：
  1. 检验加法群：偶数加偶数仍是偶数（封闭），加法满足结合律、交换律，单位元是 $0$，每个偶数 $a$ 的加法逆元是 $-a$（也是偶数）。所以它是一个阿贝尔群。
  2. 检验乘法：偶数乘偶数仍是偶数（封闭），乘法满足结合律、交换律。
  3. 检验单位元和逆元：乘法单位元是 $1$，但 $1$ 不是偶数，所以此集合没有乘法单位元。
• 结论：它是一个环（没有乘法单位元的交换环），但不是一个域。