子群

✍ dations ◷ 2025-07-26 16:05:21 #群论,子群性质

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

G2 F4E6 E7E8
劳仑兹群
庞加莱群

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

假设 ( G , ) {\displaystyle (G,*)} 的限制也是个在上的群运算,则称为的子群。

一个群的纯子群是指一个子群,其为的纯子集(即 ≠ )。任一个群总会有两个子群(为只包含单位元的子群,{})以及。若为的子群,则有时会被称为的“母群”。

相同的定义可以应用在更广义的范围内,当为一任意的半群,但此一条目中只处理群的子群而已。群有时会被标记成有序对(,*),通常用以强调其运算*当带有多重的代数或其他结构。

在下面的文章中,会使用省略掉*的常规,并将乘积*写成。

给定一个群 ( G , ) {\displaystyle (G,*)} 和内的某一元素,则可定义出一个左陪集 ={;∈}。因为为可逆的,由φ() = 给出之映射φ : → 为一个双射。更甚地,每一个内的元素都包含在恰好一个的左陪集中;其左陪集为对应于一等价关系的等价类,其等价关系1 ~ 2当且仅当1−12会在内。的左陪集之数目称之为在内的“指数”,并标记为。

拉格朗日定理叙述著对一个有限群和一个子群而言,

其中o()和o()分别为和的阶。特别地是,每一个的子群的阶(和每一个内元素的阶)都必须为o()的约数。右陪集为相类比之定义: = { : ∈}。其亦有对应于一适当之等价关系的等价类,且其个数亦会相等于。

若对于每个在内的,=,则称之为正规子群。每一个指数2的子群皆为正规的:左陪集和右陪集都简单地为此一子群和其补集。

相关

  • 非维管植物维管植物 Tracheophyta非维管植物(或作非维管束植物)是对没有维管(木质部和韧皮部)的植物(包括绿藻)的总称。虽然非维管植物缺乏此类特殊的组织,但一部分的非维管植物会有特化来在
  • 劳务派遣人力派遣也可称为人才派遣、劳务派遣、劳动派遣、临时劳动(temporary)、机构劳动(agency work)或租赁劳动(leased work),是一种劳动雇用的方式,意即此类劳工名义上是属于人力
  • 普丹战争第二次石勒苏益格战争(或普丹战争)在丹麦称为1864年战争(丹麦语:Krigen i 1864),在德国称为德丹战争(德语:Deutsch-Dänischer Krieg)是石勒苏益格-荷尔斯泰因引起的第二场军事冲突。
  • 奥格拉·拜伦克莱拉·奥格拉·拜伦(Clara Allegra Byron,1817年1月12日-1822年4月20日),英国人,诗人拜伦勋爵和克莱尔·克莱尔蒙特是其父母,玛丽·雪莱是异父母的姊妹.。奥格拉·拜伦出生在英国
  • 赵铁桥赵铁桥(1886年-1930年),原名猷,又名式金,四川叙永县金鹅乡(今兴文县金鹅乡)人。清末民初的中国革命家,后被暗杀。赵铁桥早年就读于泸州经纬学堂(现川南师范学院),参与成立输新社。其成员
  • 鄂弥达鄂弥达(满语:ᠣᠮᡳᡩᠠ,穆麟德:,1685年-1761年),鄂济氏,满洲正白旗人,清朝政治人物。1732年3月21日-1735年1月5日期间,奉旨接替张溥担任两广总督。全名为“总督两广等处地方提督军务、
  • 菲利普·利皮菲利普·利皮(Fra' Filippo Lippi, O.Carm.;1406年6月23日-1469年10月8日)是意大利文艺复兴时期的一位画家,其子菲利皮诺·利皮后来也成为了名画家。菲利普·利皮在1406年6月23
  • 杰克·法洛希杰克·法洛希(Jack Ryan Falahee,1989年2月20日-) 是美国的一位演员。在2014年,法洛希在ABC法律电视剧逍遥法外中饰演Connor Walsh角色。他出生在密歇根州安娜堡。
  • 常雨常雨(1988年8月14日-),汉族,天津人,中国职业男子网球选手。中华人民共和国第十一届运动会,常雨代表天津队出战男子团体比赛,获得季军(成员为孙鹏、王钰、李喆、常雨)。
  • 天门冬属天门冬属(学名:)是天门冬科中的一个属,共有300来个种,其中最知名的是可食的芦笋。一些种被用来做观赏植物,比如枝叶非常美丽的文竹。其它知名的观赏植物包括非洲天门冬和武竹。天