伯恩赛德引理

✍ dations ◷ 2025-06-10 02:50:14 #引理,群论,包含证明的条目

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

相关

  • 哈里发国家哈里发国(阿拉伯语:خلافة‎,意为“继承”)是由最高宗教和政治领袖哈里发领导的伊斯兰国,穆斯林世界存在的穆斯林帝国通常被称为哈里发国。从概念上说,哈里发国是代表全部虔诚
  • 印度的一级行政区包括有28个邦、8个中央直辖区及德里国家首都辖区。28个邦每一个邦都有各自的民选政府,首都辖区与邦处相同的地位,而中央直辖区则由中央政府直接管辖。今日的
  • 止恶心药止吐剂(英语:Antiemetic),又称止吐药,广义上的止吐药指一切用于治疗恶心与呕吐的药物。由于呕吐是一种复杂的反射活动,由多种因素引起,故不同作用机理的止吐药只能针对其中一种或多
  • 巴郡263﹣581益州蜀郡新都郡汉嘉郡汶山郡江阳郡犍为郡越巂郡梁州巴郡广汉郡巴西郡巴东郡梓潼郡涪陵郡• 成汉 304 – 347• 谯蜀 405 – 413巴郡,是中国古代的郡级行政区划,范围在今
  • 新华区新华区是中华人民共和国河南省平顶山市的一个市辖区。面积157平方公里,2002年人口36万。2020年1月获评中国曲艺之乡。现辖:曙光街街道、光明路街道、中兴路街道、矿工路街道、
  • 日治时期日治时期、日治时代、日本时代或日本统治时期可以指一些地区曾被日本统治过的时期:1972年至今 大韩民国1938年 - 1945年 密克罗尼西亚联邦 帕劳 马绍尔群岛
  • 伪德米特里三世伪德米特里三世(俄语:Лжедмитрий III,罗马化:Lzhedmitrii III;?-1612年7月),是三位自称为俄罗斯沙皇伊凡四世幼子乌格利奇的德米特里中最后与最神秘的一名俄罗斯王位觊觎者
  • 内田康夫内田康夫(1934年11月15日-2018年3月13日),生于日本东京府东京市滝野川区(今 东京都北区),是推理小说作家。东洋大学文学院毕业。曾担任广告文案设计员、广告公司社长,1980年以绰号“
  • 乾胡桃乾胡桃(日语:乾 くるみ/いぬい くるみ ,1963年10月30日-),男性,生于静冈县静冈市,毕业于静冈大学数学专业;另以别名市川尚吾(市川 尚吾/いちかわ しょうご)进行评论活动。。括号内为乾胡
  • 希罗多·毛兹希罗多·毛兹(德语:Theodor Maunz,1901年9月1日-1993年9月10日)是德国法学家与政治人物(CSU)。他撰写的Maunz-Dürig是重要的基本法注释书。毛兹从1957年到1964年担任巴伐利亚文