📚 Group Theory Essentials: Exam-Focused Guide | 群论入门考点精讲
Group theory is a fundamental branch of abstract algebra that studies algebraic structures known as groups. For IB and CIE A-Level Mathematics, understanding groups is essential for tackling questions on sets, operations, and symmetry. This guide covers core concepts, definitions, and theorems frequently examined, with clear examples to boost your revision.
群论是抽象代数的重要分支，研究生名为“群”的代数结构。对于IB和CIE A-Level数学，掌握群的概念对于解决有关集合、运算和对称性问题至关重要。本指南涵盖常考的核心概念、定义和定理，并提供清晰示例，助力复习。
1. Groups: The Concept | 群的基本概念
A group is an algebraic structure capturing the idea of symmetry and reversible transformations. It consists of a set equipped with a binary operation that combines any two elements to form a third element, obeying four key axioms.
群是一种代数结构，它刻画了对称与可逆变换的思想。一个群由一个集合以及一个二元运算构成，该运算将任意两个元素组合成第三个元素，并满足四条关键公理。
In examination contexts, you will be asked to verify whether a given set with an operation forms a group, identify the identity and inverses, and reason about group properties.
在考试情境中，你会被要求验证给定的集合连同一种运算是否构成群，识别单位元和逆元，并推理群的性质。
2. Formal Definition of a Group | 群的正式定义
A group is an ordered pair (G, ·) where G is a set and · is a binary operation on G satisfying the following axioms:
- Closure: for all a, b ∈ G, a · b ∈ G.
- Associativity: for all a, b, c ∈ G, (a · b) · c = a · (b · c).
- Identity element: there exists e ∈ G such that for all a ∈ G, e · a = a · e = a.
- Inverse element: for each a ∈ G, there exists b ∈ G such that a · b = b · a = e. This b is called the inverse of a, denoted a⁻¹.
群是一个有序对 (G, ·)，其中 G 是一个集合，· 是 G 上的一个二元运算，且满足以下公理：
- 封闭性：对所有 a, b ∈ G，有 a · b ∈ G。
- 结合律：对所有 a, b, c ∈ G，(a · b) · c = a · (b · c)。
- 单位元：存在 e ∈ G，使得对所有 a ∈ G，e · a = a · e = a。
- 逆元：对每个 a ∈ G，存在 b ∈ G 使得 a · b = b · a = e。这个 b 称为 a 的逆元，记作 a⁻¹。
These four axioms are non-negotiable; missing any one of them means the structure is not a group. Exam questions frequently test these, especially closure and the existence of inverses.
这四条公理缺一不可；缺少任何一条都意味着该结构不是一个群。考试题目经常检验这些，尤其是封闭性和逆元的存在性。
3. First Examples and Non-Examples | 初步示例与非示例
The integers ℤ under addition form a group: closure holds, associativity holds, the identity is 0, and the inverse of n is –n. However, ℤ under multiplication is not a group because not every integer has a multiplicative inverse in ℤ (e.g., 2 has no integer reciprocal).
整数集 ℤ 在加法下构成群：封闭性成立，结合律成立，单位元是 0，n 的逆元是 –n。然而，ℤ 在乘法下不是群，因为并非每个整数在 ℤ 中都有乘法逆元（例如，2 没有整数倒数）。
The set of non-zero real numbers ℝ\{0} under multiplication is a group. The identity is 1, and the inverse of x is 1/x. This is a favourite example to illustrate that the set must exclude zero to satisfy the inverse axiom.
非零实数集 ℝ\{0} 在乘法下是一个群。单位元是 1，x 的逆元是 1/x。这是一个经典示例，说明必须排除零才能满足逆元公理。
A Cayley table can reveal group properties at a glance. For a set with few elements, you can fill in all combinations and check closure, identity and inverses visually.
凯莱表可以让人一览群的性质。对于元素较少的集合，你可以填入所有组合，并直观地检查封闭性、单位元与逆元。
4. Abelian Groups | 阿贝尔群
up (G, ·) is called abelian (or commutative) if its operation is commutative: for all a, b ∈ G, a · b = b · a.
如果群 (G, ·) 的运算满足交换律，即对所有 a, b ∈ G 有 a · b = b · a，则称该群为阿贝尔群（或交换群）。
Examples of abelian groups include (ℤ, +), (ℝ\ r multiplication is non-abelian because matrix multiplication does not commute in general.
阿贝尔群的例子有 (ℤ, +)、(ℝ\{0}, ×) 以及平凡群。非阿贝尔群常出现在矩阵或对称性中：二阶可逆实矩阵在乘法下是非阿贝尔群，因为矩阵乘法通常不可交换。
Exam tip: when asked “Is G abelian?”, simply test the commutative property on two generic elements or find a counterexample.
考试提示：当被问到“G 是否为阿贝尔群？”时，只需对两个一般元素检验交换律，或找一个反例。
5. Subgroups and Tests | 子群及其判别法
A subset H of a group G is a subgroup if H itself forms a group under the same operation. The most efficient way to check this is the subgroup test: H is a subgroup of G if and only if H is non-empty and for all a, b ∈ H, a · b⁻¹ ∈ H.
群 G 的一个子集 H 如果在同一运算下自身构成群，则称为子群。检验子群最有效的方法是子群判别法：H 是 G 的子群当且仅当 H 非空，且对所有 a, b ∈ H，有 a · b⁻¹ ∈ H。
In exams, you often apply this one-step test. For example, the set of even integers 2ℤ is a subgroup of (ℤ, +) because 0 ∈ 2ℤ and the difference of two even integers is even.
在考试中，你常会运用这个一步检验法。例如，偶数集 2ℤ 是 (ℤ, +) 的子群，因为 0 ∈ 2ℤ 且两个偶数的差仍为偶数。
Always remember to state that the subset is non-empty, typically by showing the identity element belongs to it.
永远记得说明子集非空，通常通过证明单位元属于它来体现。
6. Order of Elements and Groups | 元素与群的阶
The order of a group G, denoted |G|, is the number of elements in the set G. For an element a ∈ er n such that aⁿ = e, where e is the identity. If no such n exists, a has infinite order.
群 G 的阶，记作 |G|，是集合 G 中元素的个数。对于元素 a ∈ G，a 的阶，记作 ord(a)，是使 aⁿ = e 成立的最小正整数 n，其中 e 是单位元。若不存在这样的 n，则 a 的阶为无穷大。
In a finite group, every element has finite order, and the order of an element divides the group order (a consequence of Lagrange’s Theorem, explored later). For instance, in the group of rotational symmetries of a square, the element representing a 90° rotation has order 4.
在有限群中，每个元素的阶都是有限的，且元素的阶整除群的阶（这是后面将要探讨的拉格朗日定理的推论）。例如，在正方形的旋转对称群中，代表旋转 90° 的元素阶数为 4。
7. Cyclic Groups | 循环群
A group G is cyclic if there exists an element g ∈ be written as gᵏ for some integer k. The element g is called a generator, and we write G = ⟨g⟩.
如果存在一个元素 g ∈ G，使得 G 中的每一个元素都可以写成 gᵏ（对于某个整数 k），则称群 G 是循环群。这个元素 g 称为生成元，记作 G = ⟨g⟩。
Examples: (ℤ, +) is infinite cyclic generated by 1 (or –1). The group of n-th roots of unity under multiplication is a finite cyclic group of order n, generated by e2πi/n.
示例：(ℤ, +) 是由 1（或 –1）生成的无限循环群。n 次单位根在乘法下构成一个阶为 n 的有限循环群，由 e2πi/n 生成。
Cyclic groups are always abelian, and their subgroup structure is easy to describe: every subgroup of a cyclic group is cyclic. Exam problems often ask you to find generators or list all subgroups.
循环群总是阿贝尔群，其子群结构易于描述：循环群的每个子群都是循环群。考试问题常要求你找出生成元或列出所有子群。
8. Lagrange's Theorem | 拉格朗日定理
Lagrange’s Theorem is a cornerstone: if G is a finite group and H is a subgroup of G, then |H| divides |G|. Equivalently, |G| = |H| · [G : H], where [G : H] is the index of H in G.
拉格朗日定理是一个基石：若 G 是有限群，H 是 G 的子群，则 |H| 整除 |G|。等价地，|G| = |H| · [G : H]，其中 [G : H] 是 H 在 G 中的指数。
A direct corollary: the order of any element in a finite group divides the group order, because the subgroup generated by that element has size equal to the element order. This theorem restricts possible subgroups and element orders, making it a powerful tool for classification.
一个直接推论：有限群中任一元素的阶整除群的阶，因为该元素生成的子群的大小等于该元素的阶。该定理限制了可能的子群和元素阶，使其成为分类的有力工具。
Typical exam question: given |G| subgroups and elements. Subgroup orders can be 1, 2, 4, 8; element orders must be divisors of 8: 1, 2, 4, or 8.
典型考题：已知 |G| = 8，确定所有可能的子群阶和元素阶。子群的阶可以是 1、2、4、8；元素的阶必须是 8 的约数：1、2、4 或 8。
9. Group Homomorphisms | 群同态
A homomorphism between groups (G, ·) and (H, ∗) is a function f: G → H that preserves the group structure: f(a · b) = f(a) ∗ f(b) for all a, b ∈ G.
群之间的同态是一个保持群结构的函数 f: G → H，满足对所有 a, b ∈ G，f(a · b) = f(a) ∗ f(b)。
its. Basic facts: ker(f) is a subgroup of G, and f is injective if and only if ker(f) = {eG}.
同态的核 ker(f) 是 G 中映射到 H 的单位元的元素的集合。像 im(f) 是 f 在 H 中取值的集合。基本事实：ker(f) 是 G 的子群，且 f 是单射当且仅当 ker(f) = {eG}。
ght ask to verify a map is a homomorphism or to find the kernel of a given map, such as f: ℤ → ℤ defined by f(n) = 2n (which is a homomorphism from (ℤ, +) to (ℤ, +) with trivial kernel).
考试问题可能要求验证一个映射是同态，或找出给定映射的核，比如 f: ℤ → ℤ，f(n) = 2n（这是从 (ℤ, +) 到 (ℤ, +) 的同态，核为平凡子群）。
10. Isomorphism of Groups | 群的同构
An isomorphism is a bijective homomorphism. If there exists an isomorphism between G and H, the groups are called isomorphic (G ≅ H). Isomorphic groups have identical algebraic structure—they are essentially the same group up to renaming of elements.
同构是双射的同态。如果在 G 和 H 之间存在同构，则称这两个群同构 (G ≅ H)。同构的群具有相同的代数结构——本质上，它们只是元素名称不同的同一个群。
Common examples: the cyclic group of order 4 is isomorphic to the group of rotational symmetries of a square, and also to the multiplicative group {1, i, –1, –i}. Recognising isomorphisms allows you to transfer known properties from one group to another.
常见示例：四阶循环群同构于正方形的旋转对称群，也同构于乘法群 {1, i, –1, –i}。识别同构可以让你将已知的性质从一个群转移到另一个群。
Proving two groups are not isomorphic often relies on comparing orders of elements, presence of abelian property, or existence of elements of a certain order.
证明两个群不同构通常依赖于比较元素的阶、是否具有阿贝尔性质，或者是否存在特定阶的元素。
11. Exam Tips and Common Pitfalls | 考点提示与常见误区
Always check closure first—many candidates lose marks by assuming a set is closed under an operation. Confirm associativity may be assumed for known operations like addition or multiplication of numbers, but must be checked for unfamiliar ones.
永远先检查封闭性——许多考生因想当然地认为集合对某一运算封闭而失分。对于熟知的运算，如数的加法和乘法，可以假定结合律成立，但对于陌生运算必须验证。
abelian groups, left and right inverses must coincide for a group, but checking both can be a useful sanity check.
当被要求找出某个元素的逆元时，解方程 a · x = e 和 x · a = e。在非阿贝尔群中，左逆和右逆必须一致（群的定义要求），但两者都检查是一个有用的检验方法。
Use Lagrange’s Theorem to eliminate impossible element orders. In a group of order 6, you cannot have an element of order 4. Always state that the order of an element must divide the group order.
利用拉格朗日定理排除不可能的元素阶。在一个六阶群中，不可能有四阶元素。务必明确指出元素的阶必须整除群的阶。
For subgroup tests, just one condition (a · b⁻¹ ∈ H) suffices; do not check all group axioms separately. Remember to first note H is non-empty by showing e ∈ H.
对于子群判别法，只需一个条件 (a · b⁻¹ ∈ H) 即足够；无需逐一检验全部群公理。切记先指出 H 非空，可说明 e ∈ H。
Memorise the standard examples: ℤ, ℝ, ℚ under addition; ℝ*, ℚ*, ℝ⁺ under multiplication; unit circles; matrix groups GL(n, ℝ). These illustrate almost every theorem.
熟记标准例子：加法下的 ℤ、ℝ、ℚ；乘法下的 ℝ*、ℚ*、ℝ⁺；单位圆；矩阵群 GL(n, ℝ)。这些例子几乎能阐明每一个定理。
Published by TutorHao | Mathematics Revision Series | aleveler.com
更多咨询请联系16621398022（同微信）
或截图后用「扫一扫 → 相册」选择本图