Introduction to Group Theory | 群论入门

📚 Introduction to Group Theory | 群论入门

Group theory is the branch of mathematics that studies the algebraic structures known as groups. A group captures the idea of symmetry in a precise way, and it provides a powerful language for describing patterns and transformations in mathematics, physics, and beyond. In this GCSE AQA revision guide, we will explore the fundamental concepts of group theory: the group axioms, common examples, cyclic groups, symmetry groups, subgroups, Cayley tables, Abelian groups, and isomorphisms. By the end, you will understand how groups help us unify many ideas in algebra and geometry.

群论是数学中研究代数结构——群——的一个分支。群以精确的方式捕捉了对称性的思想，并为描述数学、物理及其他领域的模式和变换提供了强大的语言。在这份GCSE AQA复习指南中，我们将探索群论的基本概念：群公理、常见例子、循环群、对称群、子群、凯莱表、阿贝尔群和同构。最后，你将理解群如何帮助我们统一代数和几何中的许多思想。

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

A group is a set G together with a binary operation ‘*’ (often called multiplication) that combines any two elements a, b in G to form another element a * b, also in G. The operation must satisfy four special conditions called the group axioms. Informally, you can think of a group as a collection of symmetries or actions that can be combined, undone, and that includes a ‘do nothing’ action.

群是一个集合G配上一个二元运算’*’（常称为乘法），该运算将G中任意两个元素a, b组合成另一个元素a * b，它也在G中。这个运算必须满足四个特殊条件，称为群公理。非正式地说，你可以把群想象成一组对称或作用，它们可以组合、可以撤销，并且包含一个“什么都不做”的作用。

For instance, the integers with addition form a group because adding two integers always gives an integer, there is an identity 0, and every integer has an additive inverse (its negative). The study of groups allows mathematicians to treat vastly different mathematical objects with a single, unified framework.

例如，整数配上加法构成一个群，因为两个整数相加总是得到一个整数，存在单位元0，并且每个整数都有加法逆元（它的相反数）。群的研究使数学家能够用单一、统一的框架来处理截然不同的数学对象。

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

To qualify as a group, a set G with an operation * must satisfy these axioms:

要成为一个群，带运算*的集合G必须满足以下公理：

Closure: For all a, b in G, a * b is also in G.
封闭性：对于G中所有的a, b，a * b也在G中。
Associativity: For all a, b, c in G, (a * b) * c = a * (b * c).
结合律：对于G中所有的a, b, c，(a * b) * c = a * (b * c)。
Identity: There exists an element e in G such that for every a in G, e * a = a * e = a.
单位元：存在G中一个元素e，使得对于G中每个a，有e * a = a * e = a。
Inverse: For each a in G, there exists an element a⁻¹ in G such that a * a⁻¹ = a⁻¹ * a = e.
逆元：对于G中每个a，存在G中一个元素a⁻¹，使得a * a⁻¹ = a⁻¹ * a = e。

It is important to note that the operation need not be commutative; if a * b = b * a for all elements, the group is called Abelian. However, commutativity is not a required axiom. The four axioms above are the only requirements for a set to be a group.

重要的是，运算不需要是交换的；如果对于所有元素都有a * b = b * a，这个群称为阿贝尔群。但是，交换性不是必须的公理。上述四条公理是一个集合成为群的唯一要求。

3. Example: The Integers under Addition | 示例：整数在加法下构成群

Consider the set of all integers ℤ = {…, -2, -1, 0, 1, 2, …} with ordinary addition as the operation. Let us verify the axioms:

考虑全体整数的集合ℤ = {…, -2, -1, 0, 1, 2, …}，以普通加法为运算。我们验证一下公理：

Closure: The sum of any two integers is an integer. 封闭性：任意两个整数的和是整数。
Associativity: (a + b) + c = a + (b + c) for all integers. 结合律：对所有整数(a + b) + c = a + (b + c)。
Identity: 0 acts as the identity because a + 0 = a. 单位元：0作为单位元，因为a + 0 = a。
Inverse: For each integer a, the inverse is -a, since a + (-a) = 0. 逆元：对每个整数a，逆元是-a，因为a + (-a) = 0。

