伯恩赛德引理

✍ dations ◷ 2025-07-02 10:54:54 #引理,群论,包含证明的条目

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

相关

  • 社会心理发展埃里克森社会心理发展阶段是根据爱利克·埃里克森描述,将正常人的一生,从婴儿期到成人晚期,分为8个发展阶段 。在每个阶段,个人都面临、并克服新的挑战。每个阶段都建筑在成功完
  • 粘著语素规范语素(英语:Bound morpheme)又称不自由语素、黏着语素,在语言学中,指不能独立存在,必须附属于其他语素或词根的语素。 与此相对的是自由语素。 以英语为例,大多数词缀都是规范语
  • Nasub4/subXeOsub6/sub高氙酸钠(Na4XeO6)是高氙酸的钠盐。白色粉末,有八水、六水、二水、半水和无水等形式。无水高氙酸钠可由半水物在>100°C下烘干而得到。它在200-360°C时才分解。干燥后的高氙酸
  • 况周颐况周颐(1859年-1926年),原名周仪,字夔笙,一字揆孙,晚号蕙风词隐。临桂(今广西桂林)人。晚清词学四大家之一。原籍湖南宝庆。因避宣统帝讳,改名周颐。光绪十四年(1888年)入京,中举人,官内阁
  • 光学同调断层扫描光学相干断层扫描(英文: Optical coherence tomography,简称OCT)是一种光学信号获取与处理的方式。它可以对光学散射介质如生物组织等进行扫描,获得的三维图像分辨率可以达到微
  • 大上海城市计划大上海都市计划是上海市政府于1945年抗日战争结束后为指导战后城市建设组织编制的城市总体规划,为上海结束租界历史之后,首次编制的上海市完整的城市总体规划,也是中国编制的第
  • 强尼·艾佛斯球员时期总教练时期约翰·约瑟夫·艾佛斯(英语:John Joseph Evers,1881年7月21日-1947年3月28日),出生于美国纽约州特洛伊,是前美国大联盟选手,也在1946年入选为名人堂成员。职棒生
  • 塔特拉山脉塔特拉山脉(波兰语:Tatry;斯洛伐克语:Tatry;英语:Tatra)是位于中欧的山脉,是喀尔巴阡山脉之中最高,也是斯洛伐克与波兰的边界山脉。最高峰格尔拉赫峰,海拔2655米。斯洛伐克和波兰的跨
  • Google云端硬盘Google云端硬盘(英语:Google Drive)是Google的一个在线同步存储服务,同时结合Google文档及Google我的地图的在线文件编辑功能,于2012年4月24日起逐渐开放给用户使用。这项服务早
  • 威廉·莫里斯·戴维斯威廉·莫里斯·戴维斯 (W·M·戴维斯,1850年2月12日—1934年2月5日)是美国地理学家、地质学家、地貌学家以及气象学家,常被称为“美国地理学之父”。 W·M·戴维斯生于费城的一