📚 IGCSE CIE Mathematics: Introduction to Group Theory | IGCSE CIE 数学：群论入门考点精讲
Group theory is a fundamental branch of abstract algebra that investigates sets equipped with a binary operation satisfying four key properties. In IGCSE CIE Mathematics, students often encounter basic group concepts through enrichment tasks, problem-solving, or extension work in algebraic structures. This article provides a detailed, exam-focused breakdown of elementary group theory, presenting each core concept through paired English and Chinese explanations.
群论是抽象代数的一个基础分支，研究配备了满足四条关键性质的二元运算的集合。在 IGCSE CIE 数学中，学生常通过拓展任务、问题解决或代数结构的延伸学习接触到群的基本概念。本文将对初等群论进行详细的、面向考点的分解，每个核心概念均以英中配对解释呈现。
1. What is a Group? | 什么是群？
A group is an algebraic structure consisting of a non-empty set G together with a binary operation *, denoted as (G, *), that satisfies four axioms: closure, associativity, identity, and inverses. The operation * must combine any two elements a, b ∈ G to produce a unique element a * b ∈ G.
群是一种代数结构，由一个非空集合 G 和一个二元运算 * 组成，记作 (G, *)，并满足四条公理：封闭性、结合律、单位元、逆元。运算 * 必须将 G 中任意两个元素 a, b 结合成唯一的元素 a * b ∈ G。
These four axioms are the foundation: (1) For all a, b ∈ G, a * b ∈ G (closure). (2) For all a, b, c ∈ G, (a * b) * c = a * (b * c) (associativity). (3) There exists an element e ∈ G such that e * a = a * e = a for all a ∈ G (identity). (4) For each a ∈ G, there exists a⁻¹ ∈ G such that a * a⁻¹ = a⁻¹ * a = e (inverse).
这四条公理是基石：(1) 对所有 a, b ∈ G，有 a * b ∈ G（封闭性）；(2) 对所有 a, b, c ∈ G，有 (a * b) * c = a * (b * c)（结合律）；(3) 存在元素 e ∈ G 使得对所有 a ∈ G 有 e * a = a * e = a（单位元）；(4) 对每个 a ∈ G，存在 a⁻¹ ∈ G 使得 a * a⁻¹ = a⁻¹ * a = e（逆元）。
If even one of these conditions fails, the structure is not a group. Checking all four is essential in exam-style questions where you must determine whether (G, *) forms a group.
只要有一个条件不满足，该结构就不是群。在考试题型中，如需判断 (G, *) 是否构成群，检查全部四条公理至关重要。
2. Binary Operations | 二元运算
A binary operation * on a set G is a rule that assigns to each ordered pair (a, b) of elements in G a unique element a * b, also in G. It is essentially a function from G × G to G. The operation must be well-defined and closed automatically if we are to later consider group axioms separately.
集合 G 上的二元运算 * 是一条规则，为 G 中每一有序对 (a, b) 指定唯一元素 a * b，该元素也属于 G。它本质上是一个从 G × G 到 G 的函数。为了使后续的公理独立考察，运算必须定义良善且自动封闭（或将在封闭性公理中明确）。
Common operations in group theory include addition (+), multiplication (× or ·), and composition of functions (∘). The notation is abstract, so a * b can represent any of these, as long as the rules are consistent.
群论中常见的运算有加法 (+)、乘法（× 或 ·）和函数复合 (∘)。记法是抽象的，因此 a * b 可以代表上述任何一种运算，只要规则一致即可。
To visualise a binary operation on a finite set, we often use a Cayley table. For example, consider G = {e, a} with operation * defined by:
为了在有限集合上直观展示二元运算，我们常使用凯莱表。例如，考虑 G = {e, a}，运算 * 定义如下：
| * | e | a |
| e | e | a |
| a | a | e |
This table shows closure: every entry lies in the set. The operation is fully defined for all pairs, which is the first step towards forming a group.
该表展示了封闭性：每个表格项均属于该集合。运算对所有对均有定义，这是构成群的第一步。
3. Closure Property | 封闭性
Closure means that for any a, b ∈ G, the result of the operation a * b is also an element of G. Without closure, we cannot even begin to verify the other group axioms because the operation might produce something outside the set.
封闭性意味着对于任意 a, b ∈ G，运算结果 a * b 仍是 G 中的元素。没有封闭性，我们甚至无法开始验证其他群公理，因为运算可能产生集合之外的元素。
For example, the set of even integers under addition is closed: the sum of two even numbers is always even. However, the set of odd integers under addition is not closed, because the sum of two odd numbers is even, which falls outside the set of odd integers.
例如，偶数集在加法下是封闭的：两个偶数之和永远是偶数。但奇数集在加法下不封闭，因为两个奇数之和为偶数，落在了奇数集之外。
When solving IGCSE-style questions, always test closure first. If a single counterexample exists (two elements whose “sum” or “product” leaves the set), the structure fails to be a group.
在解答 IGCSE 风格的题目时，务必首先检验封闭性。只要存在一个反例（某两元素的“和”或“积”落在集合外），该结构就不能构成群。
4. Associativity | 结合律
Associativity ensures that when we combine three elements, the grouping does not affect the result: (a * b) * c = a * (b * c) for all a, b, c ∈ G. This property allows us to write a * b * c without parentheses unambiguously.
结合律保证当我们结合三个元素时，分组方式不影响结果：对所有 a, b, c ∈ G，有 (a * b) * c = a * (b * c)。这条性质使我们能够无歧义地书写 a * b * c 而不用括号。
Many familiar operations are associative: integer addition, multiplication of real numbers, matrix multiplication (though not commutative). Subtraction is not associative: (8 − 3) − 2 = 3, but 8 − (3 − 2) = 7, which differ.
许多常见运算满足结合律：整数加法、实数的乘法、矩阵乘法（尽管不一定交换）。减法不满足结合律：(8 − 3) − 2 = 3，而 8 − (3 − 2) = 7，两者不等。
In a group, associativity is taken as an axiom, so it must be verified unless the operation is already known to be associative (e.g., standard addition or multiplication). Checking associativity for a small finite set can be done exhaustively using a Cayley table.
在群中，结合律是一项公理，因此除非已知运算满足结合律（如标准加法或乘法），否则必须加以验证。对于小的有限集合，可以借助凯莱表穷举检验结合律。
5. Identity Element | 单位元
An identity element e in a group (G, *) satisfies e * a = a * e = a for all a ∈ G. It acts as a “do-nothing” element under the operation. For addition of numbers, the identity is 0; for multiplication, it is 1.
群 (G, *) 中的单位元 e 满足：对所有 a ∈ G，有 e * a = a * e = a。它在运算下起到“保持不变”的作用。对于数的加法，单位元是 0；对于乘法，单位元是 1。
The identity must be unique. If two elements e and f both satisfy the identity condition, then e = e * f = f, so they are the same. This is a simple but crucial theorem often proved in introductory group theory.
单位元必须是唯一的。如果有两个元素 e 和 f 都满足单位元的条件，则 e = e * f = f，因此它们相同。这是群论入门中常要证明的一个简单但重要的定理。
When examining a candidate group, you must find exactly one identity element. For instance, the set of positive integers under addition has no identity element (0 is not positive), so it cannot form a group.
在考察一个候选群时，必须能找到恰好一个单位元。例如，正整数集在加法下没有单位元（0 不是正数），因此不能构成群。
6. Inverse Elements | 逆元
For each element a ∈ G, there must exist an inverse a⁻¹ ∈ G such that a * a⁻¹ = a⁻¹ * a = e. The inverse “undoes” the effect of a. In additive groups, the inverse of a is written as −a (so a + (−a) = 0); in multiplicative groups, it is a⁻¹ (so a × a⁻¹ = 1).
对于 G 中的每个元素 a，必须存在逆元 a⁻¹ ∈ G 使得 a * a⁻¹ = a⁻¹ * a = e。逆元“撤销”a 的效果。在加法群中，a 的逆写作 −a（因此 a + (−a) = 0）；在乘法群中，逆写作 a⁻¹（因此 a × a⁻¹ = 1）。
Not every set with an operation has inverses for all its elements. The natural numbers ℕ = {1, 2, 3, …} under addition lack inverse elements because there is no positive integer that can be added to 3 to give 0 (the identity would have to be 0, which is not in the set anyway).
并非每个带运算的集合中所有元素都有逆元。自然数集 ℕ = {1, 2, 3, …} 在加法下缺少逆元，因为没有任何正整数能与 3 相加得到 0（而且单位元 0 本身也不在该集合中）。
Inverses must be unique for each element, a fact that can be proved using associativity and the identity property. In exams, be ready to verify that every element in the given set possesses an inverse within the set.
每个元素的逆元必须是唯一的，这一事实可借助结合律和单位元性质证明。在考试中，要随时准备验证给定集合中的每一个元素都在该集合内拥有逆元。
7. Examples and Non-examples of Groups | 群的例子与非例子
Example 1: (ℤ, +), the set of integers under addition, is a group. Closure: integer + integer = integer. Associativity: yes. Identity: 0. Inverse: for any integer n, the inverse is −n, which is also an integer.
例子 1：(ℤ, +) 即整数集在加法下是一个群。封闭性：整数+整数=整数；结合律：成立；单位元：0；逆元：对任意整数 n，逆元为 −n，也是整数。
Example 2: (ℝ \ {0}, ×), the set of non-zero real numbers under multiplication, is a group. Identity is 1; the inverse of x is 1/x. 0 is excluded because it has no multiplicative inverse.
例子 2：(ℝ \ {0}, ×) 即非零实数集在乘法下是一个群。单位元为 1；x 的逆元是 1/x。0 被排除因为它没有乘法逆元。
Example 3 (finite cyclic group): Consider ℤ₄ = {0, 1, 2, 3} under addition modulo 4. Closure holds, associativity holds, identity is 0, and inverses are 0⁻¹ = 0, 1⁻¹ = 3, 2⁻¹ = 2, 3⁻¹ = 1. This is an abelian group of order 4.
例子 3（有限循环群）：考虑 ℤ₄ = {0, 1, 2, 3} 在模 4 加法下。封闭性成立，结合律成立，单位元为 0，逆元为 0⁻¹ = 0, 1⁻¹ = 3, 2⁻¹ = 2, 3⁻¹ = 1。这是一个 4 阶阿贝尔群。
Non-example: (ℤ, −), integers under subtraction. Closure is satisfied, but subtraction is not associative, so it fails the group definition. There is no identity (though 0 acts as a right identity: a − 0 = a, but 0 − a = −a ≠ a).
非例子：(ℤ, −)，整数在减法下。封闭性满足，但减法不满足结合律，因此不构成群。同时没有真正的单位元（虽然 0 可作为右单位元：a − 0 = a，但 0 − a = −a ≠ a）。
Another non-example: The set of non-negative integers under addition. Identity is 0, but positive integers lack inverses in the set (e.g., no non-negative integer added to 5 gives 0).
另一个非例子：非负整数集在加法下。单位元是 0，但正数在该集合中缺少逆元（例如，没有任何非负整数与 5 相加得 0）。
8. Abelian Groups | 阿贝尔群
A group (G, *) is called abelian (or commutative) if the operation is commutative: a * b = b * a for all a, b ∈ G. Many common groups are abelian, such as (ℤ, +), (ℝ, +), and (ℝ \ {0}, ×).
若群 (G, *) 的运算满足交换律：对所有 a, b ∈ G 有 a * b = b * a，则称之为阿贝尔群（或交换群）。许多常见群都是阿贝尔群，如 (ℤ, +)、(ℝ, +) 和 (ℝ \ {0}, ×)。
Non-abelian groups also exist – a classic example is the group of invertible 2 × 2 matrices under matrix multiplication, where AB ≠ BA in general. In an IGCSE context, you are most likely to encounter abelian groups, but you should be aware that commutativity is not required by the group axioms.
也存在非阿贝尔群——一个经典例子是可逆 2×2 矩阵在矩阵乘法下构成的群，通常 AB ≠ BA。在 IGCSE 环境中，你最可能遇到的是阿贝尔群，但应了解交换律并非群
Published by TutorHao | IGCSE Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导