子群

✍ dations ◷ 2025-12-05 05:23:22 #群论,子群性质

其他有限群
对称群,
二面体群,
无限群
整数, 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的子群皆为正规的:左陪集和右陪集都简单地为此一子群和其补集。

相关

  • 温带气旋温带气旋,亦称为锋面气旋或中纬度气旋,是一种发生在地球中纬度地区的大尺度低压系统。温带气旋附带锋面,一段时间后将合并成为囚锢锋。“气旋”一词适用于各种各样的低压区,其中
  • 显微镜座显微镜座(英语:Microscopium)是南天半球中的一个星座,由法国天文学家尼可拉·路易·拉卡伊于18世纪确立,是拉卡伊星座家族中以科学仪器命名的12个星座之一。显微镜座的英文名来自
  • 萨米埃尔·德尚普兰萨缪尔·德·尚普兰(法语:Samuel de Champlain,1574年8月13日-1635年12月25日)是法国探险家,地理学家,魁北克城的建立者。也是法国同北美贸易,特别是皮毛贸易的开拓者。尚普兰出生
  • 吴瑞吴瑞(英语:Ray Wu,1928年8月14日-2008年2月10日),美国生物学家、美国康奈尔大学教授,中央研究院院士、中国工程院外籍院士。DNA测序、基因工程、生物技术领域的重要开创学者之一。
  • 同帅战役美国等国正式介入之后美国撤出至南越灭亡同帅战役,(越南语:Trận Đồng Xoài,英语:Battle of Dong Xoai)是越南战争早期的一场战斗。最终战斗以越共胜利而告终。
  • 伯尼条约《伯尼条约》是一份在1826年6月20日暹罗王国和大不列颠及爱尔兰联合王国在曼谷的条约。英方派出来自英国东印度公司的代表亨利·伯尼(英语:Henry Burney),而暹罗方的代表则是拉
  • 4f7 5d1 6s2 2, 8, 18, 25, 9, 2蒸气压() 第一:593.4 kJ·mol−1 第二:1170 kJ·mol−1 主条目:钆的同位素 钆(拼音:gá,注音:ㄍㄚ,粤拼:gaa1,旧译錷)符号Gd(英语:Gadolinium),元素之一,原子
  • 哈灵顿夹克哈灵顿夹克(Harrington jacket),是一种轻量及短身的夹克,衣服的内部通常会用上苏格兰花呢格纹或是格子纹。第一件哈灵顿夹克是由英国衣服品牌Baracuta在1930年代生产的。自1937
  • 陈浩亮陈浩亮(1933年5月5日-)出生于汕头,新加坡举重运动员,也是2008年北京奥运会之前唯一为新加坡夺得奥运会奖牌的运动员。1960年9月9日,陈浩亮于罗马夏季奥林匹克运动会上,以380公斤总
  • 古希腊罗马美学古希腊罗马美学是从前六世纪开始,极盛于前4世纪和前5世纪的希腊奴隶制全盛期。属于自然哲学的存在本体论,以荷马时代或英雄时代神话的幻想直观,,形而上学对立, 阶级意识为主。