Introduction to Group Theory | 群论入门

📚 Introduction to Group Theory | 群论入门

Group theory is a fascinating branch of mathematics that studies algebraic structures known as groups. It captures the idea of symmetry and provides a powerful framework used across physics, chemistry, and computer science. In the IGCSE WJEC Mathematics syllabus, group theory introduces you to fundamental axioms, examples such as modular arithmetic and symmetry groups, and the construction of Cayley tables. This article will walk you through the essential concepts, giving clear explanations and revision points to help you master the topic.

群论是数学中一个迷人的分支，研究被称为群的代数结构。它捕捉了对称性的思想，并提供了一个在物理、化学和计算机科学中都有广泛应用的有力框架。在 IGCSE WJEC 数学大纲中，群论将向你介绍基本公理、模运算和对称群等例子以及凯莱表的构造。本文将带你梳理核心概念，提供清晰的解释和复习要点，帮助你掌握这个主题。

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

A group is an ordered pair (G, *) consisting of a non-empty set G and a binary operation * that combines any two elements a, b in G to form another element a * b in G, satisfying four axioms. Groups allow mathematicians to study symmetry and structure in a unified way.

群是一个有序对 (G, *)，由一个非空集合 G 和一个二元运算 * 组成，该运算将 G 中任意两个元素 a 和 b 结合成 G 中的另一个元素 a * b，且满足四个公理。群使得数学家能够以统一的方式研究对称性和结构。

In simpler terms, think of a group as a set of objects together with a rule for combining them. The classic example is the integers with addition: you can add any two integers and always get an integer, and the system behaves nicely. The formal definition ensures that this “nice behaviour” is captured precisely.

简单来说，可以把群想象成一组对象以及一个组合它们的规则。经典的例子是整数和加法：任意两个整数相加总是得到整数，并且这个系统表现良好。正式的定义精确地捕捉了这种“良好行为”。

2. Group Axioms | 群公理

Closure: For all a, b in G, the result of the operation a * b is also in G. This means the set is closed under the operation.

封闭性：对于 G 中所有 a、b，运算结果 a * b 也在 G 中。这意味着集合在该运算下是封闭的。

Associativity: For all a, b, c in G, (a * b) * c = a * (b * c). The order in which you perform the operations does not matter as long as the sequence of elements is unchanged.

结合律：对于 G 中所有的 a、b、c，(a * b) * c = a * (b * c)。只要元素的次序不变，执行运算的顺序无关紧要。

Identity element: There exists an element e in G such that for every a in G, e * a = a * e = a. This special element leaves others unchanged when combined.

单位元：存在 G 中的一个元素 e，使得对每个 a 有 e * a = a * e = a。这个特殊的元素在组合时使其他元素保持不变。

Inverse element: For each a in G, there exists an element a⁻¹ in G such that a * a⁻¹ = a⁻¹ * a = e. Every element has a partner that combines with it to yield the identity.

逆元：对于每个 a 属于 G，存在 a⁻¹ ∈ G 使得 a * a⁻¹ = a⁻¹ * a = e。每一个元素都有一个伙伴，与它结合后得到单位元。

If any one of these four axioms fails, the set with its operation is not a group. Checking them is essential on the exam.

如果这四个公理中的任何一个不成立，则该集合连同其运算就不是群。在考试中检查它们至关重要。

3. Examples of Groups | 群的例子

The set of integers ℤ under addition, (ℤ, +), is a group. Closure holds, addition is associative, 0 is the identity, and the inverse of n is −n.

整数集 ℤ 在加法下构成群 (ℤ, +)。封闭性成立，加法可结合，0 是单位元，n 的逆元是 −n。

The set of non-zero real numbers ℝ\{0} under multiplication, (ℝ\{0}, ×), is a group. The product of two non-zero reals is non-zero, multiplication is associative, the identity is 1, and the inverse of x is 1/x.

