伯恩赛德引理

✍ dations ◷ 2025-12-06 04:50:30 #引理,群论,包含证明的条目

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

相关

  • 法老法老(希伯来语:פרעה,希腊语:Φαραώ,埃及文转写:pr ʿ3,科普特语:ⲡⲣ̅ⲣⲟ,阿拉伯语:فرعون‎)是古埃及君主的尊称。是埃及语的希伯来文音译。在古王国时代仅指王宫,从新王
  • 浮梁浮梁县是中国江西省景德镇市的所辖的一个县,总面积为2867平方公里,2010年常住人口为303563人。唐武德四年(621年)析鄱阳县东域置新平县,后省入鄱阳县。开元四年(716年)以新平故地置
  • 沃尔夫冈·潘诺夫斯基沃尔夫冈·库尔特·赫尔曼·帕诺夫斯基(德语:Wolfgang Kurt Hermann Panofsky,1919年4月24日-2007年9月24日),德国-美国物理学家。
  • 巴耶尔腓特烈·巴耶尔(丹麦语:Fredrik Bajer,1837年4月21日-1922年1月22日),丹麦作家、教育家、政治家,1908年获诺贝尔和平奖。
  • 左营坐标:22°41′13.54″N 120°17′30.67″E / 22.6870944°N 120.2918528°E / 22.6870944; 120.2918528左营区(台湾话:.mw-parser-output .sans-serif{font-family:-apple-syst
  • 北赤道暖流北赤道海流(英语:North Equatorial Current),为太平洋及大西洋上一支显著的洋流,纬度位于北纬10度至20度之间,其流向由东向西。北赤道海流为构成亚热带环流(Subtropical Gyre)的南
  • 卡西尼第三定律卡西尼定律(Cassini's laws)对月球的运动提供了一种简洁的叙述。本定律是由著名科学家乔凡尼·多美尼科·卡西尼在1693年提出的。这之后科学界对卡西尼定律的改进包括天平动机
  • 小特权小特权(拉丁语:Privilegium Minus),是神圣罗马帝国皇帝腓特烈一世于1156年9月17日授予奥地利亨利二世的特权。为与后世奥地利获得的大特权相区分,故名小特权。该特权首先提升了奥
  • 瑞应瑞应,为中国明朝彝族起事者奢崇明的年号,1621年—1629年,前后共9年。洪武 → 建文 → 永乐 → 洪熙 → 宣德 → 正统 → 景泰 → 天顺 → 成化 → 弘治 → 正德 → 嘉靖 → 隆
  • 2017年匈牙利大奖赛2017年匈牙利大奖赛(英语:2017 Hungarian Grand Prix),官方名称为2017年一级方程式赛车倍耐力匈牙利大奖赛(匈牙利语:Formula 1 Pirelli Magyar Nagydíj 2017),是2017年7月30日举办