伯恩赛德引理

✍ dations ◷ 2025-02-24 01:15:44 #引理,群论,包含证明的条目

伯恩赛德引理(Burnside's lemma),也叫伯恩赛德计数定理(Burnside's counting theorem),柯西-弗罗贝尼乌斯引理(Cauchy-Frobenius lemma)或轨道计数定理(orbit-counting theorem),是群论中一个结果,在考虑对称的计数中经常很有用。该结论被冠以多个人的名字,其中包括威廉·伯恩赛德(英语:William Burnside)、波利亚、柯西和弗罗贝尼乌斯。这个命题不属于伯恩赛德自己,他只是在自己的书中《有限群论 》引用了,而将其归于弗罗贝尼乌斯 (1887)。

下文中,设 G {\displaystyle G} 中一个元素保持不动的点个数的平均值(故同样是自然数或无穷)。

使用三种颜色对立方体的面染色,旋转后相同的视为一种,染色方式总数可以由这个公式确定。

选取一个定向,设 是这个定向立方体所有 36 种可能面染色组合,立方体的旋转群自然作用在 上。则 的两个元素属于同一轨道恰好是一个是另一个的旋转。旋转不同的染色数就是轨道数,可以通过数 的 24 个元素的不动集合的大小求出来。

这些自同构的详细检验可参见循环指标(英语:Cycle index)。

这样,平均不动集合的大小是

从而有 57 种旋转不同的立方体面 3 色染色方式。一般地,使用 种颜色,立方体不同的旋转面染色数是

定理的证明利用轨道-中心化子定理以及 是轨道的不交并的事实:

威廉·伯恩赛德在他1897年关于有限群的书中陈述并证明了这个引理,将其归于弗罗贝尼乌斯 1887。不过在弗罗贝尼乌斯以前,这个公式在1845年已经为柯西所知。事实上,这个引理明显如此有名,伯恩赛德不过忽略了将其归于柯西。因此,这个引理有时候也称为不是伯恩赛德的引理。这可能看起来不那么有歧义,伯恩赛德对这个领域贡献了许多引理。

相关

  • 工业生态学工业生态学(Industrial ecology,简称IE)又称产业生态学,是对开放系统的运作规律通过人工过程进行干预和改变,在一般的开放系统中资源和资金经过一系列的运作最终结果是变成废物垃
  • 加里·费尔森菲尔德加里·费尔森菲尔德(英语:Gary Felsenfeld,1929年-),美国分子生物学家。早期研究过多聚核苷酸的合成,后转向染色体蛋白的研究。他的研究小组以鸡血细胞为素材,考察了调节球蛋白基因
  • 布鲁托参数所指定的目标页面不存在,建议更正成存在页面或直接建立下列一个页面(建立前请先搜寻是否有合适的存在页面可以取代):布鲁图(英语:Pluto)是迪士尼经典动画角色之一,是一只土黄色
  • 转移远端转移(英语:Metastasis)也称作恶性转移,是指肿瘤细胞从原始发生的部位借由侵入循环系统,转移到身体其他部位继续生长的过程。通常良性肿瘤不会产生远端转移,而发生转移的病患预
  • 天敌 (消歧义)天敌可以指
  • 摄影摄影(英语:photography)是指使用某种专门设备进行影像记录的过程。一般我们使用机械照相机或者数码照相机进行静态图片摄影,静态摄影也会被称为照相。而摄影机(摄像放像机)则可以
  • 伊莎·安巴尼伊莎·安巴尼(英语:Isha Ambani,,1991年10月23日-)是印度女商人和信实工业旗下信实电讯公司(Reliance Jio Infocomm Limited)和零售主管。毕业于美国耶鲁大学,安巴尼的父亲是印度和亚
  • 反射 (计算机科学)在计算机学中,反射(英语:reflection)是指计算机程序在运行时(runtime)可以访问、检测和修改它本身状态或行为的一种能力。用比喻来说,反射就是程序在运行的时候能够“观察”并且修
  • 半导体泵浦固体激光半导体泵浦固体激光(英语:Diode-Pumped Solid-State Laser,缩写为DPSS Laser),通过激光泵送给一个固体增益介质,例如,一个红宝石或掺钕YAG激光器(英语:Nd:YAG laser)晶体,带有激光二极
  • 磁珠磁珠是一种被动组件,用来抑制电路中的高频噪声。磁珠是一种特别的扼流圈,其成分多半为铁氧体,利用其高频电流产生的热耗散来抑制高频噪声。磁珠有时也称为磁环、EMI滤波器、铁