📚 Group Theory Essentials for IB & OCR Mathematics | IB OCR 数学：群论入门考点精讲
Group theory is a foundational topic in abstract algebra that appears in both IB Higher Level Mathematics and the OCR A Level Further Mathematics specification. It provides a formal language to study symmetry, structure, and the behaviour of sets under a single binary operation. Mastering the basic definitions, key examples, and core theorems is essential for success in examinations. This guide distills the essential concepts, from the group axioms to homomorphisms and quotient groups, offering clear explanations and exam-focused insights.
群论是抽象代数的基础主题，出现在 IB 高级数学和 OCR A Level 进阶数学的考试大纲中。它提供了一种形式化的语言，用于研究对称性、结构以及集合在单一二元运算下的行为。掌握基本定义、关键示例和核心定理对于在考试中取得成功至关重要。本文精炼了从群公理到同态和商群的核心概念，提供清晰的解释和有针对性的应试要点。
1. What Is a Group? The Four Axioms | 什么是群？四大公理
A group (G, ∗) is a set G equipped with a binary operation ∗ satisfying four axioms: closure, associativity, the existence of an identity element, and the existence of inverses for every element. Formally, for all a, b, c in G we require: a ∗ b ∈ G; (a ∗ b) ∗ c = a ∗ (b ∗ c); there exists e ∈ G such that e ∗ a = a ∗ e = a; and for each a ∈ G there exists a⁻¹ ∈ G with a ∗ a⁻¹ = a⁻¹ ∗ a = e. These axioms are the only properties we may assume when proving results about groups.
群 (G, ∗) 是一个集合 G 配备一个二元运算 ∗，满足四条公理：封闭性、结合律、存在单位元以及每个元素都有逆元。形式化地，对 G 中任意 a, b, c 要求：a ∗ b ∈ G；(a ∗ b) ∗ c = a ∗ (b ∗ c)；存在 e ∈ G 使得 e ∗ a = a ∗ e = a；且对每个 a ∈ G 存在 a⁻¹ ∈ G 满足 a ∗ a⁻¹ = a⁻¹ ∗ a = e。这些公理是证明群的性质时可假定的唯一条件。
The identity element is unique, and each element has a unique inverse. In examination questions you may be asked to verify these axioms for a given set and operation, or to prove elementary consequences such as (a ∗ b)⁻¹ = b⁻¹ ∗ a⁻¹ and the cancellation laws.
单位元是唯一的，且每个元素的逆元也是唯一的。考试题目可能会要求验证给定集合和运算是否满足这些公理，或者证明基本推论，如 (a ∗ b)⁻¹ = b⁻¹ ∗ a⁻¹ 以及消去律。
2. First Examples: Familiar Number Systems | 初步例子：熟悉的数系
The integers under addition, (ℤ, +), form an infinite abelian group. The identity is 0, and the inverse of n is −n. However, the integers under multiplication do not form a group because, for example, 2 has no multiplicative inverse in ℤ. The non-zero rational numbers ℚ \ {0} under multiplication, the real numbers ℝ under addition, and the complex numbers ℂ under addition are all groups. For modular arithmetic, the set ℤₙ = {0, 1, …, n−1} under addition modulo n is a finite cyclic group of order n.
整数在加法下 (ℤ, +) 构成一个无限阿贝尔群。单位元是 0，n 的逆元是 −n。但整数在乘法下不构成群，因为例如 2 在 ℤ 中没有乘法逆元。非零有理数 ℚ \ {0} 在乘法下、实数 ℝ 在加法下以及复数 ℂ 在加法下都是群。在模运算中，集合 ℤₙ = {0, 1, …, n−1} 在模 n 加法下构成一个 n 阶有限循环群。
Be careful with sets that fail closure or lack inverses. A common exam trap is the set of all real numbers under multiplication: 0 has no inverse, so it is not a group. Removing 0 yields the group (ℝ \ {0}, ×).
要注意那些不满足封闭性或缺少逆元的集合。常见的考试陷阱是所有实数在乘法下：0 没有逆元，因此不是群。去掉 0 后得到群 (ℝ \ {0}, ×)。
3. Symmetry Groups and Permutation Groups | 对称群与置换群
The symmetric group Sₙ is the set of all permutations of n symbols under composition. Its order is n!. For example, S₃ has 6 elements and is non-abelian. The dihedral group Dₙ (of order 2n) describes the symmetries of a regular n-gon, consisting of n rotations and n reflections. The cyclic group Cₙ of order n can be thought of as the rotational symmetries of a regular n-gon.
对称群 Sₙ 是 n 个符号上所有排列的集合，运算为复合。其阶为 n!。例如，S₃ 有 6 个元素且非阿贝尔。二面体群 Dₙ（阶为 2n）描述正 n 边形的对称性，包含 n 个旋转和 n 个反射。n 阶循环群 Cₙ 可看作正 n 边形的旋转对称群。
These groups appear frequently on exams. You should be able to compose permutations in cycle notation, find the order of an element, and recognise the group structure from the Cayley table. For Dₙ, know that it is generated by a rotation r of order n and a reflection s of order 2, with the relation srs = r⁻¹.
这些群经常出现在考试中。你应该能够用轮换记号复合置换，找出元素的阶，并通过凯莱表识别群结构。对于 Dₙ，要理解它由一个 n 阶旋转 r 和一个 2 阶反射 s 生成，满足关系 srs = r⁻¹。
4. Subgroups and the Subgroup Test | 子群及其判定法
A subset H of a group G is a subgroup if it is itself a group under the same operation. To check that H is a subgroup, the one-step subgroup test is often most efficient: verify that H is non-empty and that for all a, b ∈ H, the element a ∗ b⁻¹ ∈ H. This automatically implies closure, identity, and inverses.
群 G 的子集 H 如果本身在同一种运算下构成群，则称为子群。为了验证 H 是否为子群，一步子群检验法通常最为高效：验证 H 非空，且对所有 a, b ∈ H，元素 a ∗ b⁻¹ ∈ H。这一条件自动蕴含封闭性、单位元和逆元的存在。
Common subgroups include the trivial subgroup {e}, the whole group G, the centre Z(G) = {g ∈ G : gx = xg for all x ∈ G}, and the cyclic subgroup generated by an element a, denoted ⟨a⟩. Knowing how to generate subgroups from subsets is essential for understanding the lattice of subgroups.
常见的子群包括平凡子群 {e}、整个群 G、中心 Z(G) = {g ∈ G : gx = xg 对所有 x ∈ G}，以及由元素 a 生成的循环子群 ⟨a⟩。了解如何从子集生成子群对于理解子群格至关重要。
5. Cyclic Groups and Generators | 循环群与生成元
A group G is cyclic if there exists an element g ∈ G such that every element of G can be written as gⁿ for some integer n. Then G = ⟨g⟩ and the order of G is the order of g. Finite cyclic groups of order n are isomorphic to ℤₙ under addition modulo n. Every cyclic group is abelian, and any subgroup of a cyclic group is cyclic.
如果存在元素 g ∈ G，使得 G 中每个元素都可写成 gⁿ（n 为某整数）的形式，则称群 G 为循环群。此时 G = ⟨g⟩，G 的阶就是 g 的阶。有限 n 阶循环群同构于模 n 加法下的 ℤₙ。每个循环群都是阿贝尔群，且循环群的任何子群也是循环群。
To determine whether a given group is cyclic, attempt to find a generator. In ℤₙ under addition, the generators are precisely the integers k coprime to n. For the multiplicative group of integers modulo p (where p is prime), denoted ℤₚ*, the group is cyclic of order p−1. Proving that a group is cyclic often involves checking orders of elements.
要判断给定群是否为循环群，尝试找出生成元。在模 n 加法下的 ℤₙ 中，生成元恰为所有与 n 互质的整数 k。对于模素数 p 的整数乘法群 ℤₚ*，该群是 p−1 阶循环群。证明一个群是循环群通常涉及检查元素的阶。
6. Lagrange’s Theorem and Its Consequences | 拉格朗日定理及其推论
Lagrange’s theorem states that if H is a subgroup of a finite group G, then the order of H divides the order of G. This implies that the order of any element a ∈ G must divide |G|, because the cyclic subgroup ⟨a⟩ has order equal to the order of a. Lagrange’s theorem is a powerful tool for determining possible subgroup sizes and element orders.
拉格朗日定理指出，若 H 是有限群 G 的子群，则 H 的阶整除 G 的阶。这蕴含任何元素 a ∈ G 的阶必整除 |G|，因为循环子群 ⟨a⟩ 的阶等于 a 的阶。拉格朗日定理是确定可能子群大小和元素阶的强大工具。
A classic application: in a group of order 6, element orders can only be 1, 2, 3, or 6. Also, groups of prime order p have no non-trivial proper subgroups and are cyclic. Be careful: the converse of Lagrange’s theorem is false; a group of order 12 need not contain a subgroup of order 6 (A₄ is a counterexample).
经典应用：在 6 阶群中，元素的阶只能是 1、2、3 或 6。另外，素数 p 阶群没有非平凡的真子群，且必为循环群。注意：拉格朗日定理的逆命题不成立；12 阶群不一定包含 6 阶子群（A₄ 就是一个反例）。
7. Homomorphisms and Isomorphisms | 同态与同构
A map φ: G → H between two groups is a homomorphism if it preserves the group operation: φ(a ∗ b) = φ(a) ∗ φ(b) for all a, b ∈ G. The kernel of φ, ker φ = {g ∈ G : φ(g) = e_H}, is a normal subgroup of G, and the image im φ is a subgroup of H. An isomorphism is a bijective homomorphism, and if such a map exists the groups are structurally identical, written G ≅ H.
两个群之间的映射 φ: G → H，若保持群运算：对所有 a, b ∈ G 有 φ(a ∗ b) = φ(a) ∗ φ(b)，则称为同态。φ 的核 ker φ = {g ∈ G : φ(g) = e_H} 是 G 的正规子群，像 im φ 是 H 的子群。同构是双射同态，若这样的映射存在，则两个群结构相同，记为 G ≅ H。
In examinations you may need to prove a map is a homomorphism, find its kernel and image, and deduce isomorphism via the First Isomorphism Theorem: G / ker φ ≅ im φ. Recognise common isomorphisms, such as ℤₘₙ ≅ ℤₘ × ℤₙ when m and n are coprime, and that every group of order 2 is isomorphic to ℤ₂.
考试中你可能需要证明某个映射是同态，求它的核与像，并通过第一同构定理推断同构：G / ker φ ≅ im φ。要能识别常见同构，如当 m 与 n 互质时 ℤₘₙ ≅ ℤₘ × ℤₙ，以及所有 2 阶群都同构于 ℤ₂。
8. Abelian Groups and Their Structure | 阿贝尔群及其结构
A group is abelian if a ∗ b = b ∗ a for all a, b ∈ G. Familiar examples include (ℤ, +), (ℝ \ {0}, ×), and cyclic groups. The opposite notion is a non-abelian group; the smallest non-abelian group is S₃ of order 6. Every subgroup of an abelian group is normal, which simplifies quotient constructions.
若对所有 a, b ∈ G 都有 a ∗ b = b ∗ a，则称该群为阿贝尔群。熟悉的例子包括 (ℤ, +)、(ℝ \ {0}, ×) 及循环群。与之相对的是非阿贝尔群；最小的非阿贝尔群是 6 阶的 S₃。阿贝尔群的每个子群都是正规的，这简化了商群的构造。
The Fundamental Theorem of Finite Abelian Groups states that every finite abelian group is isomorphic to a direct product of cyclic groups of prime power order. This classification is unique up to the order of the factors. It is a deeper result that frequently provides a shortcut to identifying the isomorphism type of a given abelian group.
有限阿贝尔群基本定理指出，每个有限阿贝尔群都同构于素数幂阶循环群的直积。这种分解在因子次序的意义下是唯一的。这是一个更深刻的结果，常为识别给定阿贝尔群的同构类型提供捷径。
9. Cosets and Normal Subgroups | 陪集与正规子群
For a subgroup H of G and a ∈ G, the left coset aH = {a ∗ h : h ∈ H} and the right coset Ha = {h ∗ a : h ∈ H}. The left cosets partition G into equivalence classes of equal size. Lagrange’s theorem follows directly from this partition. A subgroup N is normal if gN = Ng for all g ∈ G; equivalently, gNg⁻¹ = N. Notation: N ◁ G.
对于 G 的子群 H 及 a ∈ G，左陪集 aH = {a ∗ h : h ∈ H}，右陪集 Ha = {h ∗ a : h ∈ H}。左陪集将 G 划分为大小相等的等价类。拉格朗日定理直接由此划分得出。若对所有 g ∈ G 有 gN = Ng，等价地 gNg⁻¹ = N，则子群 N 为正规子群。记作 N ◁ G。
Normality is exactly the condition needed to define the quotient group G/N, where the elements are cosets of N and the operation is (aN)(bN) = (ab)N. In abelian groups, all subgroups are normal, so forming quotients is straightforward. In non-abelian groups, verifying normality often requires checking that gng⁻¹ ∈ N for all g ∈ G, n ∈ N.
正规性正是定义商群 G/N 所需的条件，商群的元素是 N 的陪集，运算定义为 (aN)(bN) = (ab)N。在阿贝尔群中，所有子群都是正规的，因此构造商群非常简单。在非阿贝尔群中，验证正规性通常需要检查对所有 g ∈ G、n ∈ N 是否都有 gng⁻¹ ∈ N。
10. Quotient Groups and the First Isomorphism Theorem | 商群与第一同构定理
Once a normal subgroup N of G is identified, the quotient group G/N is a group whose order is |G| / |N|. The natural projection π: G → G/N given by π(g) = gN is a surjective homomorphism with kernel N. This leads to the First Isomorphism Theorem: if φ: G → H is a homomorphism, then G / ker φ ≅ im φ.
一旦确定了 G 的正规子群 N，商群 G/N 就是一个阶为 |G| / |N| 的群。自然投影 π: G → G/N 定义为 π(g) = gN，它是满同态，其核为 N。由此导出第一同构定理：若 φ: G → H 是同态，则 G / ker φ ≅ im φ。
This theorem is the bridge that converts homomorphisms into explicit isomorphisms between quotients and subgroups. Exam problems often ask you to use the theorem to prove that a certain quotient group is isomorphic to a familiar group, for instance ℝ / ℤ ≅ circle group under multiplication of complex numbers of modulus 1.
该定理是将同态转化为商群与子群之间显式同构的桥梁。考试题常要求使用这一定理证明某个商群同构于一个熟悉的群，例如 ℝ / ℤ ≅ 模为 1 的复数在乘法下的圆周群。
11. Group Actions (Introductory Insight) | 群作用（入门介绍）
An action of a group G on a set X is a map G × X → X, denoted (g, x) ↦ g·x, satisfying e·x = x and g·(h·x) = (gh)·x. Group actions are a unifying concept: they formalise how groups permute elements of a set. The orbit-stabiliser theorem is a powerful counting tool: for a finite group G acting on X, |Orb(x)| = |G| / |Stab(x)|.
群 G 在集合 X 上的作用是一个映射 G × X → X，记作 (g, x) ↦ g·x，满足 e·x = x 及 g·(h·x) = (gh)·x。群作用是一个统一的概念：它将群如何置换集合元素形式化。轨道-稳定子定理是一个强大的计数工具：对作用在 X 上的有限群 G，有 |Orb(x)| = |G| / |Stab(x)|。
Although group actions may be an extension topic for some syllabi, they provide elegant proofs of classical results like Cayley’s theorem (every group is isomorphic to a subgroup of a symmetric group) and the class equation, which leads to Sylow theorems. A surface understanding can enrich your essay-style questions.
虽然群作用对某些课程可能是拓展内容，但它为经典结论提供了简洁的证明，如凯莱定理（每个群都同构于某个对称群的子群）和类方程，后者可导出西罗定理。表面理解就足以丰富论述型题目。
12. Exam Tips and Common Pitfalls | 应试技巧与常见陷阱
Read definitions carefully: many marks are lost by confusing the operation (addition vs multiplication). When checking group axioms, ensure closure is explicitly verified. Never assume a group is abelian unless stated or proven. Use Lagrange’s theorem correctly: it only states divisibility; it does not guarantee the existence of subgroups of every divisor.
仔细阅读定义：许多失分源于混淆运算（加法还是乘法）。验证群公理时，要明确验证封闭性。除非题目说明或你已证明，切勿假定一个群是阿贝尔群。正确使用拉格朗日定理：它只保证整除关系，并不保证每个因子阶的子群都存在。
Become fluent in composing permutations and computing orders. Practice constructing Cayley tables for small groups. Memorise key isomorphisms like ℤ₆ ≅ ℤ₂ × ℤ₃. When proving normality, the condition ghg⁻¹ ∈ N is often easier to work with than gN = Ng. Finally, show clear logical steps in your proofs to gain maximum credit.
要熟练进行置换的复合及计算阶。练习构造小群的凯莱表。熟记关键同构，如 ℤ₆ ≅ ℤ₂ × ℤ₃。证明正规性时，条件 ghg⁻¹ ∈ N 通常比 gN = Ng 更容易操作。最后，在证明中展现清晰的逻辑步骤，以获得最高分数。
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课程辅导，国外大学本科硕士研究生博士课程论文辅导