群论 (Group Theory)

群论研究“带运算的集合”所蕴含的代数结构与对称性，是现代代数的基石。

1. 群的定义与基本性质

1.1 群的定义

设 $G$ 是非空集合，$\cdot$ 是其上的二元运算。若满足以下条件，则称 $(G, \cdot)$ 为 群 (Group)：

1. 封闭性: $\forall a, b \in G, a \cdot b \in G$。
2. 结合律: $\forall a, b, c \in G, (a \cdot b) \cdot c = a \cdot (b \cdot c)$。
3. 单位元: $\exists e \in G, \forall a \in G, e \cdot a = a \cdot e = a$。
4. 逆元: $\forall a \in G, \exists a^{-1} \in G, a \cdot a^{-1} = a^{-1} \cdot a = e$。

1.2 阿贝尔群 (Abelian Group)

若群 $G$ 满足交换律，即 $\forall a, b \in G, ab = ba$，则称 $G$ 为 阿贝尔群。

2. 子群、陪集与拉格朗日定理

2.1 子群 (Subgroups)

设 $H \subseteq G$，若 $H$ 在 $G$ 的运算下也构成群，则称 $H$ 为 $G$ 的 子群，记作 $H \le G$。

• 子群判别法: $H \neq \varnothing$ 且 $\forall a, b \in H, ab^{-1} \in H$。

2.2 陪集分解 (Coset Decomposition)

设 $H \le G$，对于 $g \in G$，集合 $gH = \{gh \mid h \in H\}$ 称为 $H$ 在 $G$ 中的一个 左陪集 (Left Coset)。

