伯恩赛德引理

✍ dations ◷ 2025-11-30 16:45:53 #引理,群论,包含证明的条目

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

相关

  • 下胚层下胚层(Hypoblast)是指在胚胎发育过程中,位于二胚层胚盘(英语:Bilaminar_blastocyst)的上胚层(Epiblast)相对下方的一群立方形细胞。在小鼠胚胎发育过程中,下胚层于大约于第4.5天出现
  • 卡尔达诺吉罗拉莫·卡尔达诺(Girolamo Cardano,1501年9月24日-1576年9月21日),意大利文艺复兴时期百科全书式的学者,主要成就在数学、物理、医学方面。名字的英文拼法为Jerome Cardan,所以
  • 斯波特瑟尔韦尼亚斯波特夕法尼亚县(Spotsylvania County, Virginia)是美国维吉尼亚州中北部的一个县。面积1,068平方公里,根据美国2010年人口普查,共有人口122,397人。县治斯波特瑟尔韦尼亚县府
  • 多数暴力多数人暴政(英语:tyranny of the majority),又称为多数暴力,群体暴政,是民主制度及“少数遵从多数”制度的一个本质上的缺点,用于批评由多数人作完全决定的制度,认为在该制度中将多
  • 硬蛋白硬蛋白(英语:Scleroproteins,又称纤维状蛋白)是两种蛋白质主要分类其中的一种,另一种是球状蛋白质。角蛋白、胶原蛋白、弹性蛋白与丝心蛋白都是硬蛋白。这类蛋白质的作用包括了保
  • A24高速公路 (意大利)A24高速公路(意大利语:Autostrada A24), 和A25高速公路合称公园之路(意大利语:Strada dei Parchi,因穿越大萨索山和拉加山国家公园而得名),是意大利一条高速公路,自首都罗马横贯亚平宁
  • 牧野刚牧野刚(牧野剛,まきの つよし,1945年9月24日~2016年5月20日)是一位日本作家、评论家与社会运动者,曾担任教师,出生于日本岐阜县惠那市,毕业于名古屋大学文学部国史科。牧野刚曾经参
  • 埃加尔斯·什克莱埃加尔斯·什克莱(拉脱维亚语:Aigars Šķēle,1992年12月4日-),拉脱维亚篮球运动员,现在效力于拉脱维亚球队BK Valmiera。他也代表拉脱维亚国家男子篮球队参赛。
  • 赫塞尔廷迈克尔·雷·迪布丁·赫塞尔廷,赫塞尔廷男爵,CH,PC(Michael Ray Dibdin Heseltine, Baron Heseltine,1933年3月21日-),又译夏舜霆、夏信廷、夏思定、希素庭和赫索泰,英国保守党政治家
  • 道布增·罗布生图布登吉格米德扎木苏道布增·罗布生图布登吉格米德扎木苏(1882年8月14日-1930年12月16日)蒙古族,内蒙古阿拉善旗人,阿拉善第三世(不计追认)道布增活佛。清朝光绪八年农历七月一日(1882年8月14日)生于阿拉