Introduction to Group Theory | 群论入门

📚 Introduction to Group Theory | 群论入门

Have you ever noticed patterns when you shuffle a deck of cards, turn a shape, or add numbers on a clock? Group theory is the branch of mathematics that studies these kinds of patterns and symmetries. In this article, we will gently explore the basic ideas of groups, starting from simple examples that you can understand at Key Stage 3 level. We will break down the four key rules (axioms) that define a group, and look at clock arithmetic and symmetry groups. By the end, you’ll see how algebra and geometry come together in a beautiful way.

你是否注意过洗牌、旋转图形或在时钟上相加数字时出现的规律？群论正是研究这类模式与对称性的数学分支。在这篇文章中，我们将从 Key Stage 3 水平容易理解的简单例子出发，逐步探索群的基本概念。我们会拆解定义群的四个关键规则（公理），并研究时钟算术和对称群。学完本文后，你将看到代数与几何如何以一种优美的方式结合在一起。

1. What is Group Theory? | 什么是群论？

Group theory is a part of abstract algebra. Instead of studying specific numbers or equations, it focuses on the idea of combining things according to a rule, and asks what properties that combination must have to behave nicely. It was developed by mathematicians like Évariste Galois in the 19th century to understand the solutions of polynomial equations, but now it is used everywhere from physics to puzzles.

群论是抽象代数的一部分。它不研究具体的数字或方程，而是关注按照某种规则“组合”事物的思想，并探究这种组合需要满足哪些性质才能运作良好。群论是由埃瓦里斯特·伽罗瓦等数学家于19世纪发展起来的，最初用于理解多项式方程的解，如今则广泛应用于从物理到益智游戏的各个领域。

Think of it like this: if you have a set of objects and a way to combine any two of them, you can ask: does the order matter? Is there a ‘do nothing’ object? Can you always reverse an action? When the answers are ‘yes’ in the right way, you have a group.

可以这样想：如果你有一组对象，以及把任意两个组合起来的方法，你就可以问：顺序重要吗？有没有一个“什么都不做”的对象？每个动作是否总能被撤销？如果这些问题的答案以正确的方式都是肯定的，那么你就得到了一个群。

2. Sets and Operations | 集合与运算

Before we define a group, we need two ingredients: a set and a binary operation. A set is simply a collection of distinct objects, like the numbers {0,1,2,3} or the moves on a Rubik’s cube. A binary operation takes two elements from the set and combines them to produce another element, often also in the set.

在定义群之前，我们需要两个要素：一个集合和一个二元运算。集合就是一组不同对象的汇集，例如数字 {0,1,2,3} 或魔方的转动。二元运算从集合中取出两个元素，将它们组合起来产生另一个元素，这个结果通常也属于该集合。

For example, ordinary addition on whole numbers is a binary operation: 2 + 3 = 5. But subtraction on the set of positive whole numbers {1,2,3,…} can sometimes give a negative number, which is not in the set, so it’s not always a valid operation for a group on that set. We usually write the operation with a symbol like *, •, or +.

例如，在整数上的普通加法是一个二元运算：2 + 3 = 5。但在正整数集合 {1,2,3,…} 上的减法有时会产生负数，不在集合中，所以对于该集合上的群来说，减法并不总是有效的运算。我们通常用 *、• 或 + 等符号来表示运算。

3. The Closure Property | 封闭性

The first rule of a group is closure. This means that if you take any two elements from the set and apply the operation, the result must also be in the set. No matter which pair you pick, you never ‘fall off’ the edge of the set.

群的第一个规则是封闭性。这意味着，如果你从集合中取出任意两个元素并实施该运算，得到的结果也必须在集合中。无论你选择哪一对，永远不会“掉出”集合的边界。

Consider the set {0,1,2,3} with the operation ‘addition modulo 4’. This is clock arithmetic where 4 behaves like 0. For instance, 2 + 3 = 5, but modulo 4 we take the remainder when dividing by 4, so 5 mod 4 = 1. Since 1 is in {0,1,2,3}, the operation is closed. If we tried ordinary addition on {0,1,2,3}, we could get 4, which is not in the set, so it would fail closure.

