📚 Introduction to Group Theory for IGCSE Mathematics | IGCSE 数学：群论入门 考点精讲
Group theory is a branch of mathematics that studies symmetry and abstract structures. While it is usually taught at the A-level or university stage, some IGCSE courses introduce the basic concepts to stretch able pupils. It helps us understand patterns, modular arithmetic, transformations, and many other areas in pure mathematics. This guide will break down the essential ideas of group theory with simple examples, clear definitions, and straightforward explanations. By the end, you should feel confident about the fundamental axioms, common examples, and properties of groups.
群论是研究对称性和抽象结构的数学分支。虽然它通常在 A-Level 或大学阶段教授，但一些 IGCSE 课程会引入基本概念来拓展学有余力的学生。群论帮助我们理解模式、模运算、变换以及纯数学中的许多其他领域。本指南将通过简单的例子、清晰的定义和直白的解释，逐一讲解群论的核心思想。读完本文后，你应该能够自信地掌握群的基本公理、常见例子以及群的性质。
1. What is a Group? | 群的定义是什么？
A group is a set G together with a binary operation * that combines any two elements a and b in G to form another element, written a * b. The set and the operation must satisfy four conditions: closure, associativity, identity, and invertibility. The notation (G, *) is often used. The operation could be addition, multiplication, composition of functions, or an abstract operation defined by a table.
群是一个集合 G 以及一个二元运算 *，该运算将 G 中任意两个元素 a 和 b 结合起来，形成另一个元素，记作 a * b。这个集合和运算必须满足四个条件：封闭性、结合律、存在单位元和可逆性。通常用 (G, *) 表示。运算可以是加法、乘法、函数的复合，或者由表格定义的抽象运算。
For example, the set of integers under addition, (ℤ nteger a, its inverse is −a because a + (−a) = 0. We must check all four axioms carefully.
例如，整数在加法下的集合 (ℤ, +) 是一个群。两个整数的和仍然是整数（封闭性），(a + b) + c = a + (b + c) 始终成立（结合律），0 是单位元，因为 a + 0 = a，且对于任何整数 a，其逆元是 −a，因为 a + (−a) = 0。我们必须仔细验证所有四条公理。
2. The Four Axioms | 四条公理
a * b is also in G. This means the operation never takes us outside the set. If the set is 'the whole numbers 1 to 6' addition modulo 7, then 4 + 6 = 10 mod 7 = 3, which is still in the set. So it is closed.
封闭性：对于 G 中所有的 a、b，a * b 也在 G 中。这意味着运算不会将我们带到集合之外。如果集合是“1 到 6 的整数”，且运算是模 7 加法，那么 4 + 6 = 10 mod 7 = 3，结果仍在集合中。因此它是封闭的。
lication of numbers are associative, but subtraction is not: (5 − 3) − 2 ≠ 5 − (3 − 2). A group operation must always be associative.
结合律：对于 G 中所有的 a、b、c，(a * b) * c = a * (b * c)。数的加法和乘法满足结合律，但减法不满足：(5 − 3) − 2 ≠ 5 − (3 − 2)。群运算必须始终满足结合律。
a. For addition, the identity is 0. For multiplication, it is 1. The identity element must be unique in a group.
单位元：存在 G 中的一个元素 e，使得对于 G 中的每个 a，有 e * a = a * e = a。对于加法，单位元是 0。对于乘法，单位元是 1。群中的单位元必须是唯一的。
. The element b is called the inverse of a and is usually written a⁻¹. In the integers under addition, the inverse of 3 is −3.
逆元：对于 G 中的每个 a，存在 G 中的一个元素 b，使得 a * b = b * a = e。元素 b 称为 a 的逆元，通常写作 a⁻¹。在加法下的整数中，3 的逆元是 −3。
3. Abelian Groups | 阿贝尔群
is called an abelian group, named after Niels Henrik Abel. Many familiar groups are abelian, such as (ℤ, +), (ℝ\\{0\\ ltiplication groups and permutation groups on three or more objects are often non-abelian.
如果一个群还满足交换律（对于 G 中所有的 a、b，有 a * b = b * a），则它被称为阿贝尔群，以尼尔斯·亨里克·阿贝尔命名。许多熟悉的群都是阿贝尔群，例如 (ℤ, +)、(ℝ\\{0\\}, ×) 以及循环群。然而，并非所有群都是阿贝尔的。矩阵乘法群和三个及以上对象的置换群通常是非阿贝尔的。
Being abelian simplifies many calculations. In an abelian group, the order of multiplication does not matter, so we can often use additive notation and regard the operation as a kind of addition. Many theorems hold for all groups, but some special properties only appear in abelian groups.
阿贝尔性质简化了许多计算。在阿贝尔群中，乘法的顺序无关紧要，因此我们通常可以使用加法记号，并将运算视为一种加法。许多定理对所有群都成立，但某些特殊性质仅在阿贝尔群中出现。
4. Small Finite Groups | 小的有限群
= e and e * a = a * e = a. This group is abelian and can model a simple flip or a switch.
最小的群是只有一个元素 {e} 的平凡群，其中 e * e = e。其次，2 阶循环群 C₂ 的元素为 {e, a}，且 a * a = e，e * a = a * e = a。这个群是阿贝尔群，可以用来模拟简单的翻转或开关。
Another example is the group of symmetries of an equilateral triangle, D₃, which has 6 elements: three rotations (0°, 120°, 240°) and three reflections. This is the smallest non-abelian group. Its operation table shows that reflection followed by rotation is different from rotation followed by reflection.
另一个例子是等边三角形的对称群 D₃，它有 6 个元素：三个旋转（0°、120°、240°）和三个反射。这是最小的非阿贝尔群。其运算表显示，先反射后旋转与先旋转后反射的结果不同。
represent these groups with Cayley tables. For C₃ = {e, a, a²} with a³ = e, the table is:
| * | e | a | a² |
|---|---|---|---|
| e | e | a | a² |
| a | a | a² | e |
| a² | a² | e | a |
我们可以用凯莱表来表示这些群。对于 C₃ = {e, a, a²}，其中 a³ = e，其表格如上所示。
5. Modular Arithmetic Groups | 模运算群
A very accessible example is the set of integers modulo n under addition, denoted ℤ f order n. The identity is 0, and the inverse of k is n−k (unless k=0, then inverse is 0).
一个非常容易理解的例子是模 n 的整数加群，记作 ℤₙ = {0, 1, 2, ..., n−1}，运算为模 n 加法。对于任何 n，这是一个 n 阶循环群。单位元是 0，k 的逆元是 n−k（除非 k=0，此时逆元是 0）。
For example, in ℤ uld show a cyclic pattern. This group describes the rotation symmetries of a regular n-gon. If the operation is multiplication modulo a prime p, the set {1, 2, ..., p−1} forms a group of order p−1. This is used in cryptography.
例如，在模 5 加法下的 ℤ₅ = {0,1,2,3,4} 中，2 + 4 = 6 mod 5 = 1。凯莱表将呈现循环模式。这个群描述了正 n 边形的旋转对称性。如果运算是模素数 p 的乘法，那么集合 {1, 2, ..., p−1} 构成一个 p−1 阶群。这在密码学中得到应用。
6. Subgroups | 子群
A subgroup is a subset of a group that is itself a group under the same operation. To check if H ⊆ G is a subgroup, we must verify: H is non-empty (usually contains the identity), closed under the operation, and contains inverses. For finite groups, closure is often sufficient if the set contains the identity.
子群是群的一个子集，且在该运算下自身也构成一个群。要检查 H ⊆ G 是否为子群，我们必须验证：H 非空（通常包含单位元），在运算下封闭，并且包含逆元。对于有限群，如果集合包含单位元，封闭性通常就足够了。
For instance, in ℤ wever, {0, 3} is also a subgroup. The number of elements in a subgroup divides the order of the group (Lagrange's theorem).
例如，在加法下的 ℤ₆ 中，集合 {0, 2, 4} 是一个子群，因为 0 存在，偶数 + 偶数 = 偶数（模 6 仍在 {0,2,4} 中），且逆元：−2 ≡ 4 mod 6，−4 ≡ 2 mod 6。同样，{0, 3} 也是一个子群。子群中元素的个数整除群的阶（拉格朗日定理）。
7. Cyclic Groups | 循环群
ement is some power (or multiple, in additive notation) of a fixed element g. For example, ℤ order n, there is an element g such that gⁿ = e and the elements are e, g, g², ..., gⁿ⁻¹.
如果一个群可以由单个元素生成，则称该群为循环群。也就是说，每个元素都是某个固定元素 g 的幂次（在加法记号中则是倍数）。例如，加法下的 ℤₙ 是一个循环群，生成元为 1，因为 1, 1+1=2, ..., 1 的 (n−1) 次相加得到所有元素。在一个 n 阶乘法循环群中，存在元素 g，使得 gⁿ = e，且元素为 e, g, g², ..., gⁿ⁻¹。
ive integer m such that aᵐ = e. In a cyclic group, the number of generators is φ(n) (Euler's totient function). For example, ℤ₆ has generators 1 and 5, because gcd(6,5)=1.
循环群总是阿贝尔群。元素 a 的阶是使得 aᵐ = e 的最小正整数 m。在一个循环群中，生成元的个数是 φ(n)（欧拉函数）。例如，ℤ₆ 的生成元是 1 和 5，因为 gcd(6,5)=1。
8. Symmetry Groups | 对称群
Symmetry groups describe the set of transformations that leave an object invariant. For a square, the dihedral group D₄ includes 4 rotations (0°, 90°, 180°, 270°) and 4 reflections (across vertical, horizontal, and two diagonals). This group is non-abelian and has order 8. The identity is rotation by 0°.
对称群描述了使一个对象保持不变的变换的集合。对于一个正方形，二面体群 D₄ 包含 4 个旋转（0°、90°、180°、270°）和 4 个反射（关于垂直、水平以及两条对角线）。该群是非阿贝尔群，阶为 8。单位元是旋转 0°。
The composition of two symmetries is performed one after the other. For example, reflect across the vertical axis, then rotate 90° clockwise. The result is a reflection across a diagonal. Because rotation then the same reflection gives a different diagonal reflection, the group is not abelian. These groups are important in geometry, chemistry (molecular symmetry), and art.
两个对称的复合是依次执行它们。例如，先关于垂直轴反射，再顺时针旋转 90°。结果是一条对角线反射。由于先旋转再反射得到的是另一条对角线反射，因此该群不是阿贝尔群。这些群在几何学、化学（分子对称性）和艺术中都很重要。
9. Isomorphism | 同构
Two groups are isomorphic if there is a one-to-one correspondence between their elements that preserves the group operation. Essentially, they have the same structure but may be presented differently. For example, the cyclic group of order 4 written multiplicatively as {e, a, a², a³} is isomorphic to ℤ₄ under addition, via mapping aᵏ ↔ k mod 4.
如果两个群之间存在一个一一对应，且该对应保持群运算，则称它们同构。本质上，它们具有相同的结构，但可能有不同的表示形式。例如，乘法表示的 4 阶循环群 {e, a, a², a³} 与加法下的 ℤ₄ 同构，映射为 aᵏ ↔ k mod 4。
product of any two non-identity elements gives the third. V₄ is not cyclic and is abelian.
同构让我们能够对群进行分类：在同构意义下，n 阶循环群只有一个。对于 4 阶群，有两种：循环群和克莱因四元群 V₄ = {e, a, b, c}，其中每个元素都是自身的逆（a² = b² = c² = e），任意两个非单位元的乘积等于第三个元素。V₄ 不是循环群，并且是阿贝尔群。
10. Basic Theorems and Results | 基本定理和结论
A few key results help in solving problems: every group of prime order is cyclic and has no proper non-trivial subgroups. Lagrange's theorem states that the order of a subgroup H divides the order of the group G. Thus, if |G| is prime, any subgroup must have order 1 or |G|. Also, the order of an element divides the group order.
一些关键结果有助于解决问题：每个素数阶群都是循环群，且没有真非平凡子群。拉格朗日定理指出，子群 H 的阶整除群 G 的阶。因此，如果 |G| 是素数，则任何子群的阶只能是 1 或 |G|。此外，元素的阶整除群的阶。
-abelian). The inverse of a product satisfies (ab)⁻¹ = b⁻¹a⁻¹, which is a useful identity.
例如，在一个 6 阶群中，可能的元素阶为 1、2、3 和 6。一个 6 阶群可以是循环群 (C₆) 或二面体群 D₃（非阿贝尔）。乘积的逆满足 (ab)⁻¹ = b⁻¹a⁻¹，这是一个有用的恒等式。
11. Homomorphisms | 同态
homomorphism is a map f: G → H between groups that respects the operation: f(a * b) = f(a) • e general than isomorphisms; they need not be bijective. A classic example is the map from ℤ to ℤ g each integer to its remainder mod n under addition. This is a homomorphism with kernel nℤ.
同态是群 G 到 H 的一个映射 f，且满足 f(a * b) = f(a) • f(b)。f 的核是 G 中映射到 H 中单位元的元素的集合。同态比同构更一般；它们不一定是双射。一个经典例子是从 ℤ 到 ℤₙ 的映射，将每个整数映射为其模 n 的余数，并保持加法。这是一个同态，其核为 nℤ。
log y) as a homomorphism from positive reals under multiplication to reals under addition.
核总是 G 的正规子群。对于 IGCSE 而言，同态的概念常出现在对数和指数函数的背景下（log(xy) = log x + log y），作为正实数乘法群到实数加法群的一个同态。
12. How to Verify a Group | 如何验证一个群
When asked to prove a set with an operation forms a group, follow a systematic approach: first, check closure by testing typical elements (often use algebraic representation). Second, identify the identity element; it must work for all. Then, determine the inverse formula. Finally, show associativity (often inherited from a known operation, or check for small finite sets). Remember that commutativity is optional, unless required for an abelian group.
当被要求证明一个带有运算的集合构成群时，请遵循系统方法：首先，通过测试典型元素（通常使用代数表示）检查封闭性。其次，找出单位元；它必须对所有元素成立。然后，确定逆元公式。最后，证明结合律（通常继承自已知运算，或者对于小的有限集进行检查）。请记住，交换律不是必需的，除非要求证明阿贝尔群。
Example: Is the set S = {2ⁿ : n ∈ ℤ} under multiplication a group? ⁿ. Associativity holds for multiplication. So (S, ×) is a group, and it is isomorphic to (ℤ, +).
示例：集合 S = {2ⁿ : n ∈ ℤ} 在乘法下是否构成群？封闭性：2ⁿ · 2ᵐ = 2ⁿ⁺ᵐ，属于 S。单位元：2⁰ = 1。逆元：(2ⁿ)⁻¹ = 2⁻ⁿ。乘法满足结合律。因此 (S, ×) 是一个群，并且与 (ℤ, +) 同构。
Published by TutorHao | IGCSE Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图