• 等价关系: 定义 $a \sim b \iff a^{-1}b \in H$。这是一个等价关系。
• 划分性质: 陪集构成了 $G$ 的一个划分，即 $G = \bigcup_{g \in \mathcal{R}} gH$，其中 $\mathcal{R}$ 是代表元集。
• 拉格朗日定理 (Lagrange's Theorem): 若 $G$ 是有限群，则 $|G| = [G:H] \cdot |H|$，其中 $[G:H]$ 是 $H$ 在 $G$ 中的指数（不同陪集的个数）。

2.3 正规子群 (Normal Subgroups)

若对所有 $g \in G$，都有 $gH = Hg$，则称 $H$ 为 $G$ 的 正规子群，记作 $H \trianglelefteq G$。

• 商群 (Quotient Group): 若 $H \trianglelefteq G$，则陪集集合 $G/H = \{gH \mid g \in G\}$ 在运算 $(aH)(bH) = (ab)H$ 下构成群。

3. 同态、同构与基本定理

3.1 群同态与同态核

映射 $\varphi: G \to K$ 称为 群同态，若 $\varphi(ab) = \varphi(a)\varphi(b)$。

• 核 (Kernel): $\ker \varphi = \{g \in G \mid \varphi(g) = e_K\} \trianglelefteq G$。
• 像 (Image): $\operatorname{Im} \varphi = \varphi(G) \le K$。

3.2 同态基本定理 (Fundamental Theorem of Homomorphism)

定理: 设 $\varphi: G \to K$ 是群同态，则诱导映射 $\bar{\varphi}: G/\ker \varphi \to \operatorname{Im} \varphi$ 是群同构。 $G / \ker \varphi \cong \operatorname{Im} \varphi$ 该定理说明了任何同态像在同构意义下都是定义域对其核的商群。

3.3 同构定理 (Isomorphism Theorems)

第一同构定理 (First Isomorphism Theorem)

即上述同态基本定理。

第二同构定理 (Second Isomorphism Theorem)

设 $H \le G, N \trianglelefteq G$，则 $H \cap N \trianglelefteq H, N \trianglelefteq HN$ 且： $H / (H \cap N) \cong (HN) / N$

第三同构定理 (Third Isomorphism Theorem)

设 $N \trianglelefteq G, M \trianglelefteq G$ 且 $N \subseteq M$，则 $(M/N) \trianglelefteq (G/N)$ 且： $(G/N) / (M/N) \cong G / M$

---

4. 计算验证：C++ 群论性质检查器

群的性质可以通过 Cayley 表（运算表）进行机械化验证。以下是一个验证有限集合在给定运算下是否构成群的 C++ 程序示例。

点击查看 C++ 验证代码

#include <iostream>
#include <vector>
#include <set>

/**
 * @brief 验证 (Z_4, +) 是否构成群
 */
bool verifyGroup(int n, const std::vector<std::vector<int>>& table) {
    // 1. 封闭性 (Cayley 表中所有元素都在 0..n-1)
    for (auto& row : table) {
        for (int val : row) {
            if (val < 0 || val >= n) return false;
        }
    }

    // 2. 单位元 (假设为 0)
    int e = 0;
    for (int i = 0; i < n; ++i) {
        if (table[e][i] != i || table[i][e] != i) return false;
    }

    // 3. 逆元
    for (int i = 0; i < n; ++i) {
        bool hasInverse = false;
        for (int j = 0; j < n; ++j) {
            if (table[i][j] == e && table[j][i] == e) {
                hasInverse = true;
                break;
            }
        }
        if (!hasInverse) return false;
    }

    // 4. 结合律 (a*b)*c == a*(b*c)
    for (int a = 0; a < n; ++a) {
        for (int b = 0; b < n; ++b) {
            for (int c = 0; c < n; ++c) {
                if (table[table[a][b]][c] != table[a][table[b][c]]) return false;
            }
        }
    }

    return true;
}

int main() {
    int n = 4;
    // Z_4 加法表
    std::vector<std::vector<int>> z4 = {
        {0, 1, 2, 3},
        {1, 2, 3, 0},
        {2, 3, 0, 1},
        {3, 0, 1, 2}
    };

    if (verifyGroup(n, z4)) {
        std::cout << "Z_4 加法 Cayley 表通过群性质验证！" << std::endl;
    }
    return 0;
}

---

5. 跨领域映射

领域	对应概念	说明
理论计算机科学	自动机与半群	有限状态自动机的转移函数构成一个半群结构。
密码学	椭圆曲线群 (ECC)	基于群上离散对数难题构建现代加密体系。
物理学	规范场论 (Gauge Theory)	物理定律在局部群变换（如 $U(1), SU(3)$）下的不变性。
算法设计	Polya 计数定理	利用群作用（等价类）解决带对称性的计数问题。

---

6. 经典例题

:::info 例题 1 (拉格朗日定理应用) 设 $G$ 是有限群，证明：对任意 $g \in G$，有 $g^{|G|} = e$。 :::

查看解析

由 $g$ 生成的循环子群 $\langle g \rangle$ 的阶 $d$ 等于 $g$ 的阶。根据 拉格朗日定理 (Lagrange's Theorem)，子群的阶必整除群的阶，即 $d \mid |G|$。 令 $|G| = kd$，则 $g^{|G|} = g^{kd} = (g^d)^k = e^k = e$。

:::info 例题 2 (正规子群判定) 证明：若 $H$ 是 $G$ 的唯一 $n$ 阶子群，则 $H \trianglelefteq G$。 :::

查看解析

考虑内自同构映射 $\sigma_g(h) = ghg^{-1}$。因为 $\sigma_g$ 是同构映射，所以 $gHg^{-1}$ 也是 $G$ 的子群，且阶数保持不变，即 $|gHg^{-1}| = |H| = n$。 由于 $H$ 是 $G$ 中唯一的 $n$ 阶子群，必有 $gHg^{-1} = H$ 对一切 $g \in G$ 成立。 由定义知 $H \trianglelefteq G$。

5. 强化练习

:::info 练习 1 (同态性质) 证明：同态映射 $\varphi$ 的核 $\ker \varphi$ 必定是正规子群。 :::

查看解析

1. 子群: 易证 $\ker \varphi$ 是子群。
2. 正规性: $\forall n \in \ker \varphi, g \in G$，计算 $\varphi(gng^{-1}) = \varphi(g)\varphi(n)\varphi(g^{-1}) = \varphi(g)e_K\varphi(g)^{-1} = e_K$。 故 $gng^{-1} \in \ker \varphi$，满足正规子群定义。

:::info 练习 2 (循环群同构) 证明：任何无限循环群都同构于整数加法群 $(\mathbb{Z}, +)$。 :::

查看解析

设 $G = \langle a \rangle$ 为无限循环群。定义映射 $f: \mathbb{Z} \to G, n \mapsto a^n$。

1. 同态: $f(m+n) = a^{m+n} = a^m a^n = f(m)f(n)$。
2. 满射: 显然。
3. 单射: 若 $f(n) = e$，即 $a^n = e$，由于 $G$ 是无限群，其阶为无限，故只能 $n=0$。核为 $\{0\}$，故单射。 得证 $G \cong \mathbb{Z}$。

---

本章节由 SolKnow 高级计算代数系统生成，遵循现代抽象代数教学体系。