IB Math: Introduction to Group Theory | IB 数学：群论入门考点精讲

📚 IB Math: Introduction to Group Theory | IB 数学：群论入门考点精讲

Group theory is a branch of abstract algebra that studies algebraic structures known as groups. In the IB Mathematics: Analysis and Approaches Higher Level (AA HL) and Applications and Interpretation Higher Level (AI HL) courses, group theory appears as part of the optional topic ‘Sets, Relations and Groups’. Mastering the fundamental concepts of groups is essential for tackling examination questions on algebraic structures, symmetry, and number systems. This revision guide provides a rigorous, syllabus-aligned review of the core concepts, complete with bilingual explanations to support English and Chinese learners.

群论是抽象代数的一个分支，研究被称为“群”的代数结构。在 IB 数学分析与方法（AA HL）以及应用与解释（AI HL）高阶课程中，群论作为选修主题“集合、关系与群”的一部分出现。掌握群的基本概念对于解答关于代数结构、对称性和数系的考题至关重要。本复习指南提供严谨且贴合考纲的核心概念回顾，并配以中英双语解释，帮助中英文学习者深入理解。

1. What is a Group? | 什么是群？

A group is a set G together with a binary operation * that combines any two elements a and b to form another element, denoted a * b. The set and operation must satisfy four fundamental axioms: closure, associativity, existence of an identity element, and existence of inverse elements for every element in the set. Groups provide a unified way to describe symmetries, transformations, and arithmetic systems that appear across pure and applied mathematics.

群是一个集合 G 以及一个二元运算 *，该运算将任意两个元素 a 和 b 结合成另一个元素，记作 a * b。该集合与运算必须满足四条基本公理：封闭性、结合律、单位元的存在性，以及集合中每个元素逆元的存在性。群为描述纯数学和应用数学中出现的对称性、变换和算术系统提供了一种统一的方式。

2. The Four Group Axioms | 群的四条公理

For a set G and a binary operation * to form a group, the following conditions must hold: Closure – for all a, b in G, a * b is also in G. Associativity – for all a, b, c in G, (a * b) * c = a * (b * c). Identity element – there exists an element e in G such that e * a = a * e = a for every a in G. Inverse element – for each a in G, there exists an element a⁻¹ in G satisfying a * a⁻¹ = a⁻¹ * a = e.

为了使集合 G 与二元运算 * 构成一个群，必须满足以下条件：封闭性——对所有 G 中的 a, b，a * b 仍属于 G。结合律——对所有 a, b, c 属于 G，(a * b) * c = a * (b * c)。单位元——存在 G 中的元素 e，使得对 G 中每个 a 有 e * a = a * e = a。逆元——对每个 a 属于 G，存在元素 a⁻¹ 属于 G，满足 a * a⁻¹ = a⁻¹ * a = e。

3. Classic Examples of Groups | 群的经典例子

The set of integers under addition, (ℤ, +), forms a group: the identity is 0, and the inverse of an integer n is −n. The set of non-zero real numbers under multiplication, (ℝ\{0}, ×), is also a group with identity 1 and inverse 1/x. The set of 2 × 2 invertible matrices with real entries under matrix multiplication forms the general linear group GL(2, ℝ). Finite groups include the set {1, −1} under multiplication and modular arithmetic groups such as ℤ_n under addition modulo n.

整数集在加法运算下构成群 (ℤ, +)：单位元为 0，整数 n 的逆元为 −n。非零实数集在乘法运算下也构成群 (ℝ\{0}, ×)，单位元为 1，逆元为 1/x。所有 2×2 可逆实矩阵在矩阵乘法下构成一般线性群 GL(2, ℝ)。有限群的例子包括集合 {1, −1} 在乘法下，以及模 n 加法群 ℤ_n。

4. Cayley Tables for Finite Groups | 有限群的凯莱表

