伯恩赛德引理

✍ dations ◷ 2025-05-20 09:56:50 #引理,群论,包含证明的条目

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

相关

  • 阿克苏姆方尖碑阿克苏姆方尖碑(今天在阿克苏姆,又称为罗马石碑)是一根有1,700年历史,高24米的花岗岩方尖碑,重160吨。它的基座有两个假门,各面都有类似窗口的装饰。其顶部为半圆形。阿克苏姆方尖
  • 白霜杯伞白霜杯伞(学名:Clitocybe dealbata),俗称象牙漏斗(ivory funnel)和出汗蘑菇(sweating mushroom),属于口蘑科杯伞属,是一种于欧洲及北美洲广泛地生长在草坪和草地的真菌。白霜杯伞体形
  • 汉医汉医学,是起源于汉民族的传统医学,现代的中国大陆人和台湾人多称其为“中医学”。其理论与技术最早是由汉民族所奠定以及发展的,并伴随中国在亚洲数千年以来的政治和文化上的影
  • 塞尔维亚救国政府解体 · 内战塞尔维亚救国政府(德语:Gebiet des Militärbefehlshabers in Serbien)是在第二次世界大战中,纳粹德国通过1941年4月的入侵南斯拉夫之战肢解了南斯拉夫王国,在其中
  • 半开前不圆唇元音半开前不圆唇元音是母音的一种,用于一些语言当中,国际音标以⟨ɛ⟩代表此音,而X-SAMPA音标则以⟨E⟩代表此音。表内成对的元音分别为不圆唇/圆唇。
  • 德国启蒙运动美学德国启蒙运动美学主要局限在文化思想领域,不像法国那么激进,他们的思想带有抽象思辩性质,脱离实际,具有向往古希腊文化的色调,美学作为独立一门学科是在这时期产生的。
  • 上江户上江户(日语:江戸上り),是对琉球国派往日本江户幕府的使团的统称,包括庆贺使和谢恩使。1609年萨摩入侵琉球,琉球成为江户幕府萨摩藩的附庸国。此后,每当琉球王位更替的时候,不仅要向
  • 亨利二世 (英格兰)亨利二世(短斗篷)(Henry II Curmantle,1133年3月5日-1189年7月6日)是英格兰国王(1154年—1189年在位),他也是法国的诺曼底公爵(1150年起)、安茹伯爵(1151年起)和亚奎丹公爵(1152年起)。他所
  • 勒拿高原勒拿高原是俄罗斯的高原,位于萨哈共和国和伊尔库茨克州的中西伯利亚高原东南面,全长约750公里,平均海拔高度450至500米,每年平均降雨量约350至450毫米。
  • 徐辉祖徐辉祖像,取自《三才图会》徐辉祖(1368年-1407年),初名允恭,明朝开国功臣徐达长子,母谢氏,以嫡子袭封魏国公。徐允恭身高八尺五寸,英俊潇洒还有才气。在明太祖时期已在左军都督府任职