群论简介

引入

在数学和抽象代数中，群论（Group Theory）主要研究叫做「群」的代数结构。

定义

在数学中，群（group）是由一种集合以及一个二元运算所组成的，符合「群公理」的代数结构。

一个群是一个集合加上对的二元运算。二元运算用 $\cdot$ 表示，它结合了任意两个元素和形成了一个属于的元素，记为 $a\cdot b$ 。

群公理包含下述四个性质（有时略去封闭性，只有三个性质）。若集合 $G\neq\varnothing$ 和上的运算 $\cdot$ 构成的代数结构 $(G,\cdot)$ 满足以下性质：

封闭性：对于所有中，运算 $a\cdot b$ 的结果也在 G 中。
结合律（associativity）：对于中所有的，等式 $(a \cdot b)\cdot c = a \cdot (b \cdot c)$ 成立。
单位元（identity element，也称幺元）：中存在一个元素，使得对于中的每一个元素，都有一个 $e \cdot a=a\cdot e=a$ 成立。这样的元素是独一无二的。它被称为群的单位元。
逆元（inverse element）：对于每个中的，总存在中的一个元素使 $a \cdot b = b \cdot a = e$ ，此处为单位元，称为的逆元，记为 $a^{-1}$ 。

则称 $(G,\cdot)$ 为一个群。例如，整数集和整数间的加法 $(\mathbb{Z},+)$ 构成一个群，单位元是 0，一个整数的逆元是它的相反数。

群的衍生结构

若代数结构 $(G,\cdot)$ 满足封闭性、结合律性质，则称 $(G,\cdot)$ 为一个半群（semigroup）。
若半群 $(G,\cdot)$ 还满足单位元性质，则称 $(G,\cdot)$ 为一个 幺半群（monoid）。
若群 $(G,\cdot)$ 还满足 交换律（commutativity）：对于中所有的，等式 $a\cdot b=b\cdot a$ 成立。
则称 $(G,\cdot)$ 为一个 阿贝尔群（Abelian group），又称 交换群（commutative group）。

环

形式上，环（ring）是一个集合及对的两个二元运算：加法和乘法 $\cdot$ （注意这里不是我们一般所熟知的四则运算加法和乘法）所组成的，且满足如下性质的代数结构 $(R,+,\cdot)$ ：

构成交换群，其单位元记为，中元素的加法逆元记为。
$(R,\cdot)$ 构成半群。
分配律（distributivity）：对于中所有的，等式 $a\cdot(b+c)=a\cdot b+a\cdot c$ 和 $(a+b)\cdot c=a\cdot c+b\cdot c$ 成立。

Warning

在有的定义中，环必须存在乘法单位元；相对地，不存在乘法单位元的则被称为伪环（rng 或 pseudo-ring）。遇到的时候需根据上下文加以判断。

维基百科采用的就是这种定义：¹

In the terminology of this article, a ring is defined to have a multiplicative identity, while a structure with the same axiomatic definition but without the requirement for a multiplicative identity is instead called a rng (IPA:/rʊŋ/). For example, the set of even integers with the usual + and ⋅ is a rng, but not a ring. As explained in § History below, many authors apply the term "ring" without requiring a multiplicative identity.

在抽象代数中，研究环的分支为环论。

环的衍生结构

若环上的乘法还满足交换律，则称为 交换环（commutative ring）。
若环存在乘法单位元，则称为幺环（ring with identity）。
若幺环的所有非元素存在乘法逆元 $a^{-1}$ ，则称为除环（division ring）。

域

域（field）是一个比环性质更强的代数结构，具体地，域是交换除环。

域的研究方法和环大不相同。在抽象代数中，研究域的分支为域论。

群的基本概念

定义为包含元素的集合。 $x \in X$ 表示属于集合。 $f:X\to Y$ 表示是一个与的每个元素和的元素相关联的函数。

在研究集合时，我们使用子集（subset）、函数（function）和等价关系商（quotient by an equivalence relation）等概念。在研究群时，我们通过等价关系用子群（subgroup）、同态（homomorphism）和商群（quotient group）来代替。

