拉格朗日定理 (群论)

✍ dations ◷ 2024-10-19 04:28:08 #群论,数学定理,有限群

拉格朗日定理是群论的定理,利用陪集证明了子群的阶一定是有限群的阶的约数值。

叙述:设H是有限群G的子群,则H的阶整除G的阶。

定理的证明是运用H在G中的左陪集。H在G中的每个左陪集都是一个等价类。将G作左陪集分解,由于每个等价类的元素个数都相等,都等于H的元素个数(H是H关于e的左陪集),因此H的阶(元素个数)整除G的阶,商是H在G中的左陪集个数,叫做H对G的指数,记作。

定义二元关系 {\displaystyle \sim } / 存在,那么它的阶等于H对G的指数。

| G | = | H | , {\displaystyle {\displaystyle \left|G\right|=\left\cdot \left|H\right|{\mbox{,}}}} 和一个整除的阶的整数,并不一定有阶数为 的子群。最简单的例子是4次交替群4,它的阶是12,但对于12的因数6,4没有6阶的子群。对于这样的子群的存在性,柯西定理和西洛定理给出了一个部分的回答。

相关

  • 健力健力(英语:Powerlifting),是一种借助举起杠铃来锻炼肌肉的运动,分成深蹲、卧推、硬拉三个项目。它虽然发源自举重,但与奥林匹克举重分别为两种竞技项目,健力举起杠铃(Barbell)的动作
  • 延布延布(英语:Yanbu' al Bahr,也简称Yanbu、Yambo、Yenbo,阿拉伯语:ينبع البحر‎,意为“海边的泉水”), 是红海的一大港口城市,位于沙特阿拉伯西部麦地那省,大约在吉达(24°05′
  • 白炽灯白炽灯(炽,注音ㄔˋ,拼音chì),俗名钨丝灯,是一种透过通电,利用电阻把幼细丝线(现代通常为钨丝)加热至白炽,用来发光的灯。白炽灯灯泡外围由玻璃制造,把灯丝保持在真空,或低压的惰性气体
  • 二叠纪二叠纪(英语:Permian,符号P)是古生代的最后一个地质时代,时间处于石炭纪、三叠纪之间(2.99-2.51亿年前)。定义二叠纪的岩石层是比较分明的,但开始、结束的精确年代却有争议。其不精
  • 溴的同位素溴(原子量:79.904(1))共有45个同位素,其中有2个同位素是稳定的。备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • 夸克时期夸克时期 是物理宇宙学的早期宇宙演化的一段时期,这时基本作用力的重力、电磁力、强作用力和弱作用力已经分离成为现在的形式,但温度仍然很高,不允许夸克结合在一起形成强子。
  • .bw.bw为博茨瓦纳国家及地区顶级域(ccTLD)的域名。资助机构为博茨瓦纳大学。A .ac .ad .ae .af .ag .ai .al .am .ao .aq .ar .as .at .au .aw .ax .az  B .ba .bb .bd .be .
  • 三花槭三花槭(学名:),为槭树科槭属下的一个种。 维基物种中有关三花槭的数据
  • 常用的天文学符号这些是经常用在天文学,特别是专业天文学上的标志或符号。天体测量 的参数距离的描述:使用在轨道与非轨道的参数星系的类型和光谱分类:发光度分类:质量分类:金属性分类:宇宙中天体
  • 结构马克思主义结构马克思主义(英语:Structural Marxism)是一种基于结构主义的马克思主义哲学方法,主要与法国哲学家路易·皮埃尔·阿尔都塞及其学生的作品有关。20世纪60年代和70年代,它在法国