跳转到内容

商群

本页使用了标题或全文手工转换
维基百科,自由的百科全书
群论


数学中,商群(英语:quotient group)或因子群(英语:factor group)是通过保持群结构的等价关系来把较大群中的类似元素聚类而产生的。例如,加法模 循环群是由在整数加法群中将相差 倍的整数定义为一类(称为同余类)得到的一系列可作为一个整体进行二元运算的群结构。

给定一个 的一个正规子群 上的商群因子群,直观上是把正规子群 “萎缩”为单位元的群。商群写为 ,念作 (“模”对应英文 mod,是 module 的简称)。

商群的重要性很大程度上源自他们与同态的关系。第一同构定理指出,任意群 在同态下的像总是同构于 的商。具体而言,同态 的像同构于 ,其中 代表

如果 不是正规子群,仍可定义 关于 的商,但 将不是群,而是一个齐性空间

群的子集的乘积

[编辑]

在随后的讨论中,我们将使用在 的子集上的二元运算:如果给出 的两个子集 ,我们定义它们的乘积 。这个运算符合结合律,并有单元素集合 作为单位元,这里 是群 的单位元。因此,由 的所有子集构成的集合和这个运算构成一个幺半群

凭借这个运算我们可以首先解释商群及正规子群的定义:

的商群是 的一个划分,而它在这个乘积运算下是群。

它完全由包含 的子集所确定。 正规子群是在任何这种划分中包含 的集合。在划分中的子集是这个正规子群的陪集

的子群 是正规子群当且仅当陪集等式 对于所有 中的元素 都成立。依据上述定义的在子集上的二元运算, 的正规子群是交换于 的所有子集的子群,记作 。置换于 的所有子群的子群叫做可置换子群

定义

[编辑]

是群 正规子群。我们定义集合 中的所有左陪集所构成的集合,即 。群 上的群运算定义如上。换句话说,对于每个 中的元素 的乘积是 。这个运算是闭合的,因为 是一个左陪集:

上述等式用到了 的正规性。因为 是正规子群, 中的左陪集和右陪集相等,所以 也可以定义为 中所有的右陪集的集合。因为运算是从 的子集的乘积得出的,这个运算有良好定义(不依赖于表示的特定选择),符合结合律,并有 作为单位元。 的元素 的逆元是 ,其中 在群 中的逆元。

定义的动机

[编辑]

被称为商群的契机来自整数除法 除以 时之所以会得到 是因为我们可以把 个对象重新分组为各含 个对象的 个子集。商群的诞生出于同样的想法,但用一个群作为最终结果而非一个整数,因为比起任意对象构成的集合,群有更严密的结构。

更细致的说,当 的正规子群时, 这一群结构形成了一种自然的“重新分组”。它们是 中陪集。因为这种运算涉及一个群和它的正规子群,最终我们得到的商不只是陪集的(正常除法所产生的)数目,还包含更多的信息,得到了一个群结构。

例子

[编辑]
  • 考虑整数Z(在加法下)的群和所有偶数构成的子群2Z。这是个正规子群,因为Z阿贝尔群。只有两个陪集:偶数的集合和奇数的集合;因此商群Z/2Z是两个元素的循环群。这个商群同构于集合{ 0, 1 }带有模2加法运算的群;非正式的说,有时称Z/2Z等于集合{ 0, 1 }带有模2加法。
  • 上个例子的稍微一般化。再次考虑整数集Z在加法下的群。设n是任何正整数。我们考虑由n的所有倍数构成的Z的子群nZnZZ中还是正规子群因为Z是阿贝尔群。陪集们是搜集{nZ,1+nZ,...,(n−2)+nZ,(n−1)+nZ}。整数k属于陪集r+nZ,这里的rk除以n的馀数。商Z/nZ可以被认为模以n的“馀数”的群。这是个n循环群
NG中的陪集
  • 考虑复数十二次单位一的根的乘法阿贝尔群G,它们是在单位圆上的点,它们在右图中展示为着色的球并在每点上用数标记出它们的辐角。考虑它由单位一的四次根构成的子群N,在图中表示为红色球。这个正规子群把群分解为三个陪集,分别表示为红色、绿色和蓝色。你可以验证这些陪集形成了三个元素的群(红色元素和蓝色元素的乘积是蓝色元素,蓝色元素的逆元是绿色元素等等)。因此商群G/N是三种颜色元素的群,它又是三个元素的循环群。
  • 考虑实数R在加法下的群,和整数集子群ZZR中的陪集们是形如a + Z的所有集合,这里0 ≤ a < 1是实数。这种陪集的加法是通过做相应的实数的加法,并在结果大于或等于1的时候减去1完成的。商群R/Z同构于圆群S1,它是绝对值为1的复数在乘法下的群,或者说关于原点的二维旋转的群,也就是特殊正交群SO(2)。有一个同构给出为f(a + Z) = exp(2πia,参见欧拉恒等式)。
  • 如果G是可逆的3 × 3实数矩阵的群,而N是带有行列式为1的3 × 3实数矩阵的子群,那么NG中是正规子群(因为它是行列式同态)。N的陪集们是带有给定行列式的矩阵的集合们,因此G/N同构于非零实数的乘法群。
  • 考虑阿贝尔群Z4 = Z/4Z(也就是集合{ 0, 1, 2, 3 }带有加法4),和它的子群{ 0, 2 }。商群Z4 / { 0, 2 }是{ { 0, 2 }, { 1, 3 } }。这是带有单位元{ 0, 2 }的群,群运算如{ 0, 2 } + { 1, 3 } = { 1, 3 }。子群{ 0, 2 }和商群{ { 0, 2 }, { 1, 3 } }同构于Z2
  • 考虑乘法群。第n个馀数的集合Nϕ (n)阶乘法子群。则NG中是正规子群并且因子群G/N有陪集N,(1+nN, (1+n)2N,…,(1+n)n−1N。Pallier加密系统基于了在不知道n的因子分解的时候难于确定G的随机元素的陪集的猜想

性质

[编辑]

商群 同构于平凡群(只有一个元素的群),而 关于平凡群的商群 同构于

定义为 ,它是 中的子群的指标(index)。如果 是有限群,指标等于 的阶除以 的阶。注意 都是无限群的时候 可以是有限的(比如 的阶是 )。

有一个“自然”满射群同态 ,把每个 的元素 映射到 所属于的 的陪集上,即 。映射 有时叫做“ 上的规范投影”。它的

在包含 的子群和 的子群之间有一个双射映射;如果 中一个包含 的子群,则对应的 的子群是 。这个映射对于 的正规子群和 也成立,并在格定理中形式化。

商群的一些重要性质记录在同态基本定理同构基本定理中。

如果 阿贝尔群幂零群可解群,则 也是。

如果 循环群有限生成群,则 也是。

如果 被包含在 中心内,则 也叫做这个商群的中心扩张

如果 是在有限群 中的子群,并且 的阶等于 的阶的一半,则 必然是正规子群,因此 存在并同构于 。这个结果还可以陈述为“任何指标为 的子群都是正规子群”。这一结论也适用于无限群。

所有群都同构于一个自由群的商。

有时但非必然的,群 可以从 重构为一个直积半直积。判定何时成立的问题叫做扩张问题。不成立的一个例子如下。 同构于 ,并且还同构于 ,但是其唯一的半直积是直积,因为 只有一个平凡的自同构。所以 不同于 ,它不能被重构。

参见

[编辑]