群同态

群同态 是保持群结构的函数，可用于关联两个群。

从群 $(G,\cdot)$ 到群的同态是一个函数 $\varphi :G\to H$ 使得对于中所有的元素和：

\varphi (a\cdot b)=\varphi (a)*\varphi (b)

子群

子群：群 $(G,\cdot), (H,\cdot)$ ，满足 $H\subseteq G$ ，则 $(H,\cdot)$ 是 $(G,\cdot)$ 的子群。

子群是包含在更大的群内的一个群。它具有的元素的子集和相同操作。这意味着的单位元素必须包含在中，并且每当 $h_{1}$ 和 $h_{2}$ 都在中，那么 $h_{1}\cdot h_{2}$ 和 $h_{1}^{-1}$ 也在中。所以中的元素，和在上的限制为的群操作，形成了一个群体。

即，若 $(G,\cdot)$ 是群，是的非空子集，且 $(H,\cdot)$ 也是群，则称 $(H,\cdot)$ 是 $(G,\cdot)$ 的子群。

子群检验法（subgroup test）是群的子集是子群的充分必要条件：对于所有元素 $g,h \in H$ ， $g^{-1}\cdot h\in H$ 。

陪集

陪集（coset）是一个群的子集，它包含通过将群的一个固定元素乘以给定子群的每个元素在右边或左边相乘以得到的所有乘积。

在许多情况下，两个群元素可能是等价的。例如，在正方形的对称群中，一旦进行了反射，仅靠旋转就不能使正方形回到原来的位置，所以可以认为正方形的反射位置相互等价，而不等价于未反射的位置；旋转操作与是否进行了反射无关。陪集被用来正式表达这个观点：一个子群决定了左右陪集，陪集可以说是经过任何群元素的变换（即左乘或右乘）。用符号表示，包含元素的的左右陪集分别是：

\begin{aligned} gH&=\{g\cdot h\mid h\in H\} \\ Hg&=\{h \cdot g\mid h\in H\} \end{aligned}

令表示中的左陪集数（等价于右陪集数）。

共轭

如果群中有一个元素使得 $b=g^{-1}ag$ ，群的两个元素和是共轭（conjugate）的。这是一个等价关系，其等价类称为 共轭类（conjugacy classes）。

正规子群

正规子群（normal subgroup）是在共轭变换下不变的子群；换句话说，如果对于所有 $g \in G, h \in H$ ，都有 $g^{-1}hg \in H$ ，则为的正规子群，记作 $H \triangleleft G$ 。

生成子群

$S \subset G$ 的 生成子群（generated subgroup） $\langle S \rangle$ 是的包含的最小子群，也是的包含的所有子群的交，称为 群的生成集(generating set of a group)。

如果 $G = \langle S \rangle$ ，我们称生成，中的元素叫做生成元或群生成元。

中只有一个元素时， $\langle S \rangle$ 通常写为 $\langle x \rangle$ 。在这种情况下， $\langle x \rangle$ 是的幂的循环子群（即 $\langle a \rangle = \{a^k, k \geq 1 \}$ ），我们称这个循环群是用生成的。

商群

商群（quotient group）或因子群（factor group）是通过使用保留一些群结构的等价关系聚合更大群的相似元素获得的群。

在某些情况下，子群的陪集集可以被赋予群律，给出商群或因子群。为了使其成立，子群必须是正规子群（normal subgroup）。给定任何正规子群，商群定义为

G/N=\{gN\mid g\in G\}

阶

群的阶是它元素的个数，记作 $\operatorname{ord}(G)$ 或 $\lvert G \rvert$ ，无限群有无限阶。

群内的一个元素的阶是使成立的最小正整数，记作 $\operatorname{ord}(a)$ 或 $\lvert a \rvert$ ，等于 $\operatorname{ord}(\langle a \rangle)$ 。若这个数不存在，则称有无限阶。有限群的所有元素都有有限阶。

例如，群 $Z_n^ \times = \{ a \in \{ 0, 1, \cdots, n-1 \} \mid \gcd(a, n) = 1 \}$ 的阶为 $\varphi(n)$ ，其中元素的阶为满足 $x^r \equiv 1 \pmod n$ 的最小正整数（这正是数论中模的阶）。