非零实数集 ℝ\{0} 在乘法下构成群 (ℝ\{0}, ×)。两个非零实数的乘积非零，乘法可结合，单位元是 1，x 的逆元是 1/x。

The set of rational numbers ℚ under addition is also a group. However, the set of natural numbers under addition is not a group because there is no identity (0 is often excluded) and no inverses besides the identity.

有理数集 ℚ 在加法下也是一个群。然而，自然数集在加法下不是群，因为没有单位元（0 常被排除在外）并且除单位元外没有逆元。

A finite group example is the set {1, −1} under multiplication. The operation is closed, identity is 1, and inverses: 1⁻¹ = 1, (−1)⁻¹ = −1. This is a group of order 2.

一个有限群的例子是乘法下的集合 {1, −1}。运算封闭，单位元是 1，逆元：1⁻¹ = 1，(−1)⁻¹ = −1。这是一个 2 阶群。

4. Abelian Groups | 阿贝尔群

A group (G, *) is called Abelian (or commutative) if the operation also satisfies a * b = b * a for all a, b in G. Commutativity is an extra property that not all groups have.

如果群 (G, *) 的运算还满足对所有 a, b ∈ G 有 a * b = b * a，则称为阿贝尔群（或交换群）。交换律是并非所有群都具备的额外性质。

All the groups mentioned so far with addition or ordinary multiplication are Abelian: (ℤ, +), (ℚ, +), (ℝ\{0}, ×). However, matrix multiplication groups (with square, invertible matrices) are usually non-Abelian because AB ≠ BA in general.

迄今为止提到的加法或通常乘法下的群都是阿贝尔群：(ℤ, +)、(ℚ, +)、(ℝ\{0}, ×)。但矩阵乘法群（方阵、可逆矩阵）通常是非阿贝尔的，因为通常 AB ≠ BA。

In the exam, you may be asked to determine if a given group is Abelian by testing the commutative property using a Cayley table or by reasoning with the operation.

在考试中，你可能需要通过使用凯莱表或通过运算推理来检验交换律，从而判断一个给定的群是否是阿贝尔群。

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

The order of a group is the number of elements in its set, denoted |G|. For finite groups, this is a positive integer; infinite groups have infinite order.

群的阶是其集合中元素的个数，记作 |G|。对于有限群，这是一个正整数；无限群有无穷阶。

The order of an element a in a group is the smallest positive integer n such that aⁿ = e (where aⁿ means a * a * … * a, n times). If no such n exists, the element has infinite order.

群中元素 a 的阶是使得 aⁿ = e 的最小正整数 n（aⁿ 表示 a 自乘 n 次）。如果不存在这样的 n，则该元素有无穷阶。

Example: In the group ℤ₄ under addition modulo 4, the elements are {0, 1, 2, 3}. The order of 1 is 4 because 1+1+1+1 = 4 ≡ 0 (mod 4). The order of 2 is 2 because 2+2 = 4 ≡ 0.

例子：在模 4 加法群 ℤ₄ 中，元素为 {0, 1, 2, 3}。元素 1 的阶是 4，因为 1+1+1+1 = 4 ≡ 0 (mod 4)。元素 2 的阶是 2，因为 2+2 = 4 ≡ 0。

For the multiplication group {1, −1}, the element −1 has order 2 because (−1)² = 1 = e. The identity 1 always has order 1.

对于乘法群 {1, −1}，元素 −1 的阶是 2，因为 (−1)² = 1 = e。单位元 1 的阶总是 1。

6. Subgroups | 子群

A subgroup H of a group G is a subset of G that is itself a group under the same operation. To prove H is a subgroup, you must check that it is non-empty, closed under the operation, contains the identity of G, and contains the inverse of each of its elements.

群 G 的子群 H 是 G 的一个子集，在相同运算下自身构成群。要证明 H 是子群，必须检查它非空、在运算下封闭、包含 G 的单位元，并且包含每个元素的逆元。

A common example: the even integers 2ℤ = {…, -4, -2, 0, 2, 4, …} form a subgroup of (ℤ, +) because the sum of two evens is even, 0 is even, and the negative of an even is even.

