在數學中，特別是在群論中，李型群這一短語通常指的是與在有限體中取值的約化線性代數群的有理點群密切相關的有限群。李型群這一短語並沒有一個被廣泛接受的精確定義，但李型有限單純群的重要集合卻有一個精確的定義，它們構成了有限單純群中的大部分群。

之所以稱為李型群，是因為它們與（無限）李群關係密切，因為一個緊李群可以看作是實數場上的一個約化線性代數群的一些有理點。Dieudonné (1971) 和 Carter (1989) 是李型群的標準參考文獻。

 



古典群

這個問題最早的解決方案來自 Jordan (1870) 對有限體和其他體上所謂的「經典群」的定義和詳細研究。雷奧那德・尤金・迪克遜和讓・迪厄多內研究了這些群。埃米爾・阿廷研究了這些群的階，試圖藉此分類重合的情況。

粗略地說，古典群就是特殊線性群、正交群、辛群和么正群。更細緻地說，其實還包括它們的換位子群和中心商群（即一個群對其中心的商群）。其中後者即為所謂的射影線性群，而這種群可以在有限體（或者任何其他體）上構造，方法與在實數體上構造的方式大致相同。這樣構造出來的群對應謝瓦萊群和斯坦伯格群中的 An , Bn , Cn , Dn , 2An 和 2Dn。



謝瓦萊群

謝瓦萊群可以認為是有限體上的李群。代數群理論和 Chevalley （1955）關於李代數的工作闡明了與之相關的理論，藉此「謝瓦萊群」的概念得以獨立。謝瓦萊為所有的復單李代數（或者更確切地說是它們的泛包絡代數）構造了對應的謝瓦萊基（一種具有整性的基底）。而謝瓦萊基可以用於在整數環上構造相應的代數群，特別地，謝瓦萊基也可以在有限體中取值。對於李代數 An , Bn , Cn , Dn ，這會給出眾所周知的古典群，但這樣的構造還能給出與例外李代數 E6 , E7, E8 , F4 和 G2 有關的群。其中 G2 型的群（有時稱為_迪克森群_）和 E6 型的群在此之前已由 Dickson (1905) 和 Dickson (1901) 構造。



斯坦伯格群

謝瓦萊的構造沒有給出全部的古典群：它不包括么正群和非分裂正交群 (non-split orthogonal groups)。Steinberg (1959) 找到了謝瓦萊的構造的一個改進，這個改進的方法構造出了上述的群，以及兩族新的群：3D4 和 2E6。其中 2E6 也由 Tits (1958) 從另一個角度發現。這個構造將么正群的常規構造從一般線性群中推廣出來。

么正群的構造方式如下：複數體上的一般線性群具有通過反轉 An 的登金圖（相當於對元素取其轉置的逆）得到的圖自同構，以及通過取複共軛得到的體自同構，而這兩者是可交換的。這兩個自同構的乘積的的不動點構成的群即為么正群。

同樣的，許多的謝瓦萊群有著由登金圖的自同構給出的圖自同構，以及由有限體的自同構給出的體自同構。用與么正群類似的方法，斯坦伯格通過取體自同構和圖自同構之積的不動點構造出了幾族群。
分別是：


* _么正群_ 2An , 來源於 An 的 2 階自同構；

* _正交群_ 2Dn , 來源於 Dn 的 2 階自同構；

* 新的系列 2E6 , 來源於 E6 的 2 階自同構；

* 新的系列 3D4 , 來源於 D4 的 3 階自同構。

3D4 型的群在實數體上沒有相似物，這是由於複數不存在 3 階自同構。 D4 的對稱性中同樣出現了三重性。



鈴木 - 李群

Suzuki （1960）(鈴木通夫) 找到了一個的由無窮個群組成的新的群的系列。這個新的群列乍看上去與已知的代數群沒有什麼關聯。Ree （1960, 1961）(李林學) 已經知道代數群 B2 有一個「額外的」2 階自同構， 其平方即為弗比尼斯自同態。他發現如果一個特徵為 2 的有限體也有一個自同構，其平方為弗比尼斯映射，那麼就可以通過與斯坦伯格的構造相似的方法構造出鈴木群。而一個體具有符合上述條件的自同構，若且唯若其階為 22_n_+1，與之對應的群即為鈴木群

　
: 2B2(22_n_+1) = Suz(22_n_+1).

