📚 GCSE WJEC Maths: Introduction to Group Theory Essentials | GCSE WJEC 数学：群论入门考点精讲
Group theory is a beautiful and powerful branch of abstract algebra. In GCSE WJEC Mathematics, you may encounter the foundational ideas of groups through symmetry, modular arithmetic, and transformations. This article will guide you step by step through the key concepts, definitions, and examples required for your exam, building a solid understanding of what a group is and how to work with groups.
群论是抽象代数中优美且强大的分支。在 GCSE WJEC 数学中，你可能会通过对称性、模运算和变换接触到群的基础思想。本文将一步步引导你掌握考试所需的关键概念、定义和例子，帮助你扎实理解群是什么以及如何运用群。
1. What is a Group? | 什么是群？
A group (G, *) is a set G together with a binary operation * that combines any two elements to form a third element. The operation must satisfy four axioms: closure, associativity, existence of an identity element, and existence of inverse elements.
群 (G, *) 是一个集合 G 连同一种二元运算 *，该运算将任意两个元素组合形成第三个元素。该运算必须满足四条公理：封闭性、结合律、单位元的存在性以及逆元的存在性。
Think of a group as a mathematical toolkit: you have objects (elements), a way to combine them (*), and rules that guarantee the structure behaves predictably. All number systems, symmetries, and many puzzles follow group axioms.
可将群想象成一个数学工具箱：你有对象（元素），一种组合它们的方式（*），以及确保结构行为可预测的规则。所有的数系、对称性和许多谜题都遵循群公理。
2. Sets and Binary Operations | 集合与二元运算
A set is simply a collection of distinct objects. In groups, the set G contains the elements we work with, such as integers, real numbers, or symmetry moves.
集合就是一组不同对象的汇集。在群中，集合 G 包含我们所处理的元素，例如整数、实数或对称运动。
A binary operation * on G takes two elements a and b from G and produces a result a * b that also belongs to G. Common operations include addition, multiplication, function composition, and modulo addition.
G 上的二元运算 * 从 G 中取出两个元素 a 和 b，并产生结果 a * b，该结果也属于 G。常见的运算包括加法、乘法、函数复合和模加法。
For instance, consider the set of integers Z = {…, -2, -1, 0, 1, 2, …} with the operation of ordinary addition. Adding any two integers always gives another integer.
例如，考虑整数集 Z = {…, -2, -1, 0, 1, 2, …} 以及普通的加法运算。任意两个整数相加总是得到另一个整数。
3. Closure | 封闭性
A set G is closed under the operation * if, for all a, b in G, the result a * b remains in G. Closure is the first guarantee that our operation does not take us outside the set.
如果对于 G 中的任意 a, b，运算结果 a * b 仍然在 G 中，则称集合 G 在运算 * 下封闭。封闭性是确保运算不会将我们带出集合的第一道保障。
For all a, b ∈ G, a * b ∈ G
对于所有 a, b ∈ G，a * b ∈ G
Example: The set of even integers is closed under addition because even + even = even. However, the set of odd integers is not closed under addition, since odd + odd = even, which is not odd.
示例：偶数集在加法下封闭，因为偶数 + 偶数 = 偶数。然而，奇数集在加法下不封闭，因为奇数 + 奇数 = 偶数，而偶数不是奇数。
Checking closure is often the first step when testing whether a candidate G and * form a group.
检验封闭性往往是测试候选 G 和 * 是否构成群的第一步。
4. Associativity | 结合律
Associativity means that when combining three or more elements, the way in which we group them does not affect the final result.
结合律意味着当组合三个或更多元素时，分组的方式并不影响最终结果。
(a * b) * c = a * (b * c) for all a, b, c ∈ G
对所有 a, b, c ∈ G，(a * b) * c = a * (b * c)
Ordinary addition and multiplication of numbers are associative: (1 + 2) + 3 = 1 + (2 + 3). Function composition is also associative. Subtraction and division, however, are not associative.
普通的加法和乘法满足结合律：(1 + 2) + 3 = 1 + (2 + 3)。函数复合也满足结合律。但减法和除法不满足结合律。
In group theory, associativity is required because we often rearrange brackets to simplify expressions and prove properties.
在群论中，结合律是必需的，因为我们经常重新排列括号以简化表达式和证明性质。
5. Identity Element | 单位元
An identity element e in G is a special element that leaves every element unchanged when combined with it.
群 G 中的单位元 e 是一个特殊元素，当它与其他任何元素结合时，都不会改变该元素。
e * a = a * e = a for all a ∈ G
对所有 a ∈ G，e * a = a * e = a
For the integers under addition, the identity is 0 because a + 0 = 0 + a = a. For non-zero real numbers under multiplication, the identity is 1.
对于加法下的整数，单位元是 0，因为 a + 0 = 0 + a = a。对于乘法下的非零实数，单位元是 1。
Every group must have exactly one identity element. You will often need to identify or prove the existence of an identity for a given set and operation.
每个群必须有且仅有一个单位元。你经常需要针对给定的集合与运算确定或证明单位元的存在性。
6. Inverse Element | 逆元
For every element a in G, there exists an inverse element a⁻¹ in G such that combining a with a⁻¹ returns the identity.
对于 G 中的每个元素 a，都存在一个逆元 a⁻¹ 属于 G，使得 a 与 a⁻¹ 结合后得到单位元。
a * a⁻¹ = a⁻¹ * a = e for all a ∈ G
对所有 a ∈ G，a * a⁻¹ = a⁻¹ * a = e
In (Z, +), the inverse of 3 is -3 because 3 + (-3) = 0. In the group of non-zero real numbers under multiplication, the inverse of 5 is 1/5 (or 0.2).
在 (Z, +) 中，3 的逆元是 -3，因为 3 + (-3) = 0。在乘法下的非零实数组里，5 的逆元是 1/5（即 0.2）。
Not every element in a set automatically has an inverse – you must verify that the inverse lies within the set. Lack of inverses is a common reason some algebraic structures fail to be groups.
并非集合中的每个元素都自动具有逆元——你必须验证逆元是否位于集合内。逆元的缺失是一些代数结构不能成为群的常见原因。
7. Example: The Integer Additive Group (Z, +) | 例子：整数加法群 (Z, +)
The set of integers Z together with ordinary addition forms a classic group. Let us verify each axiom.
整数集 Z 连同普通加法构成一个经典的群。我们来逐一验证每条公理。
Closure: The sum of any two integers is an integer. Associativity: Addition is associative. Identity: The identity element is 0. Inverses: For any integer a, the inverse is -a, which is also an integer.
封闭性：任意两个整数之和仍为整数。结合律：加法满足结合律。单位元：单位元是 0。逆元：对于任意整数 a，其逆元是 -a，它也是整数。
This group is infinite and abelian (commutative), meaning a + b = b + a for all a, b. Although commutativity is not a required group axiom, many common groups are abelian.
这个群是无限的，并且是阿贝尔群（交换群），即对于所有 a, b 都有 a + b = b + a。虽然交换律不是群公理的必要条件，但许多常见群都是交换群。
Recognising familiar structures like (Z, +) helps you quickly spot when a new set and operation will form a group.
识别像 (Z, +) 这样熟悉的结构，有助于你在遇到新的集合和运算时快速判断它们是否构成群。
8. Modular Arithmetic Groups | 模运算群
Consider the set Z₅ = {0, 1, 2, 3, 4} under addition modulo 5. The operation a * b is defined as (a + b) mod 5.
考虑集合 Z₅ = {0, 1, 2, 3, 4} 在模 5 加法下的情形。运算 a * b 定义为 (a + b) mod 5。
Closure holds because adding two numbers and taking remainder modulo 5 always gives a result in {0,1,2,3,4}. The operation is associative and the identity is 0.
封闭性成立，因为两数相加后取模 5 的余数，结果总是在 {0,1,2,3,4} 中。运算满足结合律，且单位元是 0。
Inverses are found by asking: which number x in the set satisfies (a + x) mod 5 = 0? For a = 2, the inverse is 3 because (2+3) mod 5 = 0.
通过询问集合中哪个数 x 满足 (a + x) mod 5 = 0 来找到逆元。对于 a = 2，逆元是 3，因为 (2+3) mod 5 = 0。
This is a finite cyclic group. Modular groups appear in clock arithmetic, coding theory, and exam questions testing your ability to construct group tables.
这是一个有限循环群。模群出现在钟表算术、编码理论以及考察你构建群表能力的考试题目中。
9. Symmetry Groups: The Dihedral Group D₃ | 对称群：二面体群 D₃
Groups also arise from the symmetries of shapes. The dihedral group D₃ describes the symmetries of an equilateral triangle: three rotations (including identity) and three reflections.
群也起源于图形的对称性。二面体群 D₃ 描述了等边三角形的对称性：包括三次旋转（含恒等变换）和三次反射。
The set G = {e, r, r², s, rs, r²s} where r is a 120° rotation, s is a reflection in a fixed axis, and composition of transformations serves as the operation *.
集合 G = {e, r, r², s, rs, r²s}，其中 r 是 120° 旋转，s 是关于固定轴的反射，变换的复合作为运算 *。
Closure can be checked using composition rules, e.g. r * s = rs, s * r = r²s. The identity is e (do nothing), and each element has an inverse, e.g. r⁻¹ = r².
封闭性可利用复合规则来检验，例如 r * s = rs，s * r = r²s。单位元是 e（不做任何变换），每个元素都有逆元，如 r⁻¹ = r²。
WJEC exam questions may ask you to identify symmetry groups of simple shapes or to complete a partial Cayley table for such groups.
WJEC 的考题可能会要求你识别简单图形的对称群，或为这样的群补全部分凯莱表。
10. Cayley Tables | 凯莱表
A Cayley table is a square grid that displays the results of the group operation for every pair of elements. It is an essential tool for verifying group axioms for small finite groups.
凯莱表是一个方形表格，用于呈现每一对元素经群运算得到的结果。它是验证小型有限群公理的重要工具。
Below is the Cayley table for the group Z₃ = {0, 1, 2} under addition modulo 3. The entry in row a and column b gives a + b (mod 3).
下面是群 Z₃ = {0, 1, 2} 在模 3 加法下的凯莱表。第 a 行第 b 列的条目给出 a + b (mod 3) 的结果。
| + mod 3 | 0 | 1 | 2 |
|---|---|---|---|
| 0 | 0 | 1 | 2 |
| 1 | 1 | 2 | 0 |
| 2 | 2 | 0 | 1 |
From the table, you can directly observe closure (all entries are in {0,1,2}), find the identity (0, because its row and column repeat the headers), and locate inverses (the entry 0 appears once in each row and column, showing each element has an inverse).
从表格中，你可以直接观察到封闭性（所有条目都在 {0,1,2} 中），找到单位元（0，因为它的行和列重复了表头），并定位逆元（每行每列都恰好出现一次 0，表明每个元素都有逆元）。
Constructing or interpreting Cayley tables is a common exam task. Practice by filling in tables for Z₄, the Klein four-group, or D₃.
构建或解读凯莱表是常见的考试任务。通过填写 Z₄、克莱因四元群或 D₃ 的表格来练习。
11. Uniqueness of Identity and Inverses | 单位元与逆元的唯一性
In any group, the identity element is unique. If e₁ and e₂ both act as identities, then e₁ = e₁ * e₂ = e₂, so they are the same element.
在任何群中，单位元是唯一的。如果 e₁ 和 e₂ 都充当单位元，那么 e₁ = e₁ * e₂ = e₂，因此它们是同一个元素。
Similarly, the inverse of each element is unique. If a has two inverses, b and c, then b = b * e = b * (a * c) = (b * a) * c = e * c = c.
同样，每个元素的逆元都是唯一的。如果 a 有两个逆元 b 和 c，那么 b = b * e = b * (a * c) = (b * a) * c = e * c = c。
These uniqueness properties allow us to safely denote the inverse by a⁻¹ and the identity by e. In your reasoning, you may refer to these proofs to justify that a structure is a valid group.
这些唯一性性质使我们能够安全地用 a⁻¹ 表示逆元，用 e 表示单位元。在推理时，你可以引用这些证明来论证某个结构是一个有效的群。
Understanding uniqueness also helps when solving equations like a * x = b in a group; we can multiply on the left by a⁻¹ to obtain x = a⁻¹ * b, confident that the inverse is well-defined and unique.
理解唯一性还有助于在群中求解方程，例如 a * x = b；我们可以在左边乘以 a⁻¹ 得到 x = a⁻¹ * b，确信逆元是明确定义且唯一的。
12. Summary and Exam Tips | 总结与考试技巧
To master group theory at GCSE level, focus on these key actions: identify the set and operation; check the four axioms systematically; use Cayley tables for small finite sets; and link groups to symmetry and modular arithmetic.
要在 GCSE 阶段掌握群论，请专注于这些关键操作：识别集合与运算；系统地检验四条公理；对小的有限集使用凯莱表；并将群与对称性和模运算联系起来。
Common pitfalls: forgetting to check that the identity actually belongs to the set, assuming inverses exist without verification, or mixing up the operation (e.g. using multiplication when the operation is addition).
常见误区：忘记检查单位元是否确实属于该集合、在未验证的情况下假设逆元存在、或者混淆运算类型（例如在运算是加法时使用了乘法）。
When faced with an exam question, write out the definition clearly. For each axiom, give a brief justification or a counterexample. If a Cayley table is provided, read it carefully – the identity and inverses should be immediately visible if the table represents a group.
面对考试题时，清晰地写出定义。针对每一条公理，给出简要的证明或反例。如果给出了凯莱表，仔细阅读——如果表格表示一个群，那么单位元和逆元应当一目了然。
Practice with examples like (Zₙ, + mod n), symmetry groups of regular polygons, and simple transformations. By doing so, you will build the confidence to tackle any group theory problem on the WJEC paper.
通过像 (Zₙ, + mod n)、正多边形的对称群和简单变换这样的例子来练习。这样，你将建立起信心，去解决 WJEC 试卷上任何群论问题。
Published by TutorHao | GCSE Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
屏轩国际教育cambridge primary/secondary checkpoint, cat4, ukiset,ukcat,igcse,alevel,PAT,STEP,MAT, ibdp,ap,ssat,sat,sat2课程辅导，国外大学本科硕士研究生博士课程论文辅导