伯恩赛德引理

✍ dations ◷ 2025-12-07 20:41:23 #引理,群论,包含证明的条目

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

相关

  • 佣兵雇佣兵是一种为了利益而参加战争的战士,参战的目的只是为了金钱奖励,无任何政治与种族宗教等立场,只要出价够高可以受雇于任何人。雇佣兵的历史可以追溯到古希腊时代。当时,古希
  • 锡布延海坐标:12°40′00″N 122°30′00″E / 12.66667°N 122.50000°E / 12.66667; 122.50000锡布延海(Sibuyan Sea)是位于菲律宾中央的一个小海域,分隔吕宋岛与米沙鄢群岛(Visayas)。
  • 2019冠状病毒病病例数SARS-CoV-2(病毒)国际运输本页面汇总世界卫生组织每天发布的数据。按人口数量排序:
  • 日本岛屿列表日本岛屿列表列出所有现时日本政府主张领有权的岛屿在日本政府主张领有权的范围内,面积100 km2以上的岛屿共有25个(除去本州等四大岛)。
  • 斯托扬·普罗蒂奇斯托扬·普罗蒂奇(塞尔维亚文-西里尔字母:Стојан Протић;1857年-1923年) 是一位南斯拉夫政治家,先后在1918至19年及1920年担任塞尔维亚人、克罗地亚人和斯洛文尼亚人
  • 第79届奥斯卡金像奖第79届奥斯卡颁奖典礼是美国电影艺术与科学学院旨在奖励2006年最优秀电影的一场晚会,于太平洋时区2007年2月25日下午17点30分(北美东部时区晚上20点30分)在美国加利福尼亚州洛
  • 斯塔弗罗波莱奥斯修道院斯塔弗罗波莱奥斯修道院(罗马尼亚语:Mănăstirea Stavropoleos)是位于罗马尼亚首都布加勒斯特的一座东正教修道院。斯塔弗罗波莱奥斯修道院在20世纪时被解散,但建筑仍然得到保
  • 衡水车务段管辖石德线5.800公里至176.500公里,京九线31.595公里至372.777公里,津霸线12.345公里至73.861公里,总营业里程575.067公里,共40个车站。
  • 行星平衡温度行星平衡温度(英语:Planetary equilibrium temperature)是一个理论上的行星表面温度。该理论简单地将行星当成黑体,并且行星的外在热源只有母恒星。在这个模型中并不考虑行星是
  • 浅香航大浅香航大(日语:浅香航大/あさか こうだい  *,1992年8月24日-)是日本一名男演员,出身于神奈川县,隶属于A-team(日语:A-team (芸能プロダクション))事务所。其名字“航大”(こうだい)源自