商群

✍ dations ◷ 2025-07-30 00:26:42 #群论

其他有限群
对称群,
二面体群,
无限群
整数, Z
模群, PSL(2,Z) 和 SL(2,Z)

G2 F4E6 E7E8
劳仑兹群
庞加莱群

环路群
量子群
O(∞) SU(∞) Sp(∞)

在数学中,商群或因子群是通过保持群结构的等价关系来把较大群中的类似元素聚类而产生的群。给定一个群和的正规子群,在上的商群或因子群,在直觉上是把正规子群“萎缩”为单位元的群。商群写为/并念作 mod (是模的简写)。如果不是正规子群,商仍可得到,但结果将不是群,而是齐次空间。

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

凭借这个运算我们可以首先解释商群是什么,并接着解释正规子群是什么:

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

群的子群是正规子群,当且仅当陪集等式 = 对于所有中的都成立。依据上述定义的在子集上的二元运算,的正规子群是交换于的所有子集的子群,并指示为 ⊲ 。排列于的所有子群的子群叫做可排列子群。

设是群的正规子群。我们定义集合/是在中的所有左陪集的集合,就是说/ = {  : ∈ }。在/上的群运算定义如上。换句话说,对于每个/中和,和的乘积是 ()()。这个运算是闭合的,因为 ()()实际上是左陪集:

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

/叫做商群的理由来自整数的除法。在12除以3的时候得到答案4是因为我们可以把12个对象重新分组为3个对象的4个子搜集。商群出于同样想法,但用一个群作为最终答案而非一个数,因为群要比对象的随机搜集要更有结构。

更细致的说,在查看/而是的正规子群的时候,这个群结构形成一种自然“重新分组”。它们是在中陪集。因为我们从一个群和正规子群得到的最终的商包含比只是陪集的(正常除法所产生的)数目要更多的信息,这里得到了一个群结构自身。

商群 / 同构于平凡群(只有一个元素的群),而 / {}同构于。

的阶定义为等于,它是在中的子群的指标(index)。如果是有限的,这个指标还等于的阶除以的阶。注意可以在和二者是无限的时候是有限的(比如Z 2Z)。

有一个“自然”满射群同态 : → / ,把每个的元素映射到所属于的的陪集上,也就是:() = 。映射有时叫做“G到G / N上的规范投影”。它的核是。

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

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

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

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

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

如果是在有限群中的子群,并且的阶是的阶的一半,则保证是正规子群,因此 / 存在并同构于2。这个结果还可以陈述为“任何指标为2的子群都是正规子群”,并且它的这种形式还适用于无限群。

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

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

相关

  • 母校母校(拉丁语:alma mater,美式英语发音:/ˈælmə ˈmeɪtər/,英式英语发音:/ˈɑːlmə ˈmɑːtər/),源自拉丁语,本意“母亲的哺乳”,词源与校歌相通,是一个使用于古罗马各式地母神
  • 印制电路板印刷电路板,又称印制电路板,印刷线路板,常用英文缩写PCB(Printed circuit board)或PWB(Printed wire board),是电子元件的支撑体,在这其中有金属导体作为连接电子元器件的线路。传统
  • 现代派现代主义(英语:Modernism),从文化的历史角度来说,是1914年之前的几十年中,兴起的新艺术与文学风格。艺术家为了反抗19世纪末期的陈规旧矩,转而用一种他们认为感情上更真实的方式,来
  • 丁磊丁磊(1971年10月10日-),中国IT业著名企业家,网易公司创始人,网易公司首席架构师。浙江宁波奉化人。他与张朝阳、王志东并称为网络三剑客。丁磊于2003年成为中国双榜首富(福布斯,胡润
  • 齿耙拟小鲱齿耙拟小鲱为辐鳍鱼纲鲱形目鲱科的其中一种,分布于亚洲柬埔寨湄公河流域,深度可达26米,体长可达2.3公分,栖息在淡水溪流,生活习性不明。 维基物种中有关齿耙拟小鲱的数据
  • 摇·篮·曲 ~让我温柔地抱着你《摇·篮·曲 ~让我温柔地抱着你》(日语:ら·ら·ば·い ~優しく抱かせて)是日本女歌手本田美奈子的第20张单曲。1995年5月10日由Mercury(环球音乐)发行。同名标题曲“摇·篮·曲 ~
  • 2009年西爪哇地震 除特别注明外,本文所有时间均以东七区时间(UTC+7)为准。2009年西爪哇地震是指2009年9月2日发生于印度尼西亚西爪哇省近海的强烈地震。该次地震震中位于南纬7.782度、东经107.
  • 2018年7月西日本暴雨平成30年7月西日本豪雨(日语:平成30年7月西日本豪雨),为自该年(2018年)6月28日至7月9日,以西日本为中心的暴雨,当地媒体多以“西日本豪雨”称呼此次灾难。7月5日起,甫侵袭日本的派比
  • 僵尸恒星僵尸恒星是一种假设的结果,是不会将祖恒星完全摧毁的Iax超新星所留下的残骸。Iax超新星类似Ia超新星,但是它的喷发物速度较低,光度也较暗淡。科学家认为Iax超新星约占Ia超新星
  • 张楠 (企业高管)张楠(Kelly Zhang),女,80后。现任字节跳动(中国)CEO。2013年,张楠创业做图片社区App,后公司被字节跳动收购,张楠开始负责字节跳动的UGC业务。2016年,张楠带领团队推出了抖音、火山等产