伯恩赛德引理

✍ dations ◷ 2025-12-05 20:48:13 #引理,群论,包含证明的条目

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

相关

  • 中央大平原大平原(英语:Great Plains),多称北美大平原、北美大草原,是北美洲中部一块广袤的平原地区,大致位于密西西比河以西、落基山脉以东、格兰德河以北。自然植被以草为主。大平原东西长
  • 脂漏性皮肤炎脂溢性皮炎(Seborrhoeic dermatitis 或者 Seborrheic dermatitis (美式英语), seborrhea, 也叫做 Seborrheic eczema)是一种发生于皮脂溢出部位的慢性复发性皮炎。有两个好发
  • 大陆分裂大陆漂移学说是地球大陆相对于彼此的运动,因此似乎在海床上“漂流”。最初由亚伯拉罕·奥特柳斯在1596年提出,后来德国科学家阿尔弗雷德·魏格纳在1912年加以阐述,中文中“大陆
  • 民权民权可以指:
  • MADHOUSEMADHOUSE(株式会社マッドハウス)是日本一家动画制作公司,主要业务为动画相关企画、制作及著作权管理。1972年10月,丸山正雄、出崎统、林太郎(日语:林太郎)、川尻善昭等人,在公司‘虫
  • 诺斯费拉图《诺斯费拉图》(德语:Nosferatu, eine Symphonie des Grauens)是一套1922年的德国恐怖片,由F·W·穆瑙执导,等主演。电影改编自布拉姆·斯托克1897年的小说《德拉库拉》,但因未能
  • 维格沃姆维格沃姆(英文:wigwam或wickiup)是一种北美土著人部落使用的类似于窝棚的住宅(主要是单人居住,也有大型者供十余人居住),在美国西部称为,在东北部被称为。实际上,使用这个词语的非土
  • 韩式鸡蛋糕韩式鸡蛋糕(韩语:계란빵)是发源于韩国的一种街头小吃,常在韩国街边转角、或地铁出口附近贩卖。此小吃通常为椭圆形,与中式小食槽子糕类似,差别在于前者中央包有一颗完整的水煮蛋。
  • 费声远费声远主教(Bishop André-Jean Vérineux, MEP,1897年11月4日-1983年1月10日),天主教会主教,巴黎外方传教会会士。费声远1897年11月4日生于法国马恩省汉斯,1910年13岁加入巴黎外方
  • 潘辉注潘辉注(越南语:Phan Huy Chú/.mw-parser-output .han-nom{font-family:"Nom Na Tong","Han-Nom Gothic","Han-Nom Ming","HAN NOM A","HAN NOM B","Ming-Lt-HKSCS-UNI-H","Min