伯恩赛德引理

✍ dations ◷ 2025-11-28 00:16:18 #引理,群论,包含证明的条目

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

相关

  • Si硅(原子量:28.0855(3))共有23个同位素,其中有3个同位素是稳定的。备注:画上#号的数据代表没有经过实验的证明,只是理论推测而已,而用括号括起来的代表数据不确定性。
  • N射线N射线(法文:Rayon N,英文:N rays)是由法国物理学家布朗洛(英语:Prosper-René_Blondlot)提出的辐射类型,起初受众人认同,但后来证实是幻象。事件受后世科学家引为实验者偏见之实例。
  • 黄三桂黄三桂,曾任卫生福利部中央健康保险署署长。
  • 甲肿甲状腺肿(又称甲状腺肥大、大脖子病,粤语俗称大颈泡)指甲状腺发生肿胀,而此往往亦会引发颈部及声带肿胀。甲状腺一般重15至25克,然而肿大的甲状腺可成长至1千克。甲状腺肿大一般
  • 平方毫米平方毫米(符号为mm²)是面积的公制单位(SI Unit),其定义是“边长为1毫米的正方形的面积”。(1m²=1000000mm²) (1cm²=100mm²) (1µm²=0.000001mm²)平方尧米、平方佑米(Ym²
  • 第三次的核试2013年朝鲜核试验是朝鲜自2006年起的第三次核试验,2013年2月12日,朝鲜宣布成功进行了一次地下核试验,并称此次试验的是小型轻量的原子弹,弹头材料则是首次装填浓缩铀,同时多国宣
  • 豇豆花叶病毒科豇豆花叶病毒属 豆科病毒属 线形多面体病毒属 豇豆花叶病毒科(Comoviridae)
  • 2019冠状病毒病开曼群岛疫情2019冠状病毒病开曼群岛疫情,介绍在2019新型冠状病毒疫情中,在开曼群岛发生的情况。2020年3月12日,开曼群岛宣布确诊首例新冠肺炎病例。患者为意大利游客,2月29日由于严重心脏问
  • 卡-海姆卡-海姆是俄罗斯图瓦共和国的一个城镇以及克孜勒旗的行政中心。截至2010年,该地的人口为15,044。卡-海姆位于小叶尼塞河的左岸,西部与克孜勒的郊区接壤。有一条公路通往萨雷格
  • 米兰·彼得热拉米兰·彼得热拉(Milan Petržela)是捷克的一位足球运动员。他现在效力于德国足球甲级联赛球队奥格斯堡足球俱乐部。他也代表捷克国家足球队参赛。