伯恩赛德引理

✍ dations ◷ 2025-10-14 22:27:29 #引理,群论,包含证明的条目

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

相关

  • 酵母聚糖酵母聚糖(英语:Zymosan)是一种葡萄糖为单元,之间以β-1,3-糖苷键相连起来葡聚糖。该物质可以结合在Toll样受体2上,并可以与蛋白质组成复合体。酵母聚糖可以从酵母细胞壁中制备得
  • 中新世中新世(英语:Miocene,符号:MI)为地质年代新近纪的第一个时期,开始于2300万年前到533万年前,介于渐新世与上新世之间。中新世是由查理斯·莱尔所命名的。这个名称来自希腊语μείω
  • KSTARKSTAR(Korea Superconducting Tokamak Advanced Research)是韩国大田研究基地国家聚变研究所的超导托卡马克核聚变装置,被称为“韩国太阳”,它是国际热核聚变实验反应堆(ITER)项目
  • Cryptosporidium parvum小隐胞子虫(学名:Cryptosporidium parvum)是引起隐胞子虫病的其中一种病原寄生虫,主要寄生在哺乳动物的肠道。感染的主要途径是饮用了含小隐胞子虫卵囊(Oocysts)的水所引起。在
  • 米谷奈奈未米谷奈奈未(日语:米谷奈々未/よねたに ななみ ,2000年2月24日-)是日本女子偶像组合榉坂46的成员,出生于大阪府。2018宣布年底毕业,七单为最后作品,并专注于课业上。乃木坂46推的成员
  • 鲁斯丽·哈塔万鲁斯丽·哈塔万(印尼语:Ruselli Hartawan,1997年12月27日-),印尼女子羽毛球运动员。2014年8月,鲁斯丽·哈塔万代表印尼参加中国南京举行的夏季青年奥林匹克运动会羽毛球比赛。同年9
  • 罗马尼亚社会主义共和国英雄罗马尼亚社会主义共和国英雄(罗马尼亚语:Erou al Republicii Socialiste România)是罗马尼亚社会主义共和国政府设立的最高荣誉称号。它由1971年5月6日第166号政府法令设立。
  • 自动倾斜器自动倾斜器(军方称为旋转盘)是将经直升机飞行操纵系统传递过来的驾驶员或自动驾驶仪的指令转换为旋翼桨叶受控运动的一种装置。因为旋翼是旋转的,自动倾斜器被用于将驾驶员的
  • 大兴镇 (蒲江县)大兴镇,是中华人民共和国四川省成都市蒲江县下辖的一个乡镇级行政单位。大兴镇下辖以下地区:场镇社区、米锅村、王店村、水口村、炉坪村、三和村、关桥村、九尖村和玉龙村。
  • 方维新方维新(1624年-1648年),本名方弘宪,浙江诸暨县人,明朝、南明政治人物。方维新是崇祯十二年(1639年)的举人,十六年(1643年)时在会试中乙榜。南京被清军攻陷,他依附舟山的黄斌卿。鲁王监国