📚 Introduction to Group Theory for IGCSE Edexcel Maths | IGCSE Edexcel 数学：群论入门考点精讲
Group theory is a fascinating branch of abstract algebra that studies symmetry and structure. Although it may seem advanced, many IGCSE Edexcel Maths students already encounter group-like ideas when exploring modular arithmetic, symmetry of shapes and number systems. This revision guide introduces the basic concepts of group theory in a clear, exam-focused manner, helping you build a solid foundation for further study.
群论是抽象代数中一个引人入胜的分支，研究对称性和结构。尽管看起来较为高深，许多 IGCSE Edexcel 数学学生在学习模运算、图形对称和数系时就已经接触过类似群的思维。本考点精讲以清晰、应对考试的方式介绍群论的基本概念，帮助你为后续学习打下扎实基础。
1. What is a Group? | 群是什么？
A group is a set G together with a binary operation * (often read as ‘star’) that combines any two elements a and b to form another element a * b. This operation must satisfy four conditions, known as the group axioms: closure, associativity, identity and inverse. We denote the group as (G, *).
群是一个集合 G 以及一个二元运算 *（常读作“星”），该运算将任意两个元素 a 和 b 组合成另一个元素 a * b。该运算必须满足四个条件，称为群公理：封闭性、结合律、单位元和逆元。我们将其记作 (G, *)。
2. Closure Property | 封闭性
For all a, b in G, the result of the operation a * b must also be in G. In other words, combining any two elements of the set never takes you outside the set. This is the first requirement for a group.
对于 G 中任意 a 和 b，运算结果 a * b 也必须属于 G。换句话说，集合中任意两个元素组合后仍然在集合内部。这是群的首要条件。
Example: In the set of integers ℤ under addition, the sum of any two integers is an integer, so closure holds.
示例：在整数集 ℤ 和加法运算下，任意两个整数之和仍是整数，因此满足封闭性。
3. Associativity | 结合律
The operation must be associative, meaning that for all a, b, c in G, (a * b) * c = a * (b * c). The order in which we perform the operation on three elements does not matter, as long as the sequence of elements remains unchanged.
运算必须满足结合律，即对 G 中任意 a, b, c，有 (a * b) * c = a * (b * c)。只要元素顺序不变，三个元素进行运算的先后次序不影响最终结果。
(a * b) * c = a * (b * c)
This is crucial because many operations (like subtraction or division) are not associative on familiar sets.
这一点至关重要，因为许多运算（如减法或除法）在常见集合上就不满足结合律。
4. Identity Element | 单位元
There must exist an element e in G such that for every element a in G, e * a = a * e = a. This special element is called the identity element, as it leaves others unchanged when combined with them.
G 中必须存在一个元素 e，使得对于 G 中每个元素 a，都有 e * a = a * e = a。这个特殊元素称为单位元，因为它与其他元素运算时不改变对方。
For integers under addition, the identity is 0 because a + 0 = 0 + a = a.
对于加法下的整数，单位元是 0，因为 a + 0 = 0 + a = a。
5. Inverse Elements | 逆元
For each element a in G, there must exist an element a⁻¹ (called the inverse of a) also in G, such that a * a⁻¹ = e and a⁻¹ * a = e, where e is the identity. Every element must have an inverse within the group.
对于 G 中每一个元素 a，必须存在一个同样属于 G 的元素 a⁻¹（称为 a 的逆元），使得 a * a⁻¹ = e 且 a⁻¹ * a = e，其中 e 是单位元。每个元素都必须在群里拥有逆元。
Example: In (ℤ, +), the inverse of 5 is −5 because 5 + (−5) = 0.
示例：在 (ℤ, +) 中，5 的逆元是 −5，因为 5 + (−5) = 0。
6. Commutativity and Abelian Groups | 交换律与阿贝尔群
If in addition to the four group axioms, the operation also satisfies a * b = b * a for all a, b in G, the group is called commutative or Abelian. Not all groups are Abelian; some, like symmetry groups of shapes, are non-Abelian.
如果除了四条群公理外，运算还满足对 G 中所有 a, b 有 a * b = b * a，那么该群称为交换群或阿贝尔群。并非所有群都是阿贝尔群；有些群，如某些图形的对称群，是非交换的。
For example, (ℤ, +) is Abelian since a + b = b + a always; matrix multiplication, however, can be non-commutative.
例如，(ℤ, +) 是阿贝尔群，因为总有 a + b = b + a；但矩阵乘法就可能不满足交换律。
7. Example: Integers under Addition | 整数加法群
The set of all integers ℤ = {…, −2, −1, 0, 1, 2, …} together with ordinary addition forms a group. We check each axiom: closure – sum of two integers is an integer; associativity – integer addition is associative; identity – 0; inverses – the inverse of n is −n. This is an infinite Abelian group.
所有整数的集合 ℤ = {…, −2, −1, 0, 1, 2, …} 在普通加法下构成一个群。我们逐一核对公理：封闭性——整数之和仍是整数；结合律——整数加法满足结合律；单位元——0；逆元——n 的逆元是 −n。这是一个无限阿贝尔群。
When you are asked to prove a set with an operation forms a group, always verify these four properties systematically.
当你需要证明某个集合和运算构成群时，务必有条理地验证这四个性质。
8. Example: Cyclic Groups and Modular Arithmetic | 循环群与模运算
Consider the set Zₙ = {0, 1, 2, …, n−1} with addition modulo n. This is a finite group of order n. The identity is 0, and the inverse of k is (n − k) mod n. Because every element can be generated by repeatedly adding 1, it is called a cyclic group.
考虑集合 Zₙ = {0, 1, 2, …, n−1} 与模 n 加法。这是一个 n 阶有限群。单位元是 0，元素 k 的逆元是 (n − k) mod n。由于每个元素都可以通过不断加 1 生成，它被称为循环群。
In Z₅: 2 + 3 ≡ 0 (mod 5), so the inverse of 3 is 2.
Example: In Z₅, the Cayley table can be built; this modular group is fundamental to number theory and cryptography.
示例：在 Z₅ 中可以构建群表；这类模群是数论和密码学的基础。
9. Symmetry Groups of Shapes | 图形的对称群
The symmetries of an equilateral triangle form a non-Abelian group called D₃ (or S₃). The elements include rotations by 120° (R), 240° (R²), and three reflections. The operation is composition of symmetries – performing one after another. The identity is the ‘do nothing’ transformation.
等边三角形的对称变换构成一个非阿贝尔群，记为 D₃（或 S₃）。元素包括旋转 120° (R)、240° (R²) 以及三个反射。运算是变换的复合——先后进行。单位元是“不做任何事”的恒等变换。
Let the reflections be M₁, M₂, M₃. Note that R ◦ M₁ ≠ M₁ ◦ R, demonstrating non-commutativity. Group theory captures the essence of symmetry elegantly.
将反射记作 M₁, M₂, M₃。注意 R ◦ M₁ ≠ M₁ ◦ R，体现了非交换性。群论优雅地抓住了对称性的本质。
10. Group Tables (Cayley Tables) | 群表（凯莱表）
A Cayley table is a grid that shows the results of applying the group operation to every pair of elements. It is particularly useful for finite groups. The identity row and column simply repeat the elements, and every row/column must contain each element exactly once (a consequence of inverses).
凯莱表是一个表格，展示群运算作用于每一对元素的结果。它对有限群尤其有用。单位元所在行和列只是原样列出元素，并且每行和每列必须恰好包含每个元素一次（这是逆元存在的推论）。
Below is a simplified Cayley table for a group with elements {e, a, b}:
| * | e | a | b |
|---|---|---|---|
| e | e | a | b |
| a | a | b | e |
| b | b | e | a |
You can verify group axioms from a complete Cayley table — look for symmetry and uniqueness patterns.
你可以从完整的凯莱表验证群公理——观察对称性和唯一性模式。
11. Subgroups | 子群
A subgroup is a subset H of a group G that itself forms a group under the same operation. To prove H is a subgroup, you must show it is closed, contains the identity, and contains inverses for all its elements.
子群是群 G 的一个子集 H，在同一运算下自身也构成群。要证明 H 是子群，必须证明它封闭、包含单位元且包含其所有元素的逆元。
Example: The set of even integers under addition is a subgroup of (ℤ, +). It is closed, contains 0, and the inverse of any even integer is also even.
示例：偶数集在加法下是 (ℤ, +) 的子群。它满足封闭性，包含 0，且任何偶数的逆元也是偶数。
In Z₆, the subset {0, 3} is a subgroup because 3+3 ≡ 0 mod 6, containing identity and inverses.
在 Z₆ 中，子集 {0, 3} 是子群，因为 3+3 ≡ 0 mod 6，包含单位元和逆元。
12. Summary Checklist for Group Theory | 群论总结清单
When tackling group theory questions in an IGCSE Edexcel context (or any introductory exam), keep this checklist in mind:
在 IGCSE Edexcel 相关情景（或任何入门考试）中处理群论问题时，请记住以下清单：
– Define the set and operation clearly. / 明确定义集合与运算。
– Check closure: is a * b always in the set? / 检查封闭性：a * b 是否总在集合内？
– Verify associativity: often given for familiar operations. / 验证结合律：熟悉运算通常满足。
– Identify the identity element e. / 找出单位元 e。
– Confirm every element has an inverse within the set. / 确认每个元素在集合内都有逆元。
– Determine whether the group is Abelian (commutative). / 判断群是否是阿贝尔群（交换）。
– Recognise common examples: integers under addition, Zₙ, symmetry groups, matrix groups. / 识别常见例子：整数加法群、Zₙ、对称群、矩阵群。
Group theory bridges concrete symmetry with abstract algebra. Mastering these fundamentals will support your progression into A-Level and beyond.
群论将具体对称性与抽象代数连接起来。掌握这些基础将支持你向 A-Level 甚至更高层次迈进。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导