考虑集合 {0,1,2,3} 和运算“模4加法”。这是一个时钟算术，其中4相当于0。例如，2 + 3 = 5，但模4时我们取除以4的余数，所以 5 mod 4 = 1。由于1在 {0,1,2,3} 中，该运算是封闭的。如果我们在这个集合上尝试普通加法，可能会得到4，不在集合中，因此不满足封闭性。

4. Associativity | 结合律

The second rule is associativity. When you combine three elements, it doesn’t matter how you group them; the final result is the same. In symbols, for all a, b, c in the set, (a * b) * c = a * (b * c).

第二条规则是结合律。当你组合三个元素时，如何分组并不重要；最终结果是一样的。用符号表示，对于集合中的所有 a, b, c，(a * b) * c = a * (b * c)。

This might sound obvious for addition: (2+3)+4 = 2+(3+4) = 9. But not every operation is associative. For example, subtraction is not associative: (5-2)-1 = 2, but 5-(2-1) = 4. In modular addition, associativity still holds because it relies on the ordinary addition of numbers, which is associative.

这对于加法来说可能显而易见：(2+3)+4 = 2+(3+4) = 9。但并非所有运算都满足结合律。例如，减法就不满足结合律：(5-2)-1 = 2，而 5-(2-1) = 4。在模加法中，结合律仍然成立，因为它依赖于数字的普通加法，而普通加法是结合的。

5. The Identity Element | 单位元

A group must have a special element called the identity. When you combine the identity with any element a, you get a back. Under addition, the identity is usually 0, because a + 0 = a. Under multiplication, it would be 1, because a × 1 = a. The identity is like the ‘do nothing’ action.

一个群必须有一个特殊的元素，称为单位元。当你把单位元与任何元素 a 组合时，结果仍是 a。在加法下，单位元通常是0，因为 a + 0 = a。在乘法下，单位元是1，因为 a × 1 = a。单位元就像“什么都不做”的动作。

In our modulo 4 addition set {0,1,2,3}, 0 is the identity: 2 + 0 = 2 mod 4, 3 + 0 = 3 mod 4. If you are looking at symmetries of a square, the identity element is the rotation by 0 degrees (leaving the square untouched).

在我们模4加法集合 {0,1,2,3} 中，0 是单位元：2 + 0 ≡ 2 mod 4，3 + 0 ≡ 3 mod 4。如果你在考察正方形的对称性，单位元就是旋转 0 度（保持正方形不动）的操作。

6. Inverse Elements | 逆元

For every element in the group, there must be an inverse element that ‘undoes’ it. When you combine an element with its inverse, you get the identity. The inverse depends on the operation. For addition, the inverse of a is -a, because a + (-a) = 0. For multiplication, the inverse of a is 1/a (provided a is not zero).

群中的每一个元素都必须有一个逆元来“撤销”它。当你将一个元素与其逆元组合时，会得到单位元。逆元取决于运算。对于加法，a 的逆元是 -a，因为 a + (-a) = 0。对于乘法，a 的逆元是 1/a（前提是 a 不为零）。

In modulo 4 addition, what is the inverse of 1? We need a number x in {0,1,2,3} such that 1 + x = 0 mod 4. x = 3 works, since 1+3=4 and 4 mod 4 = 0. So the inverse of 1 is 3. Similarly, inverse of 2 is 2 (2+2=4=0 mod 4), and inverse of 3 is 1. Every element has an inverse within the set.

在模4加法中，1 的逆元是什么？我们需要在 {0,1,2,3} 中找到一个数 x，使得 1 + x ≡ 0 mod 4。x = 3 满足要求，因为 1+3=4 且 4 mod 4 = 0。所以 1 的逆元是 3。类似地，2 的逆元是 2（2+2=4=0 mod 4），3 的逆元是 1。集合中的每个元素都有一个逆元。

7. The Group Axioms | 群公理

To summarise, a group is a set G together with a binary operation * such that the following four axioms hold: (1) Closure: for all a,b in G, a * b is in G. (2) Associativity: (a * b) * c = a * (b * c). (3) Identity: there exists an element e in G such that e * a = a * e = a for all a. (4) Inverse: for each a, there exists a⁻¹ in G such that a * a⁻¹ = a⁻¹ * a = e.

