凱萊表

**凱萊表**，以 19 世紀英國數學家阿瑟・凱萊命名，通過在正方形表格中排列一個群的所有元素的所有可能乘積來描述有限群的結構，這讓人想起了加法或乘法表。群的很多性質，比如是否為阿貝爾群，哪個元素是哪個元素的逆元，和群的中心的大小和內容，都可以通過檢查它的凱萊表來輕易得出。

凱萊表的一個簡單例子是群 {1, -1} 在普通的乘法下的表格:

## 歷史

凱萊表是在凱萊 1854 年的論文《On The Theory of Groups, as depending on the symbolic equation θn = 1》中首次提出的。在這個論文中，它們被簡單的稱為表格並只被用做展示，後來為了紀念其創造者而叫做了凱萊表。

## 結構和格局

因為很多凱萊表描述不是阿貝爾群的群，對於所有這個群中的 _a_ 和 _b_，關於群的二元運算的乘積 _ab_ 不保證等於 _ba_ 的乘積。為了避免混淆，約定了在表格的每一行中所有格內的第一個因子 (凱萊的術語為「近因子」) 都是相同的，而在每一列中所有格內的第二個因子 (「遠因子」) 是相同的，比如下面的例子:

　
:

凱萊最初設置的表格把單位元放在首位，排除了上表中對對單獨的行與列表頭的需要。例如，它們不出現在下列表格中:

　
:

在這個循環群 Z3 的例子中，_a_ 是單位元，因此出現表格的左上角。容易看出 _b_2 = _c_ 和 _cb_ = _a_。儘管如此，多數現代課本和本文都為了明確性而包含了行與列的表頭。

## 性質和用途

### 交換律

凱萊表告訴我們一個群是否為阿貝爾群。因為阿貝爾群的群運算是符合交換律的，阿貝爾群的凱萊表是沿著對角線對稱的。上述的 3 階的循環群和 {1, -1} 在普通乘法下的群都是阿貝爾群，可以通過檢查其凱萊表的對稱性來驗證。作為對照，最小的非阿貝爾群 6 階二面體群沒有對稱的凱萊表。

### 結合律

因為結合律被作為了群的公理，在處理群的凱萊表的時候它總是可以保證。但是凱萊表還可以用來刻畫擬群的運算，它不把結合律假定為公理 (實際上，凱萊表可以用來刻畫任何有限原群的運算)。不幸的是，一般不可能象交換律那樣通過簡單查看凱萊表來確定一個運算是否符合結合律。這是因為結合律依賴於 3 項等式 $(ab)c=a(bc)$ ，而凱萊表展示的是兩項乘積。

### 置換

因為消除性質對於群 (甚至於擬群) 是成立的，凱萊表的行與列中，任何元素都只能出現一次。所以表的每行與列都是這個群內的所有元素的置換。這極大的限定了那種凱萊表可以令人信服的定義有效的群運算。

要看出為什麼行或列不能包含相同的元素兩次，設 _a_, _x_ 和 _y_ 都是群的元素，而 _x_ 和 _y_ 是不同的。接著有一行表示元素 _a_，對應於 _x_ 的列包含乘積 _ax_，類似的對應於 _y_ 的列包含乘積 _ay_。如果這兩個乘積相等，就是說我們假設的行 _a_ 包含相同的元素兩次，則 _ax_ 將等於 _ay_。但是因為消除律成立，我們可以得出結論出如果 _ax_ = _ay_，則 _x_ = _y_。導致了矛盾。所以我們的假設不正確，行不能包含相同的元素。完全同樣的證明足以證明列的情況，所以我們推出結論每行與列都不包含一個元素多於一次。因為群是有限的，鴿籠原理保證群的每個元素在每行與列中精確的出現一次。因此，凱萊表是拉丁方陣的例子。

## 構造凱萊表

由於群的結構，你可能要經常填充缺少元素的凱萊表，甚至對所考慮的群運算都沒有完整的刻畫。例如，由於每行與列必須包含這個群中的所有元素，如果所有元素都要放入其中一次，而只有一個空位，在不知道關於群的任何其他事情的時候，未被放置的那個元素必定占據這個空位。關於群的這個和其他觀察一般允許我你們對所考慮的群知之甚少就能構造出這些群的凱萊表。

### 有限群的「單位元構架」

因為在任何群中，即使在非阿貝爾群中，所有元素都是與它自己的逆元可交換的，這可以得出單位元在凱萊表中針對表的對角線對稱分布。正好處在對角線上的單位元表示對應的元素是自身的逆元。

由於凱萊表的行與列的次序實際上是任意的，如下排序方式是很方便的：開始於群的單位元，它總是自身的逆元，首先列出是自身的逆元的所有元素，隨後相互毗連的列出互逆元素對。

接著對於特定次序下的有限群，很容易刻畫出它的「單位元架構」，這麼命名是因為單位元在凱萊表中沿主對角線聚集，要麼直接在其上，要麼錯開一個位置。

證明有不同的單位元構架的群不能同構是相對平凡的，但逆命題不成立 (比如，循環群 _C8_ 和四元群 _Q_ 不同構但有相同的單位元構架)。

考慮帶有元素 _e_, _a_, _b_, _c_, _d_ 和 _f_ 的 6 元素的群。按慣例，_e_ 是群的單位元。因為單位元總是自身的逆元，而逆元是唯一的，群中有 6 個元素的事實意味著至少有一個非 _e_ 元素必須是自身的逆元。所以有下列可能的構架:

