📚 Introduction to Group Theory for GCSE CIE Mathematics | GCSE CIE 数学：群论入门 考点精讲
Group theory is a branch of mathematics that studies algebraic structures known as groups. Although it is not directly examined at GCSE level, understanding the basics of groups can deepen your appreciation of symmetry, number systems, and the underlying patterns that appear across many topics in the CIE mathematics syllabus. This article introduces the fundamental concepts and properties of groups in a way that builds on your existing knowledge of arithmetic and geometry.
群论是数学的一个分支，研究被称为“群”的代数结构。虽然群论在 GCSE 阶段不会直接考查，但了解群的基本概念可以加深你对对称性、数系以及 CIE 数学大纲中许多专题背后模式的理解。本文将以你已有的算术和几何知识为基础，介绍群的基本概念与性质。
1. What Is a Group? | 什么是群？
A group is a set of elements together with a single binary operation (often written as ★ or simply as addition or multiplication) that satisfies four key axioms: closure, associativity, identity, and invertibility. The operation takes two elements from the set and produces another element that also belongs to the set.
群是一个集合，连同集合上的一个二元运算（常记作 ★，或简记为加法或乘法），并且满足四条关键公理：封闭性、结合律、单位元存在性和可逆性。这个运算从集合中取出两个元素，产生的结果仍然属于该集合。
For a set G and an operation ★, we write (G, ★) to denote a group. A familiar example is the set of integers ℤ under addition: adding any two integers gives another integer, and all four group rules hold.
对于一个集合 G 和运算 ★，我们记作 (G, ★) 表示一个群。一个熟悉的例子是整数集 ℤ 在加法下构成群：任意两个整数相加仍为整数，并且四条群公理全都成立。
2. Closure | 封闭性
Closure means that for any two elements a and b in the set G, the result of the operation a ★ b is also an element of G. This ensures that you never ‘fall out’ of the set when using the operation.
封闭性是指对于集合 G 中的任意两个元素 a 和 b，运算结果 a ★ b 也属于 G。这保证了使用运算时你永远不会“跳出”该集合。
Example: The set of even integers {…, −4, −2, 0, 2, 4, …} is closed under addition, because adding two even numbers always gives an even number. However, the set of odd integers is not closed under addition, since odd + odd = even, which is not odd.
例如：偶数集合 {…, −4, −2, 0, 2, 4, …} 对加法是封闭的，因为两个偶数相加总是得到偶数。但是奇数集合对加法不封闭，因为奇数 + 奇数 = 偶数，而偶数不在奇数的集合中。
3. Associativity | 结合律
Associativity states that for all a, b, c in G, the equation (a ★ b) ★ c = a ★ (b ★ c) holds. This means the order of grouping does not affect the final result, though the order of the elements themselves may matter if the operation is not commutative.
结合律要求对 G 中的所有 a、b、c，都有 (a ★ b) ★ c = a ★ (b ★ c)。这意味着括号的分组方式不影响最终结果，不过如果运算不可交换，元素本身的顺序仍然重要。
In the integers under addition, (2 + 3) + 4 = 2 + (3 + 4), so addition is associative. Under subtraction, however, (5 − 3) − 1 ≠ 5 − (3 − 1), so subtraction is not associative and (ℤ, −) does not form a group.
在整数加法中，(2 + 3) + 4 = 2 + (3 + 4)，所以加法满足结合律。而在减法中，(5 − 3) − 1 ≠ 5 − (3 − 1)，因此减法不满足结合律，(ℤ, −) 不是一个群。
4. Identity Element | 单位元
An identity element is a special element e in G such that for every element a in G, the equations a ★ e = a and e ★ a = a both hold. This element ‘does nothing’ when combined with any other element using the group operation.
单位元是 G 中的一个特殊元素 e，使得对 G 中的每个元素 a，都有 a ★ e = a 和 e ★ a = a 同时成立。这个元素在用群运算与任何其他元素结合时“不起作用”。
For the integers under addition, the identity element is 0, because a + 0 = a and 0 + a = a. For multiplication of non‑zero real numbers, the identity is 1, since a × 1 = a.
对于整数加法群，单位元是 0，因为 a + 0 = a 且 0 + a = a。对于非零实数乘法，单位元是 1，因为 a × 1 = a。
5. Inverse Elements | 逆元
Every element a in a group must have an inverse, often written as a⁻¹, that also belongs to G. The inverse satisfies a ★ a⁻¹ = e and a⁻¹ ★ a = e, where e is the identity element.
群中的每个元素 a 都必须有一个逆元，常记作 a⁻¹，它也属于 G。逆元满足 a ★ a⁻¹ = e 且 a⁻¹ ★ a = e，其中 e 是单位元。
In (ℤ, +), the inverse of 5 is −5, because 5 + (−5) = 0. For the group of non‑zero rational numbers under multiplication, the inverse of 2/3 is 3/2, since (2/3) × (3/2) = 1.
在 (ℤ, +) 中，5 的逆元是 −5，因为 5 + (−5) = 0。对于非零有理数乘法群，2/3 的逆元是 3/2，因为 (2/3) × (3/2) = 1。
6. Commutativity and Abelian Groups | 交换性与阿贝尔群
If the group operation also satisfies a ★ b = b ★ a for all a, b in G, the group is called commutative or Abelian. Many common groups, such as (ℤ, +) and (ℝ\{0}, ×), are Abelian. Not all groups are commutative, however.
如果群运算还满足对所有 a, b ∈ G 都有 a ★ b = b ★ a，那么这个群称为交换群或阿贝尔群。许多常见的群，如 (ℤ, +) 和 (ℝ\{0}, ×)，都是阿贝尔群。但并非所有群都满足交换律。
A classic non‑Abelian group is the set of 2×2 invertible matrices under matrix multiplication. For example, if A = [[0,1],[1,0]] and B = [[1,0],[0,−1]], then AB ≠ BA. Symmetry groups of geometric shapes are also often non‑Abelian.
一个经典的非阿贝尔群是 2×2 可逆矩阵在矩阵乘法下构成的群。例如，若 A = [[0,1],[1,0]]，B = [[1,0],[0,−1]]，则有 AB ≠ BA。几何图形的对称群通常也是非阿贝尔的。
7. Finite Groups and Order | 有限群与阶
A group is called finite if the set G contains a finite number of elements. The number of elements in G is known as the order of the group, denoted |G|. For example, the set {0, 1, 2, 3, 4} under addition modulo 5 has order 5.
如果集合 G 包含有限个元素，则称该群为有限群。G 中元素的个数称为群的阶，记作 |G|。例如，集合 {0, 1, 2, 3, 4} 在模 5 加法下构成一个阶为 5 的群。
In the CIE syllabus, modular arithmetic appears in number topics. A simple finite group is ℤₙ = {0, 1, 2, …, n−1} under addition modulo n. It is Abelian and each element k has inverse n−k (mod n), with 0 as the identity.
在 CIE 大纲中，模运算出现在数论专题里。一个简单的有限群是 ℤₙ = {0, 1, 2, …, n−1} 在模 n 加法下构成的群。它是阿贝尔群，每个元素 k 的逆元是 n−k (模 n)，单位元是 0。
8. Cayley Tables | 凯莱表
A Cayley table is a useful tool for displaying the group operation of a finite group. It resembles a multiplication table, where the entry in row a and column b is the result a ★ b.
凯莱表是展示有限群运算的有用工具，类似于乘法表，表中第 a 行第 b 列的项是运算结果 a ★ b。
For the group ℤ₄ under addition modulo 4, the Cayley table is symmetric about the main diagonal, reflecting commutativity. Every element appears exactly once in each row and column, which is a property of all finite groups.
对于模 4 加法群 ℤ₄，其凯莱表关于主对角线对称，反映出交换性。每一行和每一列中每个元素恰好出现一次，这是所有有限群都满足的性质。
9. Subgroups | 子群
A subgroup is a subset H of a group G that itself forms a group under the same operation as G. For H to be a subgroup, it must contain the identity of G, be closed under the operation, and contain the inverses of all its elements.
子群是群 G 的一个子集 H，它在与 G 相同的运算下自身也构成一个群。要成为子群，H 必须包含 G 的单位元，对运算封闭，并且包含其所有元素的逆元。
Example: The set of even integers 2ℤ = {…, −4, −2, 0, 2, 4, …} is a subgroup of (ℤ, +) because it contains 0, is closed under addition, and the negative of any even integer is even.
例如：偶数集合 2ℤ = {…, −4, −2, 0, 2, 4, …} 是 (ℤ, +) 的一个子群，因为它包含 0，对加法封闭，并且任何偶数的负数也是偶数。
10. Symmetry Groups | 对称群
The symmetries of a regular polygon form a group under composition (doing one symmetry transformation after another). For a square, there are 8 symmetries: 4 rotations (0°, 90°, 180°, 270°) and 4 reflections. This is called the dihedral group of order 8, denoted D₄.
正多边形的对称变换在复合运算下构成一个群。对于正方形，共有 8 种对称：4 种旋转（0°、90°、180°、270°）和 4 种反射。这个群称为 8 阶二面体群，记作 D₄。
Symmetry groups help to connect algebra with geometry. In D₄, the operation is not commutative because a reflection followed by a rotation is not the same as the rotation followed by the reflection.
对称群帮助将代数与几何联系起来。在 D₄ 中，运算不可交换，因为先反射再旋转的结果与先旋转再反射的结果不同。
11. Groups in Modular Arithmetic | 模运算中的群
Modular arithmetic provides many important examples of finite groups. Under addition modulo n, the set {0, 1, 2, …, n−1} forms a cyclic group of order n, often denoted Cₙ. The identity is 0 and the inverse of k is n−k (mod n).
模运算提供了许多重要的有限群例子。在模 n 加法下，集合 {0, 1, 2, …, n−1} 构成一个 n 阶循环群，常记作 Cₙ。单位元是 0，k 的逆元是 n−k (模 n)。
Under multiplication modulo a prime p, the non‑zero elements {1, 2, …, p−1} form a group of order p−1. For example, with p=7, the set {1,2,3,4,5,6} under multiplication mod 7 is a group. The identity is 1, and inverses exist because each element has a multiplicative inverse modulo p.
在模素数 p 乘法下，非零元素 {1, 2, …, p−1} 构成一个 p−1 阶的群。例如，当 p=7 时，集合 {1,2,3,4,5,6} 在模 7 乘法下是一个群。单位元是 1，且每个元素都有模 p 的乘法逆元。
12. Why Study Groups? | 为什么要学习群论？
Group theory provides a unified language to describe symmetry, transformations, and structural properties across mathematics. It plays a vital role in number theory, geometry, cryptography, and even chemistry and physics. Even at GCSE, recognising group‑like patterns can help you solve problems more creatively and understand why certain rules (like associativity) are so important.
群论提供了一种统一的语言来描述数学中的对称性、变换和结构性质。它在数论、几何、密码学甚至化学和物理中都起着至关重要的作用。即使在 GCSE 阶段，识别群状模式也能帮助你更创造性地解决问题，并理解为什么某些规则（如结合律）如此重要。
Although group theory will not be tested in your CIE GCSE Mathematics exams, the logical thinking you develop by exploring these concepts will strengthen your overall mathematical reasoning. The simple axioms of a group illustrate how a few basic rules can generate rich structures, echoing the way axioms underpin geometry and arithmetic.
虽然群论不会在 CIE GCSE 数学考试中出现，但通过探索这些概念所培养的逻辑思维将会加强你的整体数学推理能力。群的四条简单公理展示了如何用少数几条基本规则生成丰富的结构，这与公理支撑几何与算术的方式如出一辙。
Published by TutorHao | GCSE CIE Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导Cancel reply