总结一下，一个群就是一个集合 G 加上一个二元运算 *，满足以下四条公理：(1) 封闭性：对所有 G 中的 a,b，a * b 属于 G。(2) 结合律：(a * b) * c = a * (b * c)。(3) 单位元：G 中存在元素 e，使得对所有 a，e * a = a * e = a。(4) 逆元：对每个 a，存在 a⁻¹ 属于 G，使得 a * a⁻¹ = a⁻¹ * a = e。

These four simple rules are incredibly powerful. If a set with an operation satisfies them, we can study its structure and make conclusions that apply to many different areas—from solving equations to understanding the rotations of a cube.

这四条简单的规则极为强大。如果一个集合及其运算满足这些规则，我们就可以研究它的结构，并得出适用于许多不同领域的结论——从解方程到理解立方体的旋转。

8. Example: Clock Arithmetic (Modular Addition) | 例：时钟算术（模加法）

Let’s verify that the set {0,1,2,3,4} under addition modulo 5 forms a group. The operation is a + b mod 5. Closure: any sum modulo 5 is still between 0 and 4. Associativity: inherited from integer addition. Identity: 0. Inverses: inverse of 0 is 0, 1 and 4 are inverses (1+4=5=0 mod5), 2 and 3 are inverses. So it’s a group, often called Z₅ or the cyclic group of order 5.

让我们验证集合 {0,1,2,3,4} 在模5加法下构成一个群。运算是 a + b mod 5。封闭性：任何模5的和仍在0到4之间。结合律：继承自整数加法。单位元：0。逆元：0的逆元是0，1和4互为逆元 (1+4=5=0 mod5)，2和3互为逆元。因此这是一个群，常记为 Z₅ 或 5 阶循环群。

You can also create groups with different modular numbers, like mod 12 for clock hours. However, be careful: multiplication modulo n does not always form a group on {1,2,…,n-1} because some numbers may not have inverses. For instance, in mod 4 multiplication on {1,2,3}, 2 has no inverse since no integer x satisfies 2x ≡ 1 mod 4. So it fails to be a group.

你也可以用不同的模数创建群，比如模12用于时钟小时。但要小心：模 n 乘法在 {1,2,…,n-1} 上并不总能构成群，因为有些数可能没有逆元。例如，在 {1,2,3} 上的模4乘法中，2 没有逆元，因为不存在整数 x 使得 2x ≡ 1 mod 4。因此它不满足群公理。

9. Example: Symmetries of an Equilateral Triangle | 例：等边三角形的对称性

Groups also appear in geometry. Consider all the rigid motions (symmetries) of an equilateral triangle that map the triangle exactly onto itself. Label the vertices 1,2,3. The set includes rotations by 120°, 240°, and 360° (identity), plus three reflections across the symmetry axes. That’s 6 symmetries in total. Combining two symmetries means doing one after another.

群也出现在几何中。考虑等边三角形的所有刚体运动（对称性），这些运动将三角形恰好映射到自身。把顶点标为1,2,3。该集合包括旋转120°、240°和360°（单位元），以及沿三条对称轴的反射。总共有6种对称。将两个对称组合起来意味着先后执行它们。

This set with the operation ‘followed by’ forms a group, known as the dihedral group D₃. Check: closure holds because combining any two symmetries gives another symmetry; associativity holds because composition of functions is associative; identity is the 0° rotation; every symmetry has an inverse (a rotation’s inverse is the opposite rotation; a reflection is its own inverse). It’s a non-abelian group, meaning the order matters: a rotation followed by a reflection may not equal a reflection followed by a rotation.

该集合在“随后”运算下构成一个群，称为二面体群 D₃。验证：封闭性成立，因为任意两个对称组合后仍是某种对称；结合律成立，因为函数的复合满足结合律；单位元是0°旋转；每个对称都有逆元（旋转的逆是反方向旋转；反射的逆是其自身）。这是一个非阿贝尔群，意味着顺序很重要：先旋转再反射，可能不等于先反射再旋转。

10. Group Tables (Cayley Tables) | 群表（凯莱表）