* 所有元素都是自身的逆元，
* _a_, _b_ 和 _c_ 是自身的逆元，_d_ 與 _f_ 互逆。
* _a_ 是自身的逆元，_b_ 與 _c_ 互逆，_d_ 與 _f_ 互逆。

在我們的特定例子中，不存在第一種類型的 6 階群，實際上，簡單的因為特定的單位元構架可以被構想出來，但不一般性的意味著存在對應的群。值得注意 (可平凡證明) 所有元素都是自身逆元的任何群都是阿貝爾群。

### 填充單位元構架

一旦特定的單位元構架確定，就有可能開始填充出凱萊表。例如，選取上述第二種類型的 6 階群的單位元構架:

　
:

明顯的，_e_ 行與 _e_ 列可以立即填充。完成後，可能需要 (在這里是必須的) 做一個假定，它可能在後來導致一個矛盾，簡單的意味著最初的假定是錯的。我們假定 _ab_ = _c_。那麼:

　
:

左乘 _a_ 於 _ab_ = _c_ 得到 _b_ = _ac_。再右乘 _c_ 得到 _bc_ = _a_。右乘 _b_ 於 _ab_ = _c_ 得到 _a_ = _cb_。左乘 _b_ 於 _bc_ = _a_ 得到 _c_ = _ba_，再右乘 _a_ 得到 _ca_ = _b_。在填充這些乘積入表格之後，我們發現 _ad_ 和 _af_ 在 _a_ 行中仍未觸及；因為我們知道群的每個元素必須在每行中精確的出現一次，只有 _d_ 和 _f_ 還未處理，我們知道 _ad_ 必須等於 _d_ 或 _f_；但是它不能等於 _d_，因為如果這樣將蘊含 _a_ 等於 _e_，而它們是不同的。因此我們有了 _ad_ = _f_ 和 _af_ = _d_。

進一步的，因為 _d_ 的逆元是 _f_，右乘 _f_ 於 _ad_ = _f_ 得出 _a_ = _f_2。再左乘 _d_ 得出 _da_ = _f_。再右乘 _a_ 得出 _d_ = _fa_。

填充入所有這些乘積，凱萊表變為:

　
:

由於每行都必須出現群的所有元素精確的一次，容易看出在 _b_ 行的兩個空位必須被 _d_ 或 _f_ 占據。但是，如果你檢查包含這兩個空位的列，也就是 _d_ 和 _f_ 列，就會法相 _d_ 和 _f_ 已經在二者中被填充過了，這意味著無論如何 _d_ 和 _f_ 都不能放入行 _b_ 中，它們總是違反置換規則。由於我們的代數演繹直到此時都是可靠的，我們只能得出早先基礎假定 _ab_ = _c_ 事實上是錯誤的的結論。本質上，我們猜測並猜測錯了。但我們知道了: _ab_ ≠ _c_。

唯一剩下的兩種可能性是 _ab_ = _d_ 或 _ab_ = _f_；我們期望這兩個猜測有相同結果，即不別同構之異時，因為 _d_ 和 _f_ 是互逆的，表示它們的字母固然的可以互換。所以不失去一般性的假定 _ab_ = _d_。如果我們再次導致一個矛盾，那麼我們就要假定沒有 6 階群有這種單位元構架了，因為我們窮盡了所有可能性。

下面是它的凱萊表:

　
:

左乘 _a_ 於 _ab_ = _d_ 得到 _b_ = _ad_。右乘 _f_ 得 _bf_ = _a_，左乘 _b_ 得到 _f_ = _ba_。右乘 _a_ 得到 _fa_ = _b_，左乘 _d_ 得到 _a_ = _db_。把這些乘積填入凱萊表中 (新增加的為紅色):

　
:

因為 _a_ 行缺少 _c_ 和 _f_ 並且因為 _af_ 不能等於 _f_(否則 _a_ 就會等於 _e_，而它們是不同的)，我們可以得出 _af_ = _c_。左乘 _a_ 得出 _f_ = _ac_，右乘 _c_ 得出 _fc_ = _a_。左乘 _d_ 得出 _c_ = _da_，右乘 _a_ 得出 _ca_ = _d_。類似的，右乘 _d_ 於 _af_ = _c_ 得到 _a_ = _cd_。更新表格，新加入的使用藍色:

　
:

因為 _b_ 行缺少 _c_ 和 _d_，並且因為 _bc_ 不能等於 _c_，得出 _bc_ = _d_，因此 _bd_ 必須等於 _c_。右乘 _f_ 得出 _b_ = _cf_，左乘 _c_ 得到 _cb_ = _f_。通過類似的方式還可得出 _c_ = _fb_ 和 _dc_ = _b_。填充入表格 (最新增的使用綠色):

　
:

因為 _d_ 行只缺少 _f_，我們得知 _d_2 = _f_，因此 _f_2 = _d_。我們已經設法填充了整個表格而沒有得到任何矛盾，我們已經發現了一個 6 階群：檢查顯示它是非阿貝爾群。這個群事實上是最小的非阿貝爾群，二面體群 D3:

　
:

## 推廣

上述性質依賴於某些群公理的有效性。自然會考慮其他代數結構比如半群、擬群和原群的凱萊表，而上述某些性質就不成立了。

## 引用

* Cayley, Arthur. _On the theory of groups, as depending on the symbolic equation θn = 1_, Philosophical Magazine, Vol. 7, pp. 40-47. Available on-line at Google Books as part of his collected works.（頁面存檔備份，存於網際網路檔案館）
* Cayley, Arthur. _On the Theory of Groups_, American Journal of Mathematics, Vol. 11, No. 2 (Jan 1889), pp. 139-157. Available at JSTOR.

## 參見

* 拉丁方陣