For a finite group of small order, the operation can be represented by a Cayley table (group table). Each row and column corresponds to an element of the group, and the cell at the intersection shows the result of the operation. A Cayley table for a group must exhibit the Latin square property: each element appears exactly once in each row and each column. This provides a quick verification of the group axioms and is a common IB exam skill.

对于阶数较小的有限群，其运算可以用凯莱表（群表）来表示。每一行和每一列对应群的一个元素，交叉单元格显示运算结果。群的凯莱表必须具有拉丁方性质：每个元素在每一行和每一列中恰好出现一次。这为快速验证群公理提供了方法，也是 IB 考试中常见的技能。

*	e	a
e	e	a
a	a	e

The table above represents a group of order 2, where e is the identity and a is its own inverse (a * a = e). Such tables often appear in examination questions requiring completion or analysis.

上表表示一个 2 阶群，其中 e 为单位元，a 为自身的逆元 (a * a = e)。这类表格常出现在要求补全或分析的考题中。

5. Order of a Group and Order of an Element | 群的阶与元素的阶

The order of a group G, denoted |G|, is the number of elements in the set G. The order of an element a in G is the smallest positive integer n such that aⁿ = e, where e is the identity element. If no such n exists, the element has infinite order. In a finite group, every element has a finite order. The order of an element must divide the order of the group (a consequence of Lagrange’s theorem).

群 G 的阶，记作 |G|，是集合 G 中元素的个数。元素 a 在群中的阶是满足 aⁿ = e 的最小正整数 n，其中 e 为单位元。如果不存在这样的 n，则该元素具有无限阶。在有限群中，每个元素的阶都是有限的。元素的阶必定整除群的阶（拉格朗日定理的推论）。

6. Subgroups and Their Tests | 子群及其判定

A subset H of a group G is a subgroup if H itself forms a group under the same operation. To verify a subset is a subgroup, IB students often use a subgroup test: a non-empty subset H of G is a subgroup if and only if for all a, b in H, a * b⁻¹ is also in H. This one-step test efficiently checks closure, identity, and inverses simultaneously. Common subgroups include the even integers under addition as a subgroup of (ℤ, +).

群 G 的子集 H 若在相同运算下自身构成一个群，则称 H 为子群。为验证子集是否为子群，IB 学生通常使用子群判别法：G 的非空子集 H 是子群当且仅当对所有 a, b 属于 H，有 a * b⁻¹ 也属于 H。这一单步检验法能够同时有效地检验封闭性、单位元和逆元。常见的子群例子有：偶数集在加法下是 (ℤ, +) 的子群。

7. Abelian Groups (Commutativity) | 阿贝尔群（交换性）

A group G is called Abelian (or commutative) if for every a, b in G, a * b = b * a. Many familiar groups, such as (ℤ, +), (ℝ, +), and (ℂ, +), are Abelian. Matrix multiplication groups like GL(2, ℝ) are generally non-Abelian. Checking commutativity is a routine part of group table analysis; a Cayley table is symmetric about the main diagonal if and only if the group is Abelian.

如果对于群 G 中的任意元素 a, b 都有 a * b = b * a，则称 G 为阿贝尔群（或交换群）。许多熟悉的群如 (ℤ, +)、(ℝ, +) 和 (ℂ, +) 都是阿贝尔群。像 GL(2, ℝ) 这样的矩阵乘法群通常是非阿贝尔群。检验交换性是凯莱表分析的常规部分；凯莱表关于主对角线对称当且仅当该群为阿贝尔群。

8. Cyclic Groups | 循环群

A group G is cyclic if it can be generated by a single element a, meaning every element of G can be written as aⁿ for some integer n. The group (ℤ_n, + mod n) is a finite cyclic group of order n, generated by 1. The set of complex n-th roots of unity under multiplication also forms a cyclic group of order n. Cyclic groups are always Abelian, and their subgroup structure is completely determined by the divisors of the group order.

