伯恩赛德引理

✍ dations ◷ 2025-12-01 00:35:19 #引理,群论,包含证明的条目

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

相关

  • 叶子叶是高等植物的营养器官,侧边发育自植物的茎的叶原基。叶内含有叶绿体,是植物进行光合作用的主要场所。同时,植物的蒸散作用是通过叶的气孔实现的。叶只出现在真正的茎上,即只有
  • 秀姑峦溪秀姑峦溪(阿美语:Siwkolan a tarawadaw)位于台湾东南部,属于中央管河川,以泛舟活动知名。秀姑峦溪本身发源于花莲与台东两县之间的仑天山南侧,但整个水系的最远源流则为其最长支流
  • 美国战略司令部美国战略司令部(USSTRATCOM)是美国国防部所属十大一体化司令部(联合作战司令部)之一,负责空间作战、信息作战、导弹防御、情报侦察监视、全球打击、战略威慑、大规模杀伤性武器等
  • 黑桫椤黑桫椤(学名:Alsophila podophylla)又名鬼桫椤,为桫椤科桫椤属下的一个种。分布琉球、南中国、越南、泰国,台湾低海拔地区。
  • 九江九江市,简称浔,古称柴桑、浔阳、江州,是中华人民共和国江西省下辖的地级市,位于江西省北部,有“江西北大门”之称。市境东南接上饶市,南抵南昌市、宜春市,西南界湖南省岳阳市,西北邻
  • 卢布卢布(俄语:рубль,IPA:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Genti
  • 所罗门圣殿所罗门圣殿(希伯来语:בית המקדש‎,拉丁化译音:Beit HaMikdash),通常指第一圣殿。在《希伯来圣经》的记载中,所罗门圣殿是居住在耶路撒冷的以色列子孙们信仰的古老宗教的第
  • 超级谢尔曼坦克超级谢尔曼坦克是以色列于1950年代研发的M4谢尔曼坦克的改进型,分为“M50”、“M51”两种型号。以色列自建国后,一直与邻国关系不睦。为了对付邻国的侵袭,以色列开始四处购置武
  • 透闪石透闪石为角闪石的一类,来自白云石和石英混合沉积后形成的变质岩。晶体常辐射状或柱状排列。其中的镁离子可被被二价铁离子部分置换,形成与阳起石(actinolite)、铁阳起石(ferro-a
  • 超频超频(英语:overclocking)是把一个电子配件的时脉速度提升至高于厂方所定的速度运作,从而提升性能的方法,但此举有可能导致该配件稳定性下降。超频活动多为个人电脑的爱好者所喜爱