群論階數計算機

群論階數計算機

群論階數計算機是一個用於研究有限群的交互式工具：它可以計算每個元素的階數，檢測群是否為阿貝爾群以及是否為循環群，將 Cayley 乘法表渲染為按元素階數著色的熱圖，並將完整的子群格繪製為 Hasse 圖。它支持初等代數課程中最常見的四類群族：循環群 Z_n、直積群 Z_m × Z_n、二面體群 D_n 和對稱群 S_n。

什麼是元素的階數？

給定一個單位元為 e 的有限群 G，元素 g ∈ G 的階數（記作 |g| 或 ord(g)）是滿足以下條件的最小正整數 k：

等價地，g 的階數是它所生成的循環子群的大小：|⟨g⟩| = ord(g)。拉格朗日定理保證 ord(g) 總是能整除 |G|，因此對於階數為 12 的群，可能的元素階數為 1, 2, 3, 4, 6 和 12。

常見群的閉式公式

循環群 Z_n

在模 n 加法運算下，元素 k 的階數為：

此類群總是循環群（由 1 生成），且生成元的數量等於歐拉函數 φ(n)。

直積群 Z_m × Z_n

直積群是循環群（因此同構於 Z_mn）當且僅當 gcd(m, n) = 1。這就是群論形式的中國剩餘定理。例如，Z₃ × Z₅ ≅ Z₁₅，但 Z₂ × Z₄ ≇ Z₈。

二面體群 D_n

D_n 有 2n 個元素：n 個旋轉 r^k 和 n 個反射 s·r^k。元素階數遵循簡單的模式：

每個反射都是一個對合（階數為 2）。當 n ≥ 3 時，D_n 是非阿貝爾群。

對稱群 S_n

置換的階數等於其不相交循環分解中各循環長度的最小公倍數：

S_n 的階數為 n!，且當 n ≥ 3 時是非阿貝爾群。

Cayley 表如何編碼一切

Cayley 表是群的乘法表：第 a 行、第 b 列的條目是乘積 a · b。從群公理中可以得出三個優雅的性質：

• 拉丁方陣 — 每一行和每一列都是群元素的置換（每個元素恰好出現一次）。
• 對角線對稱等價於該群為阿貝爾群。
• 單位元對角線 — 當且僅當第 i 行元素的階數為 1 或 2 時，對角線條目 A[i][i] 等於單位元。

在此計算機中，單元格按結果元素的階數著色，因此您可以一眼看出結構模式。例如，在循環群中，各行是彼此的循環移位 — 呈現出視覺上引人注目的彩虹色。

子群格

G 的所有子群構成的集合，按包含關係排序，形成一個格（在序理論意義上）。我們將其繪製為 Hasse 圖：底端是平凡子群 {e}，頂端是全群 G，只要 K ⊂ H 是覆蓋關係（即兩者之間沒有其他子群），就連一條邊 H → K。格圖揭示的關鍵事實：

應用實例 — D₄，正方形對稱群

作用在正方形上的階數為 8 的二面體群有八個元素：e, r, r², r³（旋轉）和 s, sr, sr², sr³（反射）。工具得出：

• 階數序列： 1, 4, 2, 4, 2, 2, 2, 2 — 旋轉中心 r² 是唯一的非平凡中心元素。
• 非阿貝爾群： s · r ≠ r · s。
• 非循環群： 沒有元素的階數為 8。
• 10 個子群排列成獨特的 "D₄ 格"：一個 1 階，五個 2 階，三個 4 階（一個循環群 ⟨r⟩，兩個克萊因四元群），一個 8 階。
• 三個正規子群： {e, r²}、⟨r⟩，以及兩個克萊因四元子群。三個 2 階反射子群不是正規的。

如何使用此計算機

1. 使用標籤選擇群族： 循環群、直積群、二面體群或對稱群。
2. 輸入參數。 Z_n、D_n 和 S_n 輸入一個整數 n；直積群輸入 m 和 n。
3. （可選）查詢元素： 在突出顯示欄位中輸入元素 — 例如 Z₁₂ 輸入 8，直積群輸入 (1,2)，D_n 輸入 r^2 或 s·r^3，或 S_n 輸入 (1 2 3)。工具將顯示其階數及其生成的循環子群。
4. 點擊分析群。 您將獲得 Cayley 表（按階數著色）、階數分佈柱狀圖、包含每個元素及其階數的可滾動列表，以及帶有懸停檢查詳情的子群格 Hasse 圖。
5. 懸停在格節點上可查看其元素、生成元以及是否為正規子群。懸停在 Cayley 單元格上可查看產生該結果的行和列。

此版本的限制

• 循環群 Z_n：n ≤ 120。
• 直積群 Z_m × Z_n：m · n ≤ 144。
• 二面體群 D_n：n ≤ 20 (|D_n| ≤ 40)。
• 對稱群 S_n：n ≤ 5 (|S₅| = 120)。
• Cayley 表僅針對階數 ≤ 24 的群渲染。
• 完整的子群格僅針對階數 ≤ 60 的群計算。

常見應用

• 抽象代數課程 — 檢查關於元素階數、拉格朗日定理和子群列舉的作業。
• 密碼學 — 模質數乘法群是循環群；元素階數 ord(g) 決定了 Diffie–Hellman 密鑰交換的安全性。
• 晶體學和化學 — 二面體群描述了分子和晶面的旋轉對稱性。
• 組合數學 — 對稱群用於計數置換，應用於 Burnside 引理和 Pólya 計數定理。
• 物理學 — 點群、李群以及量子力學中的對稱性論證都始於此計算機所展現的有限群直觀認知。

常見問題解答

什麼是群中元素的階數？

在有限群 G 中，元素 g 的階數是使 g^k 等於單位元的最小正整數 k。根據拉格朗日定理，每個元素的階數都能整除群的階數。

如何計算 Z_n 中元素的階數？

對於模 n 加法的循環群 Z_n，元素 k 的階數是 n / gcd(n, k)。例如，在 Z₁₂ 中，元素 8 的階數為 12 / gcd(12, 8) = 12 / 4 = 3。

群在什麼時候是循環群？

一個有限群是循環群，當且僅當它包含一個階數等於群階數的元素。每個階數為 n 的循環群都同構於 Z_n。直積群 Z_m × Z_n 是循環群，當且僅當 gcd(m, n) = 1。

什麼是 Cayley 表？

Cayley 表是一個正方形乘法表，列出了每一對群元素的乘積。第 a 行和第 b 列的條目是乘積 a · b。Cayley 表的每一行和每一列都是群元素的置換 — 這一性質被稱為拉丁方陣性質。

什麼是子群格？

有限群 G 的子群格是 G 的所有子群按包含關係排序的偏序集。繪製成 Hasse 圖後，可以輕鬆查看哪些子群包含在哪些子群中，並識別正規子群或主系列。

為什麼 S₃ 同構於 D₃？

這兩個群的階數均為 6，且具有相同的元素階數多重集（一個階數為 1 的元素，兩個階數為 3 的元素，三個階數為 2 的元素）。等邊三角形的六種對稱性 — 三個旋轉加三個反射 — 精確地對應於其三個頂點的六種置換，因此這兩個群在抽象意義上是同一個群。在此計算機中同時生成這兩個群，您將看到子群格完全一致。

延伸閱讀

• 階數 (群論) — 維基百科
• Cayley 表 — 維基百科
• 子群格 — 維基百科
• 二面體群 — 維基百科
• 對稱群 — 維基百科