伯恩赛德引理

✍ dations ◷ 2025-12-11 13:46:28 #引理,群论,包含证明的条目

伯恩赛德引理(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年已经为柯西所知。事实上,这个引理明显如此有名,伯恩赛德不过忽略了将其归于柯西。因此,这个引理有时候也称为不是伯恩赛德的引理。这可能看起来不那么有歧义,伯恩赛德对这个领域贡献了许多引理。

相关

  • 延展纪延展纪(Ectasian,符号MP2)是地质时代中的一个纪,开始于同位素年龄1400±0百万年(Ma),结束于1200±0Ma。延展纪期间出现有性生殖。延展纪属于前寒武纪元古宙中元古代;延展纪的上一
  • 德拉瓦特拉华县(英语:Delaware County)是美国奥克拉荷马州东部的一个县,东邻密苏里州和阿肯色州,面积2,052平方公里。根据2010年人口普查,本县共有人口41,487人。本县县治为杰里(Jay)。考
  • 违约违约(Breach of contract)是契约法的一个专有名词,系指契约当事人一方或双方不履行契约条款的一种债务不履行而言。例如雇主欠薪、供应商不送货、烂尾楼等,其效果视不履行可否归
  • 全球打击空军全球打击司令部(Air Force Global Strike Command,AFGSC) , 是美国空军的一个一级司令部,负责空军的战略武器,包括核武、战略导弹、战略轰炸机等,在2009年8月本司令部成立之前,
  • 资江资水又称资江,湖南四水之一,长江的主要支流。资水分南源与西源,主源为南源即夫夷水,源于广西壮族自治区的资源县,流经资源、湖南新宁、邵阳等县市。西源为赧水,源于城步苗族自治县
  • .ax.ax是芬兰奥兰自治区自2006年启用的国家和地区顶级域名(ccTLD)的域名。之前大多数的奥兰网站使用.aland.fi域名。2006年2月17日,芬兰议会通过法律改定,加.ax顶级域。计划在三年
  • 伊亚火山伊亚火山(印尼语:Iya)是一座位于印度尼西亚弗洛勒斯岛的火山,其类型为复式火山,位在恩德(英语:Mount Iya)的南方。
  • 菁华铺乡菁华铺乡是中国湖南省宁乡市下辖乡。菁华铺位于宁乡市境东北部、县城以北,处宁乡市、益阳市赫山区二市区交汇处,辖境西与煤炭坝镇接壤,南与白马桥街道与城郊街道相连,东与双江口
  • 奇爱博士《奇爱博士》(英语:)是一部于1964年出品的英语黑色幽默电影,此电影为英国与美国合作出品,由斯坦利·库布里克(Stanley Kubrick)执导。该片还有一个较长的副题:“我如何学会停止恐惧
  • 长趾钝口螈长趾钝口螈(,贝尔德 1849年) 是钝口螈科中的一种摩尔蝾螈。成年长趾钝口螈通常身长4.1-8.9厘米(1.6-3.5英寸),其特征为周身夹杂的黑色、棕色、和黄色色素斑点,以及位于后肢突