Therefore, (ℤ, +) is a group. Moreover, because addition is commutative (a + b = b + a), this group is Abelian. This is often the first group students encounter, and it serves as an excellent model for understanding the group structure.

因此，(ℤ, +)是一个群。此外，由于加法是可交换的(a + b = b + a)，这个群是阿贝尔群。这通常是学生遇到的第一个群，它是理解群结构的一个极好模型。

4. Example: Non-zero Real Numbers under Multiplication | 示例：非零实数在乘法下构成群

Now take the set ℝ* = ℝ \ {0} (all real numbers except zero) with multiplication as the operation. Check the axioms:

现在取集合ℝ* = ℝ \ {0}（除零以外的所有实数），以乘法为运算。检查公理：

Closure: The product of two non-zero real numbers is non-zero. 封闭性：两个非零实数的乘积非零。
Associativity: (a × b) × c = a × (b × c) holds for real numbers. 结合律：实数满足(a × b) × c = a × (b × c)。
Identity: The number 1 is the identity since a × 1 = a. 单位元：数字1是单位元，因为a × 1 = a。
Inverse: For any non-zero a, its inverse is 1/a, since a × (1/a) = 1. 逆元：对任何非零a，它的逆是1/a，因为a × (1/a) = 1。

Thus (ℝ*, ×) forms a group. Note that if we included zero, the inverse axiom would fail because 0 has no multiplicative inverse. This group is also Abelian since multiplication of real numbers is commutative.

因此(ℝ*, ×)构成一个群。注意如果包含零，逆元公理就会失效，因为0没有乘法逆元。由于实数乘法可交换，这个群也是阿贝尔群。

5. Cyclic Groups and Clock Arithmetic | 循环群与时钟算术

A cyclic group is a group that can be generated by a single element. That means every element of the group can be written as powers (or multiples) of one particular element, called a generator. A classic example is the group of integers modulo n under addition, denoted ℤₙ or ℤ/nℤ.

循环群是可以由单个元素生成的群。这意味着群中的每一个元素都可以写成某个特定元素（称为生成元）的幂（或倍数）。一个经典的例子是整数模n的加法群，记作ℤₙ或ℤ/nℤ。

For instance, ℤ₄ = {0, 1, 2, 3} with addition modulo 4. The group operation works like clock arithmetic: 2 + 3 ≡ 1 (mod 4). The element 1 generates the whole group because repeatedly adding 1 gives 1, 2, 3, 0. This group is cyclic and Abelian.

例如，ℤ₄ = {0, 1, 2, 3}，运算为模4加法。这个群的运算如同时钟算术：2 + 3 ≡ 1 (mod 4)。元素1生成了整个群，因为不断加1得到1, 2, 3, 0。这个群是循环且阿贝尔的。

Another example of a cyclic group is the set of complex numbers {1, i, -1, -i} under multiplication, generated by i. Here i¹ = i, i² = -1, i³ = -i, i⁴ = 1. So this group is cyclic of order 4, and it is essentially the same structure as ℤ₄.

循环群的另一个例子是复数集合{1, i, -1, -i}在乘法下，生成元为i。这里i¹ = i, i² = -1, i³ = -i, i⁴ = 1。因此这个群是4阶循环群，本质上与ℤ₄结构相同。

6. Symmetry Groups of Regular Polygons | 正多边形的对称群

Groups originally arose from the study of symmetries. Consider an equilateral triangle. The set of all rigid motions (rotations and reflections) that map the triangle onto itself forms a group under composition of motions. This is the dihedral group D₃, which has 6 elements.

群最初源于对称性的研究。考虑一个等边三角形。所有将三角形映射到自身的刚性运动（旋转和反射）的集合，在运动的复合下构成一个群。这就是二面体群D₃，它有6个元素。

For a square, the symmetry group is D₄, with 8 elements. In general, a regular n-sided polygon has a symmetry group Dₙ of order 2n, consisting of n rotations and n reflections. These groups are non-Abelian for n ≥ 3, meaning the order of operations matters. For example, reflecting and then rotating is not the same as rotating and then reflecting.

