伯恩赛德引理

✍ dations ◷ 2025-11-17 23:01:48 #引理,群论,包含证明的条目

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

相关

  • 抽象客体抽象和具体(英语:Abstract and concrete)是这样一种分类,标志着一个术语描述的对象是否有物理上的指示物(英语:referent)。抽象对象(抽象客体,英语:abstract object)没有物理的实指,但是
  • 国籍权国籍是指一个人属于一个国家国民的法律资格,也是国家实行外交保护的依据。各国将国籍作为立法的重要内容,是从十八世纪末,十九世纪初开始的。《世界人权宣言》第十五条规定:“人
  • 平太阳日平太阳或假太阳是一个假想的天体,它每年和真太阳同时从春分点出发,在天赤道上从西向东匀速运行,这个速度相当于真太阳在黄道上运行的平均速度,最后和真太阳同时回到春分点。平太
  • 1182年重要事件及趋势重要人物
  • ViVa TV美好家庭购物股份有限公司(英语:Shopnet Homeshopping Co., Ltd.,缩写:ViVa TV,简称:美好家庭购物)为台湾的电视购物频道。
  • 2017湖南卫视节目巡礼2017湖南卫视节目巡礼,即2017年湖南卫视招商会。是中国湖南广播电视台(HBS)旗下电视频道湖南卫视向广告客户推出的一系列冠名、广告招商以及公布2017年戏剧节目、综艺节目等播
  • 林嘉凌林嘉凌(Maze Lin,1990年6月17日-),曾改名为林恩伶,艺名蔷蔷,初次亮相为台湾综艺节目《我猜我猜我猜猜猜》2007年8月11日播出之单元:黄金比例!!美腿甜心。而后经推荐成为台湾综艺节
  • Apple推送通知服务Apple 推送通知服务是苹果公司2009年6月17日随iOS 3.0推出的一项服务。它通过长IP连接推送技术从第三方应用向苹果设备提供推送通知服务(英语:Notification Service),通知中可能
  • 大划街道大划街道,原为大划镇,是中华人民共和国四川省成都市崇州市下辖的一个乡镇级行政单位。2019年12月,撤镇设街道,大划街道办事处驻人和路68号。大划街道下辖以下地区:大划场镇社区、
  • 翠绿龙舌兰翠绿龙舌兰(学名:)又称翡翠盘、狐尾龙舌兰,为龙舌兰属植物,分布在墨西哥。多年生植物,有明显的茎,茎长25至50公分,灰白至灰褐色,径约10至13公分,绿色肉质叶大而肥厚,柔软,边缘无刺,顶端有