（群 Suz (2) 不是單純群，因而嚴格地說不算是鈴木群。它是階為 20 的弗比尼斯群）

李林學進而構造出了兩個新的單純群族:

　
: 2F4(22_n_+1) 和 2G2(32_n_+1)。

這主要依靠了這一個事實: F4 和 G2 各有一個階分別為 2 和 3 的額外的自同構。（粗略地說，如果有限體的特徵為 _p_，那麼當討論登金圖的圖自同構時，可以忽略 _p_ 重邊的箭頭，即認為 _p_ 重邊其是無方向的。）2F4 型群中最小的一個 2F4(2) 並不是單純群，但是其指數為 2 的中心化子群則是單純群，稱為_蒂茨群_（以數學家雅克・蒂茨的名字命名）。 2G2 型群中最小的一個 2G2(3) 也不是單純群，但其有一個指數為 3 的單子群，體 A 1(8) 同構。在有限單純群分類中，李群 2G2(32_n_+1) 是最難明確其結構的一部分。這些群在第一個現代散在單純群的發現中也起到作用。它們有著 Z/2Z × PSL(2, _q_) 型的對合中心化子（其中 _q_ = 3n ），正是通過研究具有類似於 Z/2Z × PSL (2, 5) 型的對合中心化子的群，揚科找到了散在單純群 _J_1。

鈴木群是僅有的階不能被 3 整除非對稱有限單純群，其階為 22(2_n_+1)(22(2_n_+1) + 1)(2(2_n_+1) − 1)。



與有限單純群的聯繫

