子群

✍ dations ◷ 2025-07-05 20:25: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的子群皆为正规的:左陪集和右陪集都简单地为此一子群和其补集。

相关

  • 硬膜外脓肿脓疡(拉丁语:abscessus; 德语:Abszess; 法语:Abcès; 英语:Abscess)又称作脓疮、脓肿。指的是在身体组织中蓄积的脓。接近体表的脓疡会有红、肿、热、痛等症状,触诊病灶时感觉其内
  • 乙草胺乙草胺(英语:Acetochlor)是一种由孟山都和捷利康开发的除草剂,是苯胺类除草剂的一员,作为elongase和香叶基香叶基焦磷酸(GGPP)环化酶的抑制剂起作用,从而阻断赤霉素途径。它具有较高
  • 滑稽戏滑稽戏(上海话拼音:hhuakjixi,发音:'"`UNIQ--templatestyles-00000001-QINU`"' )是中国地方戏种,现主要流行于上海及其周边地区。多以上海话作为表现语言,同时大量模仿吴语太湖片,偶
  • 南阳站 (咸镜北道)南阳站(韩语:남양역)是朝鲜民主主义人民共和国咸镜北道稳城郡南阳劳动者区的一个铁路车站,属于咸北线和南阳国境线。咸北线南阳国境线
  • 大为国君主 · 首都 · 文学史 · 教育史 电影史 · 韩医史 陶瓷史 · 戏剧史 韩国国宝 · 朝鲜国宝大为国(1135年),高丽中期起事领袖妙清建立的政权。1126年,因为李资谦之乱,高
  • 佩特瓦尔高地坐标:78°46′30″S 84°20′20″W / 78.77500°S 84.33889°W / -78.77500; -84.33889佩特瓦尔高地(保加利亚语:Петварски възвишения)是南极洲的高地,位于
  • 乙酸锰(III)乙酸锰(III)或三乙酸锰是一个无机化学试剂,常态下为二水合物且一般带有一些乙酸的气味。其化学式为C6H9MnO6.2(H2O)。无水乙酸锰(III)可以从乙酸溶液中结晶析出,其结构与乙酸
  • 塞浦路斯行政区划塞浦路斯全国划分为6个行政区(希腊语:επαρχίες ,土耳其语:eparchies)。区下设自治区。
  • 查善查善主教(葡萄牙文:D. Francisco de Nossa Senhora da Luz Chacim,OFM,?-1828年)是葡萄牙人,为第10任天主教澳门教区主教。他在1804年被选为主教,翌年到澳门就职。任内设立济贫基金,
  • 上野千鹤子上野千鹤子(1948年7月12日-),日本社会学家。出生于富山县中新川郡上市町,在京都大学社会学科毕业。上野是日本著名研究女性解放理论的女性主义者,在1980年代的日本学术界打出名堂,