
【計】 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方格塗色問題 為例(每個格子可選塗或不塗):
如需進一步了解具體推導或更多案例,可參考組合數學教材或群論相關文獻。
【别人正在浏覽】