僅次於循環群，對稱群和交錯群，有限李型群是數學家很早就在研究的一種群。在 19 世紀 30 年代，埃瓦里斯特・伽羅瓦就通過質數體上的射影一般線性群構造出了 PSL (2, _p_) 。對有限李型群的系統性研究始於卡米爾・若爾當的定理，即射影一般線性群 PSL (2, _p_) 在 _q_ ≠ 2, 3 時是單純群。將該定理推廣到高次的射影群上，我們便得到一個重要的有限單純群族 PSL (_n_, _q_)。至於其他的古典群，則是由迪克遜在 20 世紀初研究的。在 20 世紀 50 年代謝瓦萊意識到，許多與半單李代數有關的理論，經過恰當的重新闡述後，都可以類比到任意的體 _K_ 上的代數群上，進而導出現在所謂的 "謝瓦萊群" 的構造。此外，與緊李單純群的情況類似，這樣的構造對應得到的群，作為抽象群，幾乎是單的（"蒂茨單性定理"）。儘管自 19 世紀以來，人們已經認識到有其他的有限單純群存在（例如馬蒂厄群）, 然而有一種信念在逐漸形成，那就是：幾乎所有的有限單純群，都可以被解釋為對謝瓦萊的構造的適當延伸，以及循環群和交錯群。此外，上述中的例外，即所謂散在單純群 (有限單純群分類 #散在群)，與有限李型單純群有許多共同點；特別地，它們可以根據它們的蒂茨幾何來構造和刻畫。

這個信念如今化為了一個定理 —— 有限單純群分類定理。通過觀察有限單純群的列表，我們可以發現，李型單純群是除循環群，交錯群，蒂茨群和散在單純群外僅有的單純群。



較小的李型群

一般而言，與單連通的單代數群的自同態相關的的有限群都是單純群的泛中心擴張（universal central extension），所以其既是完滿群，也有平凡的舒爾乘子。然而這些群列中最小的幾個群可能並不是完滿的，或者有大於 "預期" 的舒爾乘子。

不完滿的情況包括：


* A1(2) = SL (2, 2) 可解，階為 6 (實為 3 次對稱群)

* A1(3) = PSL (2, 3) 可解， 階為 12 （實為 4 次交錯群）

* 2A2(4) 可解

* B2(2) 不完滿 ，但是其與 6 次對稱群同構，所以其有指數為 2，階為 360，且單的換位子群。

* 2B2(2) = Suz (2) 可解，階為 20（實為一個弗比尼斯群）

* 2F4(2) 不完滿，但其換位子群指數為 2 且為單純群 (蒂茨群)。

* G2(2) 不完滿，但其指數為 2，階為 6048 的換位子群為單純群。

* 2G2(3) 不完滿，但其指數為 3，階為 504 的換位子群為單純群。

完滿但是舒爾乘子大於預期的情況包括：


* A1(4) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 而不是 1。

* A1(9) 的舒爾乘子有額外的 Z/3Z, 所以其舒爾乘子階為 6 而不是 2。

* A2(2) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 而不是 1。

* A2(4) 的舒爾乘子有額外的 Z/4Z × Z/4Z, 所以其舒爾乘子階為 48 而不是 3。

* A3(2) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 為而不是 1。

* B3(2) = C3(2) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 而不是 1。

* B3(3) 的舒爾乘子有額外的 Z/3Z, 所以其舒爾乘子階為 6 而不是 2。

* D4(2) 的舒爾乘子有額外的 Z/2Z × Z/2Z, 所以其舒爾乘子階為 4 而不是 1。

* F4(2) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 而不是 1。

* G2(3) 的舒爾乘子有額外的 Z/3Z, 所以其舒爾乘子階為 3 而不是 1。

* G2(4) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 而不是 1。

* 2A3(4) 的舒爾乘子有額外的 Z/2Z, 所以其舒爾乘子階為 2 而不是 1。

* 2A3(9) 的舒爾乘子有額外的 Z/3Z × Z/3Z, 所以其舒爾乘子階為 36 而不是 4。

* 2A5(4) 的舒爾乘子有額外的 Z/2Z × Z/2Z, 所以其舒爾乘子階為 12 而不是 3。

* 2E6(4) 的舒爾乘子有額外的 Z/2Z × Z/2Z, 所以其舒爾乘子階為 12 而不是 3。

* 2B2(8) 的舒爾乘子有額外的 Z/2Z × Z/2Z, 所以其舒爾乘子階為 4 而不是 1。

在較小的李型群（和交錯群）中存在著不少令人困惑的「偶然」同構。例如 SL (2, 4) ,PSL (2, 5) 和 5 次交錯群都是同構的。

對於這些異常的完整列表參見有限單純群列表。這其中的許多特殊性質與散在單純群有關。

交錯群有時表現得像是在一元體上的李型群。一些較小的交錯群也有著額外的性質：一般情況下交錯群的外自同構群的階為 2，然而六次交錯群有著 4 階的自同構群（交錯群 #自同構群）。交錯群的舒爾乘子的階通常為 2，但 6 次和 7 次交錯群則有 6 階的舒爾乘子。



符號問題

有限李型群沒有一套標準的符號，並且現在的文獻中已經有了一籮筐的符號系統，它們互不相容且容易混淆。


* 單純群 PSL (_n_, _q_) ，與群 PSL (_n_, Fq) —— 即代數群 PSL (_n_) 在 Fq 中取值得到的群，通常是不一樣的。問題在於，對於兩個代數群之間的滿射（例如 SL (_n_) → PSL(_n_) ），其誘導出的，兩個代數群在（非代數閉）體上取值對應得到的群之間的映射，不一定是滿的。這樣的問題也存在於其他在有限體中取值的代數群中。

* An−1 型群有時表示為 PSL (_n_, _q_)（射影特殊線性群）或 _L_(_n_, _q_)。

* Cn 型群有時表示為 Sp (2_n_, _q_)（辛群），或（極易混淆地）表示為 Sp (_n_, _q_)。

* Dn 型群 (「正交群」) 的符號格外容易混淆。其使用的符號包括 O (_n_, _q_) , _O_−(_n_, _q_) , PSO(_n_, _q_) 和 Ωn(_q_)，然而有關的約定實在太多，導致如果沒有明確的說明，就很難準確地指出這些符號到底對應哪個群。而這一切的根源就在於，這種單純群即不是正交群 O ，也不是射影特殊正交群 PSO（射影特殊正交群），而是 PSO 的子群，因此其沒有經典的符號。一個極其討人厭的陷阱就是，一部分作者，比如 ATLAS， 不是用 O (_n_, _q_) 表示正交群，而是用來表示對應的單純群。讓・迪厄多內引入了 Ω , PΩ ，然而當 _n_ ≤ 4 時他所定義的群並不是單的，所以這些符號也被用於指代另一些稍有不同的群，在 _n_ ≥ 5 時這兩種指代方式是一致的，但在低維時則不然。

* 對於斯坦伯格群，一部分作者使用符號 2An(_q_2)（以此類推），而另一部分使用 2An(_q_)。其背後的問題在於，構造這個群的過程用到了兩個體：一個階為 _q_2 的體，和其階為 _q_ 的穩定子體。關於到底哪一個體應該出現在符號中，不同的人有不同的看法。 「2An(_q_2)」的邏輯性和一致性更強，而「2An(_q_)」則更常見，也更符合代數群的慣例。

* 還有一點，不同的作者常常有分歧，那就是：諸如 An(_q_) 這樣的符號是簡單地指向代數群，還是指與其相關的單純群。舉個例子，An(_q_) 既可以指特殊線性群 SL (_n_+1, _q_) ，也可以指射影特殊線性群 PSL (_n_+1, _q_) ，因此 2A2(4) 可以指代四個不同的群，這取決於作者。

 

 

 



參考條目


* 李群

* 李代數

* 古典群

* 有限單群分類

 



腳註

原文注

譯者注



參考文獻

> 
> 該部分的許多連結對應到的英文條目沒有其對應的漢語條目。
> 
> 


* Carter, Roger W., Simple groups of Lie type, Wiley Classics Library, New York: John Wiley & Sons, 1989 [1972], ISBN 978-0-471-50683-6, MR 0407163

* Chevalley, Claude, Sur certains groupes simples, The Tohoku Mathematical Journal, Second Series, 1955, 7 (1–2): 14–66, ISSN 0040-8735, MR 0073602, doi:10.2748/tmj/1178245104

* Dickson, Leonard Eugene, Theory of Linear Groups in An Arbitrary Field, Transactions of the American Mathematical Society (Providence, R.I.: American Mathematical Society), 1901b, 2 (4): 363–394, ISSN 0002-9947, JSTOR 1986251, doi:10.1090/S0002-9947-1901-1500573-3 , Reprinted in volume II of his collected papers

* Dickson, Leonard Eugene, A class of groups in an arbitrary realm connected with the configuration of the 27 lines on a cubic surface, The Quarterly Journal of Pure and Applied Mathematics, 1901, 33: 145–173, Reprinted in volume 5 of his collected works

* Dickson, L. E., A new system of simple groups, Math. Ann., 1905, 60: 137–150, S2CID 179178145, doi:10.1007/BF01447497  Leonard E. Dickson reported groups of type G2

* Dieudonné, Jean A., La géométrie des groupes classiques 3rd, Berlin, New York: Springer-Verlag, 1971 [1955], ISBN 978-0-387-05391-2, MR 0310083

* Jordan, Camille, Traité des substitutions et des équations algébriques, Paris: Gauthier-Villars, 1870

* Ree, Rimhak, A family of simple groups associated with the simple Lie algebra of type (G2), Bulletin of the American Mathematical Society, 1960, 66 (6): 508–510, ISSN 0002-9904, MR 0125155, doi:10.1090/S0002-9904-1960-10523-X

* Ree, Rimhak, A family of simple groups associated with the simple Lie algebra of type (F4), Bulletin of the American Mathematical Society, 1961, 67: 115–116, ISSN 0002-9904, MR 0125155, doi:10.1090/S0002-9904-1961-10527-2

* Steinberg, Robert, Variations on a theme of Chevalley, Pacific Journal of Mathematics, 1959, 9 (3): 875–891, ISSN 0030-8730, MR 0109191, doi:10.2140/pjm.1959.9.875

* Steinberg, Robert, Lectures on Chevalley groups, Yale University, New Haven, Conn., 1968, MR 0466335, （原始內容存檔於 2012-09-10）

* Suzuki, Michio, A new type of simple groups of finite order, Proceedings of the National Academy of Sciences of the United States of America, 1960, 46 (6): 868–870, Bibcode:1960PNAS...46..868S, ISSN 0027-8424, JSTOR 70960, MR 0120283, PMC 222949 , PMID 16590684, doi:10.1073/pnas.46.6.868

* Tits, Jacques, Les "formes réelles" des groupes de type E6, Séminaire Bourbaki; 10e année: 1957/1958. Textes des conférences; Exposés 152 à 168; 2e èd. corrigée, Exposé 162 15, Paris: Secrétariat math'ematique, 1958, MR 0106247