对于正方形，对称群是D₄，有8个元素。一般地，正n边形具有2n阶的对称群Dₙ，包含n个旋转和n个反射。当n ≥ 3时这些群是非阿贝尔的，意味着运算顺序有影响。例如，先反射再旋转与先旋转再反射得到的结果不同。

Symmetry groups are incredibly useful in chemistry (molecular symmetry) and physics (crystallography), because they describe how objects can be transformed while preserving their structure.

对称群在化学（分子对称性）和物理（晶体学）中极其有用，因为它们描述了物体如何在保持结构不变的情况下进行变换。

7. Subgroups | 子群

A subgroup is a subset H of a group G that is itself a group under the same operation. To check whether H is a subgroup, we need to verify: H is non-empty; H is closed under the group operation; and for every element h in H, its inverse h⁻¹ is also in H. These conditions are often simplified into the subgroup test.

子群是群G的一个子集H，在同样的运算下自身也构成一个群。要检验H是否为子群，我们需要验证：H非空；H在群运算下封闭；并且对于H中的每个元素h，其逆元h⁻¹也在H中。这些条件常被简化为子群判定法则。

For example, take G = (ℤ, +). The set of even integers 2ℤ = {…, -4, -2, 0, 2, 4, …} forms a subgroup. It is closed because the sum of two even integers is even, the identity 0 is even, and the inverse of an even integer is even. However, the set of odd integers is not a subgroup because it does not contain the identity 0, and the sum of two odd integers is even, violating closure.

例如，取G = (ℤ, +)。偶整数集合2ℤ = {…, -4, -2, 0, 2, 4, …}构成一个子群。它具有封闭性，因为两个偶数之和是偶数，单位元0是偶数，偶数的逆是偶数。然而，奇整数集合不是一个子群，因为它不含单位元0，而且两个奇数之和为偶数，违反了封闭性。

Every group has at least two subgroups: the trivial subgroup {e} containing only the identity, and the group G itself. Subgroups reveal the internal structure of a group and are fundamental to more advanced topics like Lagrange’s theorem.

每个群至少有两个子群：只包含单位元的平凡子群{e}，以及群G自身。子群揭示了群的内部结构，并且对更深入的课题如拉格朗日定理至关重要。

8. Cayley Tables | 凯莱表

A Cayley table is a grid that displays the results of the group operation for every pair of elements. It is the group-theoretic analogue of a multiplication table. Constructing a Cayley table helps visualise the group structure and check properties like closure and inverses.

凯莱表是一个展示每一对元素的群运算结果的网格。它是群论版的乘法表。构造凯莱表有助于可视化群的结构并检查诸如封闭性和逆元等性质。

Consider the Klein four-group V₄, which consists of {e, a, b, c} with the property that every element is its own inverse and the product of any two distinct non-identity elements gives the third. Its Cayley table is:

