伯恩赛德引理

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

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

相关

  • 氯化烯丙基钯二聚物氯化烯丙基钯(II)二聚物是一个化合物,其化学式为(η3-C3H5)2Pd2Cl2。此一黄色且空气稳定的化合物是有机合成中的一个重要的催化剂。此化合物是经由将一氧化碳通入氯化钯、氯
  • 吸墨纸吸墨纸(Blotting paper)、吸墨水纸,有时也称为吸水纸(bibulous paper)如显微镜学,是用来吸收过量的液体(如墨水、油)的纸。通常用化学木浆或棉布浆制成。纸质粗松、吸水性强。
  • 阿尤布时期阿尤布王朝(Ayyubid dynasty)为12世纪-13世纪统治埃及、叙利亚、也门的伊斯兰教王国。该王朝由库尔德人建立,全盛时期的版图延伸至圣城麦加与北伊拉克。由阿尤布、谢尔库赫兄弟
  • 玉帝玉皇上帝,通称玉皇大天尊,简称玉皇、玉帝,俗称玉皇大帝、天公,宋代尊称之为昊天玄穹玉皇上帝。玉皇上帝源自中国自古以来信仰的昊天上帝。中国人自从原始社会开始就崇敬“天”,最
  • 卡宴区卡宴区(法语:Arrondissement de Cayenne)是法属圭亚那(法国海外省)所辖的一个区。总面积42589平方公里,总人口119660,人口密度3人/平方公里(1999年)。主要城镇为卡宴。卡宴区辖有16个
  • 毛际可毛际可(1633年-1708年),字会侯,号鹤舫,晚号松皋老人。遂安(今属浙江)人。顺治十五年(1658年)进士,官河南彰德府(今安阳市)推官,政绩卓著,改陕西城固县知县。康熙十八年(1679年)举博学鸿词科,康
  • 后唐后唐(923年-937年)是中国五代时期的政权之一。923年,唐朝的赐姓沙陀人李存勖消灭后梁,重建唐朝。在魏州(河北大名县西)称帝,以“复兴唐朝”为名,不久迁都洛阳。后为石敬瑭勾结契丹入
  • 蒙特利尔实验室蒙特利尔实验室(英语:Montreal Laboratory)位于加拿大魁北克省蒙特利尔市,二战期间由加拿大的国家科研委员会(英语:National Research Council (Canada))建立,以便与英国协作研究核
  • NERVANERVA(Nuclear Engine for Rocket Vehicle Application,火箭飞行器用核引擎)是美国原子能委员会(Atomic Energy Commission,简称AEC)和NASA旗下的项目,由航天核推进局(Space Nuc
  • 拉娜·帕瑞拉拉娜·帕瑞拉(英语:Lana Parrilla,1977年7月15日-)是一位美国女演员。她在于2000年至2001年成为美国广播公司《旋转城市》第五季的常规角色。于2005年饰演福克斯广播公司电视剧《