伯恩赛德引理

✍ dations ◷ 2025-04-02 14:53:39 #引理,群论,包含证明的条目

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

相关

  • 末端裸子植物末端裸子植物(学名:Acrogymnospermae)指的是由松柏门、苏铁门、银杏门、买麻藤门四个类群组成的现生裸子植物演化支,按照目前的研究,其在演化上构成单系群。
  • 罪惟录《罪惟录》,原名《明书》,作者查继佐,为明朝—南明史事的纪传体史书。传世唯有一部,齐鲁书社对其进行点校。查继佐于崇祯十七年(1644年)始修明史,易稿数十次,初名明书,因牵连庄廷鑨私
  • 反智主义反智主义(英语:anti-intellectualism),又称作反智论、反智识主义或知识无用论,是一种存在于文化或思想中的态度,而不是一套思想理论。反智主义可分为两大类:一是对于智性(intellect)
  • 台积电台湾积体电路制造股份有限公司(英语:Taiwan Semiconductor Manufacturing Company, Limited),通称台积电、台积或TSMC,与旗下公司合称时则称做台积电集团,是全球最大的晶圆代工半
  • 871年重要事件及趋势逝世重要人物
  • 黄瓜山遗址黄瓜山贝丘遗址,位于中国福建省霞浦县沙江镇小马村,为一个省级文物保护单位,类型为古遗址,为第六批福建省文物保护单位,公布时间为2005年5月11日。黄瓜山遗址的历史年代为新石器
  • 福南马努坐标:8°34′S 179°09′E / 8.567°S 179.150°E / -8.567; 179.150福南马努(英语:Funamanu Isle)是一个位于图瓦卢首都富纳富提的一座珊瑚礁岛屿。
  • 圣依纳爵罗耀拉主教座堂 (维尔纽斯)圣依纳爵罗耀拉主教座堂 (立陶宛语:Šv. Ignoto katedra) 是天主教立陶宛军中教长区的主教座堂,位于立陶宛首都维尔纽斯。1602年,耶稣会进入维尔纽斯,在1622年建造巴洛克风格的
  • 下库宾区坐标:49°12′32″N 19°17′43″E / 49.20889°N 19.29528°E / 49.20889; 19.29528下库宾区(斯洛伐克语:Dolný Kubín),是斯洛伐克的一个区,位于该国北部,由日利纳州负责管辖,面
  • 红学红学是一门以中国古典文学四大名著之一的《红楼梦》为对象的研究。“红学”一词在嘉庆、道光年间出现,在当时是个开玩笑的说法。而研究《红楼梦》成为严肃专门的学问,始自胡适