一个常见的例子：偶数集 2ℤ = {…, −4, −2, 0, 2, 4, …} 构成 (ℤ, +) 的子群，因为两个偶数之和为偶数，0 是偶数，偶数的负数也是偶数。

In a finite group, a simple way to check for a subgroup is to ensure the subset is closed under the operation. For example, in ℤ₄, the subset {0, 2} is closed (2+2=0, 2+0=2, 0+0=0) and thus is a subgroup of order 2.

在有限群中，检查子群的一种简单方法是确保子集在运算下封闭。例如，在 ℤ₄ 中，子集 {0, 2} 是封闭的（2+2=0，2+0=2，0+0=0），因此是一个 2 阶子群。

7. Cyclic Groups | 循环群

A group G is cyclic if there exists an element g in G such that every element of G can be written as gⁿ for some integer n. The element g is called a generator, and we write G = ⟨g⟩.

如果群 G 中存在一个元素 g，使得 G 的每个元素都可以写成 gⁿ（n 为整数），则称 G 是循环群。元素 g 称为生成元，记作 G = ⟨g⟩。

All cyclic groups are Abelian. The integers under addition, (ℤ, +), is an infinite cyclic group with generator 1 (or −1). Every element is n = 1 + 1 + … + 1 (n times) or its negative.

所有循环群都是阿贝尔群。整数加法群 (ℤ, +) 是一个无限循环群，生成元为 1（或 −1）。每个元素都是 n = 1+1+…+1（n 次）或其负数。

Finite cyclic groups are isomorphic to ℤₙ (the integers modulo n under addition). For instance, ℤ₅ is cyclic of order 5, generator 1. You will often be asked to list elements of a cyclic subgroup generated by a particular element.

有限循环群同构于 ℤₙ（模 n 的加法群）。例如，ℤ₅ 是 5 阶循环群，生成元是 1。你常会被要求列出由某个特定元素生成的循环子群的元素。

8. Group Tables (Cayley Tables) | 群表（凯莱表）

A Cayley table is a square table that displays the results of applying the group operation to each pair of elements. It resembles a multiplication table and is extremely useful for verifying group properties for small finite groups.

凯莱表是一个方形表格，展示对每对元素应用群运算的结果。它类似于乘法表，对于验证小型有限群的群性质极其有用。

Below is the Cayley table for the Klein four-group V₄ with elements {e, a, b, c} and operation * such that a² = b² = c² = e, a*b = c, b*a = c, etc.

下面是克莱因四元群 V₄ 的凯莱表，元素为 {e, a, b, c}，运算 * 满足 a² = b² = c² = e，a*b = c，b*a = c 等。

*	e	a	b	c
e	e	a	b	c
a	a	e	c	b
b	b	c	e	a
c	c	b	a	e

From the table, you can see the identity row and column are unchanged, each element appears exactly once in each row and column (Latin square property), and the group is Abelian because the table is symmetric across the main diagonal.

从表中可以看出，单位元的行和列不变，每个元素在每行每列恰好出现一次（拉丁方性质），并且由于表格关于主对角线对称，此群是阿贝尔群。

You may be asked to complete a Cayley table, find inverses, or determine the order of elements from it. Practise constructing tables for ℤ₄ and other small groups.

你可能被要求完成一个凯莱表、寻找逆元或从中确定元素的阶。练习构建 ℤ₄ 和其他小型群的表格。

9. Symmetry Groups | 对称群

Symmetry groups describe the symmetries of an object, where the group operation is composition of symmetries. The symmetry group of an equilateral triangle is the dihedral group D₃, which has 6 elements: three rotations (0°, 120°, 240°) and three reflections.

对称群描述一个对象的对称性，其群运算是对称性的复合。等边三角形的对称群是二面体群 D₃，有 6 个元素：三个旋转（0°, 120°, 240

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

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

Introduction to Group Theory | 群论入门