
【计】 Burnside's lemma
Bern; Berne
contest; game; match; surpass
heart; mind; morals; virtue
lemma
伯恩赛德引理(Burnside's Lemma),在群论和组合数学中是一个用于计数群作用下轨道数目的重要工具。它指出,一个有限群 ( G ) 作用在一个有限集合 ( X ) 上时,其轨道(等价类)的数目等于群 ( G ) 中所有元素的不动点数的平均值。该引理以威廉·伯恩赛德命名,但实际由柯西和弗罗贝尼乌斯提出。
设群 ( G ) 作用于集合 ( X ),轨道数 ( N ) 的计算公式为: $$ N = frac{1}{|G|} sum_{g in G} |X^g| $$ 其中:
中文术语 | 英文术语 | 定义描述 |
---|---|---|
群作用 (Group Action) | Group Action | 群 ( G ) 对集合 ( X ) 的映射 ( G times X to X ),满足结合律与单位元性质。 |
轨道 (Orbit) | Orbit | 集合 ( X ) 中元素在群作用下形成的等价类。 |
不动点 (Fixed Point) | Fixed Point | 在群元素 ( g ) 作用下保持不变的 ( X ) 中的元素。 |
稳定子群 (Stabilizer) | Stabilizer Subgroup | 固定某元素 ( x in X ) 的群 ( G ) 的子群 ( { g in G mid g cdot x = x } )。 |
尽管以伯恩赛德命名,该引理最早由柯西(1845)和弗罗贝尼乌斯(1887)独立提出。伯恩赛德在《有限群论》(1897)中推广了此结论,故得名。
参考资料:
伯恩赛德引理(Burnside's lemma)是群论和组合数学中的重要定理,主要用于计算在群作用下的不同等价类数目。以下是其核心要点:
核心思想
该引理通过统计群元素作用下集合中不动点的平均数量,来确定不同等价类的数量。其本质是将对称性引入计数问题,简化复杂对称结构的分类。
数学表达
设群 ( G ) 作用于集合 ( X ),等价类的数量(即轨道数)为:
$$
|X/G| = frac{1}{|G|} sum_{g in G} text{Fix}(g)
$$
其中:
以2×2方格涂色问题 为例(每个格子可选涂或不涂):
如需进一步了解具体推导或更多案例,可参考组合数学教材或群论相关文献。
鏖战巴伯尔氏法采购合同朝代冲流充填圈传入冲动醋酸去氢皮质醇大骨盆动态照相动物细胞短时性肿胀根管牙胶充填尖共同干涉古典经济学派接合螺栓开闭程序科兰伊氏听诊法昆布多醣煤的液化磨擦剂球棒恙螨属审判日石片油墨双精溜水平中心控制调变因素铁路旁交货通信流模式完好货物到达净价