【抽象代数】群、环、域

群、环、域是抽象代数（近世代数）中最基础也最重要的三个代数结构。

它们层层递进，越来越“规矩”。

一、群（Group）—— 一个集合 + 一种运算

一个集合（比如整数集合），再定义一种“ 操作”（比如加法）。

如果这个操作满足以下 4 个条件，这个集合就叫 “群”：

1. 封闭性：集合里任意两个元素做这个操作，结果还在这个集合里
2. 结合律：(a ∘ b) ∘ c = a ∘ (b ∘ c)
3. 有单位元（幺元）：存在一个特殊元素 e，使得 a ∘ e = e ∘ a = a
4. 每个元素都有逆元：对任意 a，存在一个 b，使得 a ∘ b = e

如果还满足 交换律（a ∘ b = b ∘ a），就叫阿贝尔群（交换群）。整数加法就是阿贝尔群。

二、环（Ring）—— 一个集合 + 两种运算（加法和乘法）

环有两个运算，通常叫 加法（+）和 乘法（×）。

1. 对 加法 构成一个阿贝尔群（满足上面 4 条，且可交换）。
2. 对 乘法 满足：
   • 封闭性
   • 结合律 （不要求有单位元，也不要求每个元素有乘法逆元）

                （即，环对乘法运算构成 “半群”）

     3. 乘法对加法满足分配律：
        a × (b + c) = a×b + a×c

注意：环的乘法不一定可交换，也不一定每个非零元都能做除法。

例子：

• 整数集 ℤ 对加法和乘法构成环（但不是域，因为除了  没有元素有整数乘法逆元）。
• 所有 n×n 实数矩阵也构成环（乘法不可交换）。

三、域（Field）—— 环的“完美版本”

域是一种特别好的环，它要求：

1. 对加法是阿贝尔群。
2. 所有非零元素对乘法构成阿贝尔群
   → 这意味着：
   • 乘法有单位元（通常是 1）
   • 每个非零元素都有乘法逆元（可以做除法）
   • 乘法可交换

再加上分配律，就构成了域。

简单说：域就是能自由做 +、−、×、÷（除数不为零）的数系。

例子：

• 有理数 ℚ、实数 ℝ、复数 ℂ 都是域。
• 整数 ℤ 不是域，因为除了  没有元素有整数乘法逆元。