子群

✍ dations ◷ 2025-11-28 07:17:00 #群论,子群性质

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

相关

  • 盘菌纲盘菌纲(英文:Pezizomycetes)是一个隶属于真菌下子囊菌门的一个纲。医学导航 · 真菌病真菌 · 分类疾病药物(抗真菌药)
  • 莎草纸.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
  • 辛普森氏果猴辛普森氏果猴(学名:Carpolestes simpsoni),又名辛氏盗果兽,是已灭绝的更猴形亚目的一种,是最早的像灵长目哺乳动物之一。根据它们的化石纪录,可以追溯至古新世晚期。辛普森氏果猴有
  • PAUP*PAUP*是自从2000年左右以来使用最广泛的种系发生演算软件包。由于其独特的命名方式(读作Paup Star),也常常被“误称”为PAUP。PAUP是Phylogenetic Analysis Using Parsimony的
  • 腕鳍鱼纲腕鳍鱼纲(学名:Cladistia)是动物界脊索动物门的一纲,是辐鳍鱼总纲的两个演化支之一,包含了多鳍鱼目及其史前近亲,是辐鳍鱼纲(Actinopteri)的旁系群。本纲各类群过去多归类于软骨硬鳞
  • Janowska集中营利沃夫(乌克兰语:Львів;波兰语:Lwów;德语:Lemberg,中文译为“伦贝格”;俄语:Львов)是乌克兰西部的主要城市,有狮城之称,利沃夫州首府。人口860,000 (2006年),其中乌克兰人占88%,
  • 南村辍耕录《南村辍耕录》,又称《辍耕录》,共三十卷,元末明初陶宗仪作品。陶宗仪元末避乱松江华亭南郊,一边教书,一边耕作。农暇时,在树荫下摘采树叶子,随手在叶子上写札记,写完放在盎内;太阳下
  • 税收与支出条款宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
  • 郑景顺 (演员)郑景顺(韩语:정경순,1963年9月15日-),韩国女演员。
  • 阿瑟·约翰·克朗奎斯特阿瑟·约翰·克朗奎斯特(Arthur John Cronquist,1919年3月19日-1992年3月22日)是一位美国植物学家,菊科专家。他被认为是20世纪最有影响力的植物学家之一,这主要归因他提出了克朗