伯恩赛德引理

✍ dations ◷ 2025-12-10 08:46:08 #引理,群论,包含证明的条目

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

相关

  • 娱乐数学娱乐数学(Recreational mathematics)是和娱乐有关的数学,不是因为纯粹学术研究或是实务应用需求而有的数学领域。娱乐数学包括了数学谜题及数学游戏,探讨者不限于数学业余爱好者
  • 性索基质肿瘤性腺间质肿瘤(Sex cord-gonadal stromal tumour)或称性索基质肿瘤、性索间质肿瘤(sex cord-stromal tumour),是一类病发于卵巢或睾丸间质部分的肿瘤,它包含颗粒细胞、卵泡膜细胞(英
  • 齿白蚁科齿白蚁科(学名:Serritermitidae)为一种白蚁的科,仅产自南美洲巴西的珍贵独模标本。Holmgren把它放在鼻白蚁科的齿白蚁亚科,Ahmad将齿白蚁亚科自白蚁亚科中移到白蚁科的个亚科。最
  • 越南北部越南北部(越南语:Miền Bắc Việt Nam)是越南传统的三个地理大区之一,指的是越南的北部地区。越南北部可以被再划分为西北部、东北部和红河三角洲三个地理区域。最大城市是首都
  • 的黎波里的黎波里(Tripoli),是黎巴嫩地中海岸边的一座古城,位于贝鲁特以北85公里。该城名称意为“三城”,由于在腓尼基时代的三座城市(西顿、推罗和阿拉多斯)联盟中占主导地位而得名。的黎
  • 东印度群岛东印度是一个模糊、松散的地域概念,既适用于现在的印尼(前荷属东印度),也可包括马来群岛(菲律宾属于本群岛)现在仍偶尔会这样指称。广义的“东印度”还包括中南半岛(又称印度支那)和
  • 约翰逊–科里–柴可夫斯基反应Johnson–Corey–Chaykovsky反应(Johnson–Corey–Chaykovsky reaction),有时简称为Corey–Chaykovsky反应或缩写成CCR,是一个用来合成如环氧化合物、氮杂环丙烷和环丙烷这类含
  • 万事皆晓《万事皆晓》(英语:All Things Considered,缩写 ATC),是美国全国公共广播电台(NPR)的新闻节目,于1971年5月3日由 NPR 所属电台现场直播,并通过包括 NPR 柏林站在内的几个不同的电台实
  • 孟鼎铭孟鼎铭 (William R. "Bill" McDermott) SAP公司CEO。孟鼎铭出生成长于美国长岛,兄弟3人。高中时,他通过打白条的形式以7,000美元的本票购买了当地一家熟食店开始创业。 通过这次
  • 琼·考琳丝琼·考琳丝女爵士(港译:锺歌莲丝),DBE(Dame Joan Collins,1933年5月23日-),英国著名电影、电视剧演员,兼职作家,曾在1980年代主演美国电视剧《朝代》而走红。琼·考琳丝出生于西伦敦的