考虑克莱因四元群V₄，它由{e, a, b, 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 immediately see that e is the identity, each element is its own inverse (e appears on the diagonal), and the group is Abelian because the table is symmetric about the main diagonal.

从表中你可以立刻看到e是单位元，每个元素都是自身的逆（对角线上出现e），并且由于表格关于主对角线对称，群是阿贝尔群。

9. Abelian Groups | 阿贝尔群

A group is called Abelian (or commutative) if the operation is commutative, i.e., a * b = b * a for all a, b in G. Many familiar groups are Abelian: (ℤ, +), (ℝ*, ×), and the cyclic groups ℤₙ. In an Abelian group, the order of combining elements does not affect the outcome.

如果运算满足交换律，即对于G中所有的a, b有a * b = b * a，那么该群称为阿贝尔群（或交换群）。许多熟悉的群都是阿贝尔群：(ℤ, +), (ℝ*, ×)以及循环群ℤₙ。在阿贝尔群中，元素的结合顺序不影响结果。

Non-Abelian groups, on the other hand, are groups where commutativity fails. The smallest non-Abelian group is the dihedral group D₃ (symmetries of an equilateral triangle), which has order 6. In this group, performing rotation r followed by reflection s gives a different result than s followed by r: r ◦ s ≠ s ◦ r.

另一方面，非阿贝尔群是那些交换律不成立的群。最小的非阿贝尔群是二面体群D₃（等边三角形的对称群），它是6阶的。在这个群中，先进行旋转r再进行反射s与先s后r得到的结果不同：r ◦ s ≠ s ◦ r。

Matrix groups, such as the set of invertible 2×2 matrices under multiplication, are another important class of non-Abelian groups. Being Abelian or not gives deep insight into the group’s structure and often determines the techniques used to study it.

矩阵群，比如2×2可逆矩阵在乘法下的集合，是另一类重要的非阿贝尔群。是否为阿贝尔群能深刻揭示群的结构，并且往往决定了研究它所采用的方法。

10. Isomorphism: When Groups Look the Same | 同构：当群看起来一样

Two groups are said to be isomorphic if there is a bijective mapping between their elements that preserves the group operation. This means that although the groups may look different, they have exactly the same structure. Isomorphism is a key concept because it allows mathematicians to classify groups up to structural equivalence.

如果两个群之间存在一个保持群运算的双射映射，则称它们是同构的。这意味着尽管这两个群可能看起来不同，但它们具有完全相同的结构。同构是一个关键概念，因为它使数学家能够按结构等价来分类群。

For example, the cyclic group ℤ₄ under addition modulo 4 is isomorphic to the group of fourth roots of unity {1, i, -1, -i} under multiplication. The mapping could be: 0 → 1, 1 → i, 2 → -1, 3 → -i. You can check that adding in ℤ₄ corresponds to multiplying in the roots group: 1 + 2 = 3 in ℤ₄ maps to i × (-1) = -i, which is the image of 3.

例如，模4加法下的循环群ℤ₄与四次单位根群{1, i, -1, -i}在乘法下同构。映射可以是：0 → 1, 1 → i, 2 → -1, 3 → -i。你可以检验ℤ₄中的加法对应于单位根群中的乘法：ℤ₄中1 + 2 = 3映射到i × (-1) = -i，正是3的像。

Another crucial isomorphism is between the Klein four-group V₄ and the direct product ℤ₂ × ℤ₂. Both have four elements and the same pattern of each non-identity element being its own inverse. Isomorphism helps to recognise that many seemingly different groups are essentially the same.

另一个重要的同构是克莱因四元群V₄与直积ℤ₂ × ℤ₂之间的同构。两者都有四个元素，且每个非单位元都是自身逆元的模式相同。同构帮助我们认识到许多表面不同的群本质上是相同的。

11. Why Study Groups? | 为什么要学习群论？

Group theory provides a unifying language for all of mathematics. It appears in number theory (modular arithmetic), geometry (symmetry and transformations), and algebra (solving equations). The famous unsolvability of the general quintic equation by radicals was proved using Galois theory, which is built on group theory.

群论为整个数学提供了一种统一的语言。它出现在数论（模运算）、几何（对称与变换）和代数（解方程）中。五次及以上一般方程无根式解的著名结论就是用建立在群论基础上的伽罗瓦理论证明的。

Beyond pure mathematics, groups are essential in modern physics: the Standard Model of particle physics is described by gauge groups such as SU(3) × SU(2) × U(1). In chemistry, group theory is used to analyse molecular vibrations and predict spectroscopic properties. Cryptographic algorithms, including those securing internet communications, rely on the hardness of certain group-theoretic problems.

在纯数学之外，群在现代物理学中至关重要：粒子物理的标准模型就是用规范群如SU(3) × SU(2) × U(1)描述的。在化学中，群论被用来分析分子振动和预测光谱性质。包括保护互联网通信在内的密码算法依赖于某些群论问题的困难性。

Even in everyday puzzles like Rubik’s Cube, the set of all possible moves forms a group. Understanding the group structure helps to devise solving strategies. Thus, learning group theory opens doors to a deeper appreciation of the hidden patterns that govern both mathematical and physical worlds.

即使在魔方这样的日常谜题中，所有可能转动的集合也构成一个群。理解群的结构有助于设计还原策略。因此，学习群论为更深入地理解统领数学和物理世界的隐藏模式打开了大门。

Published by TutorHao | Maths Revision Series | aleveler.com

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

Introduction to Group Theory | 群论入门