拉格朗日定理：如果是的子群，那么 $\lvert G \rvert = [G : H] \lvert H \rvert$ 。

证明的简要思路是：（左/右）陪集大小等于子群大小；而每个陪集要么不相交要么相等，且所有陪集的并是集合；那么陪集数就等于与的阶之比。

由拉格朗日定理可立即得到：群中任意一个元素的阶，一定整除群的阶。

如果群中存在两个元素、的阶、互素，那么当且仅当并且。

证明

显然，在成立的情况下，和等价，所以不成立只能同时不成立。

反证法。如果，但是两个部分、都不是单位元，那么 $e=a^sm=b^{-tm}$ 。因为 $\gcd(-m,n)=1$ ，根据裴蜀定理或者乘法逆元，可以去掉，得到，矛盾。

有关阶的常见误区

群的阶一定等于其中所有元素阶的最大值（或 $\operatorname{lcm}$ ）。
反例：二面体群（相当于群 $(\{0, 1, 2, 3\}, \oplus)$ ，其中 $\oplus$ 表示异或）的阶是，但是除了的阶为，其他元素的阶都是。
如果群中存在两个元素、的阶是、，那么中一定存在阶为 $d=\operatorname{lcm}(d_1,d_2)$ 的元素。
反例：对称群（相当于 $X = \{1, 2, 3\}$ 的置换群）中存在阶为和的元素，却不存在阶为的元素。

群的主要类别

置换群

置换群（Permutation group）是第一类被系统性研究的群。对给定的集合，到自身的一些置换集合如果在复合运算和求逆运算下封闭，那么称是一个作用于上的群。详细内容请看置换群章节。

循环群

循环群（cyclic group，记作）是最简单的群。群中任意一个元素都可以表示为，其中为整数。称为群的生成元。

生成元的阶就是群的阶。

证明

记的单位元为。由于有限，对生成元不断做幂运算，必然会在某时重复，即存在不同的整数和使得。两边同时去掉若干个就有非整数使得。显然。

设生成元的阶是。中任意一个元素都可以表示为的幂，因此不可能小于。否则的幂当中出现个元素之后就回到了单位元，剩余的元素就不能被的幂表示，矛盾。

同样的，也不可能大于。否则在前个的幂中就会出现重复，存在不同的整数和使得，再得到的，介于和之间，就与的最小性矛盾。因此，。证完。

阶为的有限循环群同构于模剩余类对于加法构成的群。

证明

构造映射：，，可见为双射，并且对于任意的和，。因此同构。证完。

矩阵群

矩阵群（Matrix group）或线性群（Linear group）是是一个由给定阶可逆矩阵组成的集合，该矩阵在域上在乘积和逆矩阵下闭合。这样的群通过线性变换作用于维向量空间 $K^{n}$ 。

矩阵群常见例子为李群（Lie group）。

变换群

置换群和矩阵群是 变换群（Transformation group）的特例。

群作用于某个空间并保留其固有结构。在置换群的情况下，是一个集合；对于矩阵群，是向量空间。变换群的概念与对称群的概念密切相关：变换群通常由所有保持某种结构的变换组成。

抽象群

抽象群（Abstract group）通常通过生成器和关系来表示：

G=\langle S|R\rangle

抽象群主要来源是通过正规子群构造群的商群。如果群是集合上的置换群，则商群不再作用于；但是抽象群的概念允许人们不必担心这种差异。

参考资料与注释

Ring（mathematics）- Wikipedia ↩

本页面最近更新：2023/5/18 18:30:58，更新历史
发现错误？想一起完善？在 GitHub 上编辑此页！
本页面贡献者：jifbt, billchenchina, Enter-tainer, Great-designer, iamtwz, ImpleLee, isdanni, Menci, ouuan, Tiphereth-A, warzone-oier, Xeonacid
本页面的全部内容在 CC BY-SA 4.0 和 SATA 协议之条款下提供，附加条款亦可能应用