伯恩赛德引理

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

相关

  • 和亲和亲,又可称和蕃,是指东亚君主将自己或宗室的女儿或国内其他女性嫁给他国君主以示两国友好,增进彼此关系,具有政治目的联姻。一个国家内部不同政治集团的联姻不算在内。中国的和
  • 尿液检查尿液分析,又称为尿常规,是针对尿液标本所进行的一组医学检验项目,是医学诊断过程中最为常用的方法之一。尿液分析是历史最为悠久的医学检验方法之一,可以反映肾脏和泌尿道等方面
  • 上海科学技术出版社上海科学技术出版社位于上海市钦州南路71号,始建于1955年12月初,现设有科学编辑部、工业编辑部、农业编辑部、医学编辑部、科普编辑部、科教编辑部、国际部、合作出版编辑室、
  • IUPAC有机物命名法IUPAC有机物命名法是一种有系统命名有机化合物的方法。该命名法是由国际纯粹与应用化学联合会(IUPAC)规定的,最近一次修订是在1993年。其前身是1892年日内瓦国际化学会的“系统
  • 阉伶阉伶,也叫去势男高音、阉人歌手等,是16世纪至18世纪期间在欧洲的一种独特的艺人。他们是一些在童年时接受阉割手术的男性歌手,去势的目的是为了保持童声。在16世纪的欧洲,由于妇
  • 拉丁桥拉丁桥(波斯尼亚语:Latinska ćuprija,克罗地亚语:Latinska ćuprija,塞尔维亚语:Принципов мост)是位于波斯尼亚和黑塞哥维那首都萨拉热窝市中心的一座桥梁,在南斯拉
  • Uue 8s1(预测) 2, 8, 18, 32, 32, 18, 8, 1(预测)主条目:Uue的同位素 Uue(英语:Ununennium,化学符号为Uue)是一种尚未被发现的化学元素,原子序数是119,在元素周期表中排列在第8周期、1族。
  • MAS-38冲锋枪MAS-38(法语:The Pistolet Mitrailleur MAS modèle 38,英语:MAS Model 38 Submachine Gun)是一种法国的冲锋枪,预先为二战准备,曾被法国及德国(缴获)使用,它源于1918年-1922年执行的
  • 图丽琛图丽琛(一作图理琛,满语:ᡨᡠᠯᡳᡧᡝᠨ,太清:,大词典:,1667年-1740年),字瑶圃,号睡心主人,叶合(一作叶赫,满语:ᠶᡝᡥᡝ,转写:)人,阿颜觉罗氏(满语:ᠠᠶᠠᠨ ᡤᡳᠣᡵᠣ,太清:),满洲正黄旗人。清朝康
  • 图尔盖高原坐标:50°03′00″N 61°50′00″E / 50.05°N 61.833334°E / 50.05; 61.833334图尔盖高原(哈萨克语:Торғай Үстірті),是哈萨克的高原,位于该国西北部,由阿克托贝州