伯恩赛德引理

✍ dations ◷ 2025-12-01 13:37:11 #引理,群论,包含证明的条目

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

相关

  • 加州理工学院加州理工学院(California Institute of Technology,缩写:Caltech)是一所位于美国加利福尼亚州帕萨迪纳的私立研究型大学,创建于1891年,以自然科学及工程学著称,常被评为世界前十的
  • 扶br /余扶余国,古国名,亦作夫余、凫臾,由中国东北地区的古老民族扶余人所建立的国家,亦是中国东北地区第一个有史可考的国家。扶余国从前2世纪立国到494年东扶余国被高句丽灭国为止,历时
  • 德州三角地带美国德州三角地带(英文:Texas Triangle)是美国的一个城市群,得名于德州的三个最大的都会区达拉斯、休斯敦和圣安东尼奥和将它们两两相连的45号州际公路、10号州际公路以及35号州
  • 山地自行车登山车(英语:Mountain bike)或称登山单车、山地自行车,山地车,为设计在山地非公路地型骑乘的脚踏车;越野骑行登山车的历史包括了欧洲的cyclo-cross运动和英国人Roughstuff Fellows
  • 伊西曼格利索湿地公园伊西曼格利索湿地公园(iSimangaliso Wetland Park),又译作艾赛门加利索湿地公园,旧称大圣卢西亚湿地公园(Greater St. Lucia Wetland Park),位于南非夸祖鲁纳塔尔东部海岸,距德班约2
  • 吕剧吕剧是中国山东省地方戏。以前叫“化妆扬琴”或“扬琴戏”,系由民间说唱艺术“山东扬琴”演变而来。一说起源于山东省东营市东营区牛庄镇时家村(原属广饶县),由时殿元(1863年-
  • 李宝 (汉朝)李宝(?-26年),中国新朝到东汉时代初期武将。李宝是更始帝刘玄属下武将、柱功侯,活动范围主要是汉中、三辅。更始二年(24年)秋,更始帝命令他和益州刺史张忠共率军一万余人平定蜀地和汉
  • 整体艺术整体艺术(德语:Gesamtkunstwerk)是由德国作曲家、剧作家瓦格纳提出的美学概念,在十九世纪的欧洲出现。这一理念源于瓦格纳早期接触并延续的德国浪漫主义。在其1849年的两篇论述
  • 市川右太卫门市川右太卫门(1907年2月25日-1999年9月16日)是日本的知名歌舞伎和电影演员,和片冈千惠藏、阪东妻三郎等人都是早期东映电影公司推行时代剧电影的一级演员,出演电影产量高达320部,
  • 陈方既陈陈方既(1921年9月30日-2020年8月26日),别名陈泽陈泽浦,男,湖北沔阳阳人,中国书画国书画家、文艺艺理论论家、。一级级美术师术师。1990年代曾任湖北省书书法家协会协会副主席、湖