伯恩赛德引理

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

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

相关

  • 亨利·沃兹沃思·朗费罗亨利·沃兹沃思·朗费罗(Henry Wadsworth Longfellow,1807年2月27日-1882年3月24日),美国诗人、翻译家。炉边诗人之一。其父亲是个律师,母亲尤爱诵读诗歌。他们养育了四男四女,亨利
  • 审判员推官,唐代设置,最早是节度使、观察使等官的属官,多掌理司法,不系京职,后期成为对法官的雅称。清末,改称推官为“推事”,民国初年仍称法官为“推事”。唐朝节度使、观察使、团练使、
  • 桃园国际机场公司航空科学馆坐标:25°04′14″N 121°13′25″E / 25.070671°N 121.223627°E / 25.070671; 121.223627桃园国际机场股份有限公司航空科学馆,是台湾桃园市大园区的航空博物馆,简称桃园国
  • 圣路易斯轻轨圣路易斯轻轨(英语:MetroLink) ,是服务美国圣路易斯都会区的轻轨系统,沟通河西岸的圣路易斯市,圣路易斯县和伊利诺伊州都会东区(Metro East)。该系统由“双州发展署”(英文:Bi-State D
  • 沈家门沈家门是中国著名的渔港,位于舟山岛东端。舟山市普陀区政府目前驻在该港城。在历史上很长一段时间内,沈家门都是舟山第一大城镇,直到定海城关,凭借市府所在地的优势,在约1990年代
  • 尼古拉·帕夫洛维奇·拉维奥罗夫尼古拉·帕夫洛维奇·拉维奥罗夫(俄语:Николай Павлович Лавёров,1930年1月12日-2016年12月27日),苏联及俄罗斯地质学家、地球化学家。苏联部长会议副主席
  • 弗兰基谢克·莫拉维克弗兰基谢克·莫拉维克(František Moravec,1939年-)是捷克寄生虫学家,专攻线虫病。莫拉维克于1939年1月1日在捷克斯洛伐克共和国奥洛穆茨州的大比斯特日采出生。他在奥洛穆茨接受
  • 安藤利吉安藤利吉(日语:安藤 利吉/あんどう りきち, 1884年4月3日-1946年4月19日)为宫城县出身之日本陆军军人。最终阶级陆军大将。旧制宫城县第二中学校1回、陆军士官学校16期。陆军大学
  • 菅原道真菅原宁茂 菅原景行 菅原景鉴(? - 908年) 菅原淳茂(?- 926年) 菅原旧风 菅原弘茂 菅原兼茂 菅原宣茂 菅原淑茂 菅原滋殖菅原尚子 (尚侍・尚膳) 菅原宁子 (尚侍、齐世亲王室) 菅原
  • 圣若瑟·本笃·科托伦戈圣若瑟·本笃·科托伦戈(意大利语:Giuseppe Benedetto Cottolengo,1786年5月3日-1842年4月3日),意大利都灵天主圣意小家(意大利语:Piccola casa della Divina Provvidenza)(Little Hou