A neat way to display a finite group is using a Cayley table. It’s like a multiplication square but for the group operation. The rows and columns represent the elements, and the entry in row a, column b is a * b. The identity row and column are particularly easy to spot. Every element must appear exactly once in each row and each column (a property like Sudoku), which follows from the group axioms.

展示有限群的一种巧妙方式是使用凯莱表。它就像乘法表，但用于群运算。行和列代表元素，a 行 b 列的格子中是 a * b。单位元的行和列特别容易辨认。每个元素在每一行、每一列中必须恰好出现一次（类似于数独的性质），这由群公理得出。

Let’s make the Cayley table for the group Z₄ = {0,1,2,3} with addition mod 4. The table looks like this:

让我们为群 Z₄ = {0,1,2,3} 在模4加法下制作凯莱表。表格如下：

+	0	1	2	3
0	0	1	2	3
1	1	2	3	0
2	2	3	0	1
3	3	0	1	2

Notice each row is a cyclic shift. If we replace 0,1,2,3 with the corresponding rotations of a square (0°,90°,180°,270°), we get the exact same structure. Groups that are essentially the same up to relabelling are called isomorphic.

注意每一行都是循环移位。如果我们把0,1,2,3替换为正方形的相应旋转（0°,90°,180°,270°），会得到完全相同的结构。本质上相同、只是重新标记的群称为同构群。

11. Why Study Groups? | 为什么学习群？

Group theory might seem abstract, but it is a unifying language in mathematics. In chemistry, molecular symmetries are described by groups. In physics, conservation laws and particle interactions are linked to symmetry groups. In cryptography, groups like elliptic curves are used for secure communication. Even in art and music, group symmetries appear in patterns and rhythms.

群论可能看起来很抽象，但它是数学中的统一语言。在化学中，分子对称性用群来描述。在物理学中，守恒定律和粒子相互作用与对称群有关。在密码学中，椭圆曲线等群被用于安全通信。甚至在艺术和音乐中，群对称性也出现在图案和节奏中。

At KS3 level, studying groups helps you develop logical reasoning and an appreciation for structure. It encourages you to ask questions like ‘what if?’ and ‘what must always be true?’ Understanding the group axioms is a first step towards higher algebra and proof-based mathematics. You are now equipped to recognise a group when you see one, using the four axioms checklist.

在 KS3 阶段，学习群有助于培养逻辑推理能力和对结构之美的欣赏。它鼓励你提出诸如“如果……会怎样？”或“什么必须始终为真？”之类的问题。理解群公理是迈向高等代数和基于证明的数学的第一步。现在，你已经能够运用四条公理清单，在你遇到群的时候认出它来。

12. Quick Recap and Self-Test | 快速回顾与自测

Let’s solidify the ideas. A group is a set and a binary operation satisfying closure, associativity, identity, and inverses. You’ve seen examples: modular addition (Zₙ) and symmetry groups like D₃. You’ve learned how to construct a Cayley table and check the axioms. Try this quick test: Is the set of integers {… -2,-1,0,1,2,…} under addition a group? Yes, because all axioms hold. Is the same set under multiplication a group? No, because most integers lack a multiplicative inverse in the integers (e.g., inverse of 2 is 1/2, not an integer).

让我们巩固这些概念。一个群是一个集合和满足封闭性、结合律、单位元、逆元的二元运算。你已经看到了一些例子：模加法 (Zₙ) 和像 D₃ 这样的对称群。你学会了如何构建凯莱表并检验公理。试试这个快速测试：整数集 {… -2,-1,0,1,2,…} 在加法下是群吗？是的，因为所有公理都成立。同一个集合在乘法下是群吗？不是，因为大多数整数在整数范围内缺少乘法逆元（例如，2 的逆元是 1/2，不是整数）。

If you want to explore further, try to build the Cayley table for the symmetry group of a rectangle (only 4 symmetries) and verify the axioms. Group theory is a vast and exciting field; this introduction is just the beginning. Keep asking questions and looking for the hidden structure around you.

如果你想进一步探索，试着为长方形的对称群（只有4个对称）构建凯莱表，并验证公理。群论是一个广阔而激动人心的领域；本入门只是一个开始。继续提问，寻找你身边隐藏的结构吧。

Published by TutorHao | Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

Introduction to Group Theory | 群论入门