第1章：什么是群？

本章是群论的入门章节，从一个所有人都熟悉的玩具——Rubik's Cube（魔方）出发，引导读者建立对"群"这一核心概念的直觉。通过分析魔方的性质，我们将归纳出群的四个基本规则，为后续章节的严格定义奠定基础。

前置知识：无需高等数学基础，只需具备高中数学思维即可。本章将帮助你建立学习群论所需的几何直觉。

后续章节：第2章将介绍 Cayley 图，用可视化工具呈现群的结构。

Rubik's Cube（魔方）是我们探索群论的最佳起点。这个看似简单的益智玩具，蕴含着群论的核心思想。

魔方吸引初学者的原因不在于它有多复杂，而在于以下几点：

1. 规则简单：只需扭动六个面，每个面可以顺时针或逆时针旋转 90°。
2. 状态有限：无论怎样打乱，魔方总是可以复原到初始状态。
3. 可逆性：每一个动作都可以被"Undo"——如果做错了，只需反向旋转即可。
4. 确定性：每个动作的结果是确定的，不存在随机性。
5. 可组合性：连续做多个动作仍然是有效动作。

graph TD
    A["🔵 Rubik's Cube
魔方"] --> B["动作集合
Moves"]
    A --> C["可逆性
Reversibility"]
    A --> D["确定性
Determinism"]
    A --> E["可组合性
Combinability"]
    
    B --> F["顺时针旋转上层"]
    B --> G["逆时针旋转上层"]
    B --> H["顺时针旋转前层"]
    
    style A fill:#e1f5fe
    style F fill:#fff3e0
    style G fill:#fff3e0
    style H fill:#fff3e0
    

图 1.1：魔方的四个核心特性

让我们仔细观察魔方，理解它的"动作"是如何运作的。

魔方的基本操作

魔方有 6 个面：上层(U)、下层(D)、前层(F)、后层(B)、左层(L)、右层(R)。每个面可以：

• 顺时针旋转 90°（记为 U, D, F, B, L, R）
• 逆时针旋转 90°（记为 U', D', F', B', L', R'）

魔方状态的表示

我们可以将魔方的状态理解为：一个将每个小方块映射到新位置的函数。

当旋转一个面时，某些小方块改变了位置，而这些改变遵循确定性规则——相同的旋转总是产生相同的结果。

graph LR
    S1["初始状态
🏠"] -->|"旋转上层"| S2["打乱状态
🔀"]
    S2 -->|"反向旋转"| S3["回到初始
🏠"]
    S2 -->|"继续旋转"| S4["另一个状态
🔀"]
    
    style S1 fill:#e8f5e9
    style S3 fill:#e8f5e9
    style S2 fill:#fff3e0
    style S4 fill:#fff3e0
    

图 1.2：魔方状态转换的可逆性

关键观察：动作组合

魔方的一个重要特性是：任何两个动作的组合仍然是一个动作。

例如，"先转上层再转前层"等价于执行某个单一动作（虽然通常更复杂）。这种组合性质是群的核心特征。

群论的本质是研究对称性。什么是"对称"？

对称的直觉定义

一个物体如果经过某种变换后看起来和原来一样，它就是对称的。例如：

• 圆形：绕圆心旋转任意角度，看起来不变。
• 正方形：旋转 90°、180°、270° 后看起来不变。
• 等边三角形：旋转 120° 后不变。

对称变换群

每种几何图形都有一组"保持图形不变"的动作，这组动作就是一个对称群。

graph TD
    G["几何图形
Shape"] -->|"保持不变的动作"| A["对称变换集合
Symmetry Transformations"]
    
    A --> G
    
    G --> G1["正方形
□"]
    G --> G2["圆形
○"]
    G --> G3["等边三角形
△"]
    
    G1 --> T1["旋转 90°"]
    G1 --> T2["旋转 180°"]
    G1 --> T3["旋转 270°"]
    G1 --> T4["旋转 360°"]
    
    G2 --> T5["任意角度旋转"]
    
    G3 --> T6["旋转 120°"]
    G3 --> T7["旋转 240°"]
    G3 --> T8["旋转 360°"]
    
    style G fill:#e3f2fd
    style A fill:#f3e5f5
    style G1 fill:#fff3e0
    style G2 fill:#fff3e0
    style G3 fill:#fff3e0
    

图 1.3：不同几何图形的对称变换

群论的基本思想

群论提供了一套统一的语言来描述和研究所有形式的对称性。这套语言的核心是群——一个满足特定规则的元素集合，这些规则正是从魔方和各种对称图形中抽象出来的。

通过分析魔方和其他对称系统，我们归纳出群的四个基本规则：

flowchart LR
    subgraph Rules["群的四条规则"]
        direction TB
        R1["规则1：动作集合
Closed"]
        R2["规则2：可逆性
Invertible"]
        R3["规则3：确定性
Deterministic"]
        R4["规则4：可组合性
Combinable"]
    end
    
    subgraph System["群系统"]
        A["动作集合 G
{g₁, g₂, g₃, ...}"]
    end
    
    R1 --> A
    R2 --> A
    R3 --> A
    R4 --> A
    
    System --> Group["群"]
    
    style Rules fill:#fce4ec
    style R1 fill:#ffecce
    style R2 fill:#ffecce
    style R3 fill:#ffecce
    style R4 fill:#ffecce
    style System fill:#e8f5e9
    style Group fill:#2196f3,color:#fff
    

图 1.4：群的四条规则与群的关系

形式化定义（补充）

在数学中，群的正式定义通常写成：

设 $G$ 是一个集合，$\cdot$ 是 $G$ 上的二元运算。如果 $(G, \cdot)$ 满足：

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$

则称 $(G, \cdot)$ 为一个群。

本书采用从具体例子出发的教学方式，先建立直觉，再逐步过渡到形式化定义。

思考题

1. 除了魔方之外，日常生活中还有哪些系统满足群的规则？
2. 为什么魔方的状态数是有限的？
3. 如果我们把魔方拆开再随机组装，它还构成一个群吗？