群论简介


引入

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

定义

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

一个群是一个集合 加上对 的二元运算。二元运算用 表示,它结合了任意两个元素 形成了一个属于 的元素,记为

群公理包含下述四个性质(有时略去封闭性,只有三个性质)。若集合 上的运算 构成的代数结构 满足以下性质:

  1. 封闭性:对于所有 ,运算 的结果也在 G 中。
  2. 结合律(associativity):对于 中所有的 ,等式 成立。
  3. 单位元(identity element,也称幺元): 中存在一个元素 ,使得对于 中的每一个元素 ,都有一个 成立。这样的元素是独一无二的。它被称为群的单位元。
  4. 逆元(inverse element):对于每个 中的 ,总存在 中的一个元素 使 ,此处 为单位元,称 的逆元,记为

则称 为一个 。例如,整数集和整数间的加法 构成一个群,单位元是 0,一个整数的逆元是它的相反数。

群的衍生结构

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

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

  1. 构成交换群,其单位元记为 中元素 的加法逆元记为
  2. 构成半群。
  3. 分配律(distributivity):对于 中所有的 ,等式
    成立。

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

维基百科采用的就是这种定义:1

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)。
  • 若幺环 的所有非 元素 存在乘法逆元 ,则称 除环(division ring)。

(field)是一个比环性质更强的代数结构,具体地,域是交换除环。

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

群的基本概念

定义 为包含 元素的集合 表示 属于集合 表示 是一个与 的每个元素和 的元素相关联的函数。

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

群同态

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

从群 到群 的同态是一个函数 使得对于 中所有的元素

子群

子群:群 ,满足 ,则 的子群。

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

即,若 是群, 的非空子集,且 也是群,则称 子群

子群检验法(subgroup test)是群 的子集 是子群的充分必要条件:对于所有元素

陪集

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

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

表示 的左陪集数(等价于右陪集数)。

共轭

如果群中有一个元素 使得 ,群的两个元素 共轭(conjugate)的。这是一个等价关系,其等价类称为 共轭类(conjugacy classes)。

正规子群

正规子群(normal subgroup)是在共轭变换下不变的子群;换句话说,如果对于所有 ,都有 ,则 的正规子群,记作

生成子群

生成子群(generated subgroup) 的包含 的最小子群,也是 的包含 的所有子群的交,称 群的生成集(generating set of a group)。

如果 ,我们称 生成 中的元素叫做生成元或群生成元。

中只有一个元素 时, 通常写为 。在这种情况下, 的幂的循环子群(即 ),我们称这个循环群是用 生成的。

商群

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

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

的阶是它元素的个数,记作 ,无限群有无限阶。

内的一个元素 的阶是使 成立的最小正整数 ,记作 ,等于 。若这个数不存在,则称 有无限阶。有限群的所有元素都有有限阶。

例如,群 的阶为 ,其中元素 的阶为满足 的最小正整数 (这正是数论中 的阶)。

拉格朗日定理:如果 的子群,那么

证明的简要思路是:(左/右)陪集大小等于子群大小;而每个陪集要么不相交要么相等,且所有陪集的并是集合 ;那么陪集数就等于 的阶之比。

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

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

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

反证法。如果 ,但是两个部分 都不是单位元,那么 。因为 ,根据裴蜀定理或者乘法逆元,可以去掉 ,得到 ,矛盾。

  1. 的阶一定等于其中所有元素阶的最大值(或 )。
    反例:二面体群 (相当于群 ,其中 表示异或)的阶是 ,但是除了 的阶为 ,其他元素的阶都是
  2. 如果群 中存在两个元素 的阶是 ,那么 中一定存在阶为 的元素。
    反例:对称群 (相当于 的置换群)中存在阶为 的元素,却不存在阶为 的元素。

群的主要类别

置换群

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

置换群 章节。

循环群

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

生成元 的阶就是群 的阶。

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

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

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

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

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

矩阵群

矩阵群(Matrix group)或线性群(Linear group)是 是一个由给定 阶可逆矩阵组成的集合,该矩阵在域 上在乘积和逆矩阵下闭合。这样的群通过线性变换作用于 维向量空间

矩阵群常见例子为 李群(Lie group)。

变换群

置换群和矩阵群是 变换群(Transformation group)的特例。

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

抽象群

抽象群(Abstract group)通常通过生成器和关系来表示:

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

参考资料与注释

Footnotes

  1. Ring (mathematics) - Wikipedia

贡献者:@Yufan@jifbt@Imple@WenzelTian@Great-designer@Menci@wangr-x@Danni@mgt

本页面最近更新:2/3/2023, 12:00:00 AM更新历史

发现错误?想一起完善? 在 GitHub 上编辑此页!

本页面的全部内容在 CC BY-SA 4.0SATA 协议之条款下提供,附加条款亦可能应用

评论

0 条评论
未登录用户


Copyright © 2016 - 2023 OI Wiki Team

最近更新:fd2ec2c, 2023-02-03

联系方式:Telegram 群组 / QQ 群组