伯恩赛德引理

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

相关

  • 亚伯拉罕亚伯拉罕(希伯来语:.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram Tsova","Taamey
  • 东果格格端庄固伦公主(满语:ᡩᠣᠩᡤᠣ,转写:Donggo;1578年-1652年),本名嫩哲,亦称东果格格、东果公主。清太祖之长女,生母为清太祖元妃。明万历六年(1578年)二月二十二日戌时出生。万历十六年(15
  • 比尔森比尔森(捷克语:Plzeň;德语:Pilsen)位于捷克波希米亚地区西部,距离布拉格约90公里,是比尔森州的首府,也是该国第四大城市。比尔森位在Radbuza、Mže、Úhlava与Úslava四条河流的汇
  • 简·方达简·西摩·方达(英语:Jane Seymour Fonda,1937年12月21日-)是一名美国女演员,其父是奥斯卡影帝亨利·方达、胞弟是彼得·方达,两人皆为演员。1971年她在《柳巷芳草》中扮演一位狡猾
  • 周文雍烈士祖屋周文雍烈士祖屋,即周文雍故居,位于中国广东省江门市开平市百合镇茅冈村凤凰里。1983年3月,,列入开平县文物保护单位。该地是周文雍幼年生活过的地方,该故居内展有周文雍生前用过
  • 南汇角南汇角,也称南汇嘴,位于上海市陆地的最东端浦东新区芦潮港,为长江入海口与钱塘江入海口的分界点。现在为免费开放的南汇嘴观海公园,供游人观海听涛。上海市大部分陆地是在最近数
  • 新拟钉螺属新拟钉螺属(学名:)属于盖螺科(Pomatiopsidae)的一个淡水(英语:freshwater snail)微小贝的属,是一种有鳃和口盖(英语:operculum (gastropod))的腹足纲软体动物。 新拟钉螺属有至少五个物
  • 约瑟夫·贝尔约瑟夫·贝尔(英语:Joseph Bell,1837年12月2日-1911年10月4日)是苏格兰外科医师,爱丁堡皇家外科医学院(英语:Royal College of Surgeons of Edinburgh)院士,曾任爱丁堡皇家外科医学院
  • 拉贾斯坦语拉贾斯坦语(राजस्थानी)为一通行于印度拉贾斯坦邦、旁遮普邦、古吉拉特邦、哈里亚纳邦及巴基斯坦的一部分的语言。属印欧语系的印度-雅利安语支。拉贾斯坦语有 10 个
  • 佩普西湖佩普西湖(爱沙尼亚语:Peipsi järv),是北欧的湖泊,位于俄罗斯和爱沙尼亚边境,长72公里、宽50公里,面积2,611平方公里,最大水深12.9米,海拔高度30米,该地区每年平均降雨量575毫米。