如果一个群 G 可以由单个元素 a 生成，即 G 中每个元素都可写成 aⁿ（n 为整数）的形式，则称 G 为循环群。模 n 加法群 (ℤ_n, + mod n) 是一个 n 阶有限循环群，生成元为 1。复数 n 次单位根在乘法下也构成一个 n 阶循环群。循环群总是阿贝尔群，其子群结构完全由群阶的因子决定。

9. Permutation Groups | 置换群

Permutations of a finite set form a group under composition of mappings. The symmetric group S_n consists of all permutations of n distinct objects and has order n!. Permutations can be written in cycle notation, and the order of a permutation is the least common multiple of its cycle lengths. Permutation groups are central to understanding symmetry, and they provide many non-Abelian examples examined in the IB option.

有限集合上的置换在映射复合运算下构成群。对称群 S_n 包含 n 个不同对象的所有置换，其阶为 n!。置换可用轮换记号表示，置换的阶为其轮换长度的最小公倍数。置换群对于理解对称性至关重要，并为 IB 选修部分提供了许多非阿贝尔群的例子。

10. Group Homomorphisms and Isomorphisms | 群同态与同构

A homomorphism is a function φ: G → H between two groups that preserves the group operation: φ(a * b) = φ(a) * φ(b) for all a, b in G. An isomorphism is a bijective homomorphism; two groups are isomorphic if there exists an isomorphism between them, meaning they have the same algebraic structure. The kernel of a homomorphism is the set of elements mapped to the identity, and it is always a normal subgroup of G. Isomorphism preserves the group order, element orders, and commutativity, making it a key tool for classifying groups.

同态是两个群 G 和 H 之间保持群运算的函数 φ: G → H，即对所有 a, b 属于 G，满足 φ(a * b) = φ(a) * φ(b)。同构是双射的同态映射；若两群之间存在同构，则称这两个群同构，意味着它们具有相同的代数结构。同态的核是被映射到单位元的元素集合，它始终是 G 的正规子群。同构保持群的阶、元素阶和交换性，因此它是群分类的关键工具。

11. Lagrange’s Theorem | 拉格朗日定理

Lagrange’s theorem states that for any finite group G, the order of every subgroup H of G divides the order of G. An immediate corollary is that the order of any element of G also divides |G|. This theorem justifies why groups of prime order have no non-trivial proper subgroups and must be cyclic. IB exam questions frequently ask students to use Lagrange’s theorem to determine possible subgroup orders or to prove certain groups cannot possess subgroups of a given size.

拉格朗日定理指出，对于任意有限群 G，其每个子群 H 的阶都整除 G 的阶。一个直接推论是，G 中任意元素的阶也整除 |G|。这一定理说明了为什么素数阶群没有非平凡的真子群，且必定是循环群。IB 考题经常要求学生利用拉格朗日定理来确定可能的子群阶数，或证明某些群不可能拥有给定大小的子群。

12. Exam Tips and Common Mistakes | 考试技巧与常见错误

When proving a set with an operation is a group, carefully check all four axioms; associativity is often assumed but must be verified for unfamiliar operations. In Cayley table problems, ensure the Latin square property is satisfied. For Lagrange’s theorem applications, explicitly state that the subgroup order must divide the group order. Remember that commutativity is not required for a group unless it is specified as Abelian. Practice writing clear, step-by-step proofs as the IB marking scheme rewards clarity of reasoning.

在证明一个集合与运算构成群时，要仔细验证全部四条公理；结合律常被默认成立，但遇到不熟悉的运算时必须验证。在凯莱表问题中，要确保满足拉丁方性质。应用拉格朗日定理时，要明确指出子群的阶必须整除群的阶。记住，除非明确指明是阿贝尔群，否则交换性不是群的必备条件。多练习写出清晰的、分步骤的证明，因为 IB 评分标准奖励推理的清晰性。

Published by TutorHao | IB Mathematics Revision Series | aleveler.com

更多咨询请联系16621398022（同微信）

IB Math: Introduction to Group Theory | IB 数学：群论入门考点精讲