正规子群

✍ dations ◷ 2025-07-14 09:38:21 #子群性质,群论

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

G2 F4E6 E7E8
劳仑兹群
庞加莱群

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

在抽象代数中,正规子群或不变子群指一类特殊的子群。由正规子群,可以引导出商群的概念。

埃瓦里斯特·伽罗瓦是最早认识到正规子群的重要性的人。

群的子群是正规子群,如果它在共轭变换下不变;就是说对于每个中元素和每个中的元素,元素−1仍在中。我们写为

下列条件等价于子群在中是正规子群。其中任何一个都可以用作定义:

注意条件(1)逻辑上弱于条件(2),条件(3)逻辑上弱于条件(4)。为此,条件(1)和条件(3)经常用来证明在中是正规子群,而条件(2)和(4)用来证明在中是正规子群的推论。

给定一个群G,以及G的一个子群H,G的一个元素a,集合:

类似地,可以定义H关于a的右陪集:

可以证明:对于G中的两个元素a、b, ( a 1 b H ) ( a H b H ) ( a H = b H ) {\displaystyle (a^{-1}b\in H)\Longleftrightarrow (aH\cap bH\neq \varnothing )\Longleftrightarrow (aH=bH)} 。因此aH和bH只有两种关系:相等,或交集为空,即 a H = b H {\displaystyle aH=bH} 或者 a H b H = {\displaystyle aH\cap bH=\varnothing }

于是群G可以被分解成:

这个分解称作群G的左陪集分解。类似地有群G的右陪集分解:

进一步地,可以证明由 a b a 1 b H {\displaystyle a\sim b\Longleftrightarrow a^{-1}b\in H} 所定义的关系是一个等价关系,集合中的每个等价关系都可确定一个等价类,因此每个 a H {\displaystyle aH} 是一个等价类。每个 a H {\displaystyle aH} 中含有的元素个数是相等的。

此外,群G的左陪集分解与群G的右陪集分解间存在同构:

因此H的左陪集个数和右陪集个数是相等的,叫做H对G的指数。

对于一般的H,集合 { a H | a G } {\displaystyle \left\{aH|a\in G\right\}} 关于子集的积并不是一个群。对于G中的元素a、b,子集的积 a H × b H = a b H {\displaystyle aH\times bH=abH} ,但对于 a a H , b b H {\displaystyle a^{\prime }\in aH,b^{\prime }\in bH} ,不一定有 a H × b H = a b H {\displaystyle a^{\prime }H\times b^{\prime }H=abH} 。群G的正规子群或不变子群H使得 { a H | a G } {\displaystyle \left\{aH|a\in G\right\}} 关于子集的积是这个群的子群。这时H的左陪集和右陪集是一样的,统称陪集。陪集组成的群叫做G关于H的商群,记作 G H {\displaystyle {\frac {G}{H}}} 。商群的目数等于H对G的指数。

相关

  • 李承薰李承薰(韩语:이승훈,1756年-1801年),字子述,号蔓川,朝鲜王朝时期学者,是最早正式受洗成为天主教信徒的朝鲜人,也是一位朝鲜天主教早期的殉道者。夫人罗州丁氏是知名初期朝鲜天主教信徒
  • 福特级杰拉尔德·R·福特级航空母舰(Gerald R. Ford-class aircraft carriers,简称福特级航空母舰)是美国海军最新的次世代超级航空母舰,也是美国海军第三代核动力航空母舰。在同级一
  • 自由民主党 (德国)自由民主党(德语:Freie Demokratische Partei,缩写为FDP),1968年–2001年期间缩写为F.D.P.,是德国的一个经济自由主义政党,是德国政坛中历史比较悠久的政党之一。威斯巴登基本原则
  • 蚌蛎蚌蛎(学名:)是北美洲到中美洲最盛产的商业贝壳,属双壳纲帘蛤目帘蛤科蚌蛎属,从爱德华王子岛到犹卡坦半岛一带均有其踪影。
  • 陈傅陈傅,字岩说,福建福州府闽县人,明朝政治人物。同进士出身。宣德十年,福建乙卯乡试中举。正统元年(1436年),登丙辰科会试中进士,授刑科给事中,弹劾会昌伯孙忠、应城伯孙杰、福建参议颜
  • 若望·费舍尔圣若望·费舍尔(英语:Saint John Fisher;1469年10月19日-1535年6月22日)是一位英格兰王国的罗马天主教主教、枢机和殉道圣人。他与圣托马斯·莫尔共用罗马天主教会的6月22日和英
  • 帕齐家族帕齐家族(意大利语:Pazzi),或译帕奇、巴齐,是一个托斯卡纳贵族家族。帕齐家族部分成员是1478年4月26日发生的著名事件帕齐的阴谋(英语:Pazzi conspiracy)之主谋,但该事件以失败告终。
  • 睡菜睡菜属(学名:)是莕菜科下的一个属,为多年生、沼生草本植物。该属仅有睡菜()一种,分布于北温带,中国东北、西南及河北、浙江等地皆有繁殖。睡菜又名暝菜,为多年生沼生草本植物。其花冠
  • 可变参数模板可变参数模板是模板编程时,模板参数(template parameter)的个数可变的情形。已经支持可变参数模板的编程语言有D语言与C++(自C++11标准)。C++11之前,模板(类模板与函数模板)在声明时
  • Ryuuu TVRyuuu TV 是由夫妻Ryu与Yuma所共同经营的YouTube频道,两人现居日本茨城县水户市,影片主题以日语教学、旅游资讯及文化介绍为主。Ryu(1991年4月9日-),本名刘万贤(英语:Liew Wan Sian),