伯恩赛德引理

✍ dations ◷ 2025-11-23 19:57:57 #引理,群论,包含证明的条目

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

相关

  • 塞拉皮斯塞拉比斯(拉丁语:Serapis、古希腊语:Σάραπις)或译塞拉皮斯(波西杰克森译塞瑞比斯)是希腊化时代的埃及神祇,是一个希腊-埃及复合神。公元前3世纪,托勒密王朝的法老托勒密一世
  • 施波尔路易斯·施波尔(德语:Louis Spohr,1784年4月5日-1859年10月22日),原名Ludwig Spohr,德国作曲家、小提琴家、指挥家。施波尔创作了大量作品,其中小提琴协奏曲的数目很是惊人。其歌剧
  • 谢尔顿·H·哈里斯谢尔顿·H·哈里斯(Sheldon H. Harris,1928年8月-2002年8月31日),出生于美国纽约,在洛杉矶逝世。他曾获得哥伦比亚大学博士学位,加利福尼亚大学名誉教授。他长期从事美国现代史研究
  • Janov, Dr. Arthur亚瑟·亚诺夫(英语:Arthur Janov,/ˈdʒænəv/,1924年8月21日-2017年10月1日)是美国心理学家、心理治疗师,原始疗法(英语:Primal therapy)的创始者。 他在加州圣塔莫尼卡主办一个名为
  • 比金河比金河是俄罗斯的河流,位于滨海边疆区和哈巴罗夫斯克边疆区,属于乌苏里江的右支流,河道全长560公里,流域面积22,300平方公里,河畔城镇有比金。
  • Cpiocpio 是UNIX操作系统的一个文件备份程序及文件格式。这项工具最初出现于PWB/UNIX,系用于备份磁带,后来也被引进到UNIX System III及System V,并流行开来。cpio 可以从 cpio 或
  • 宿城故城宿城故城是东平县重要的文化古迹。位于宿城村西北,白佛山前。宿城是周代宿国首都、汉魏东平国治所、西晋东平郡治所、隋代宿城县治所。建国之后,先后在宿昌故城出土了大量青铜
  • 恩氏灯鳉恩氏灯鳉,为辐鳍鱼纲鲤齿目鲤齿亚目花鳉科的其中一种,分布于非洲埃塞俄比亚Orsedi湖及Suksuk河、肯亚北部奈瓦夏湖流域,体长可达4.5公分,生活在水浅、水草生长的溪流、湖泊,生活
  • 丹尼·爱罗丹尼·爱罗(Daniel Louis "Danny" Aiello, Jr.,1933年6月20日-2019年12月12日)是美国的一位演员。他是一位意大利裔美国人,1989年以《为所应为》提名奥斯卡最佳男配角奖。2019年1
  • 李粲李粲可以是下列人物: