李型群

群論
	;
	群
基本概念
	子群 · 正規子群 · 商群 · 群同態 · 像 · (半)直積 · 直和; 單純群 · 有限群 · 無限群 · 拓撲群 · 群概形 · 循環群 · 冪零群 · 可解群 · 圈積
離散群
	有限單群分類 ; 循環群 Zn ; 交錯群 An ; 李型群; 散在群; 馬蒂厄群 M11..12,M22..24; 康威群 Co1..3 ; 揚科群 J1..4 ; 費歇爾群（英語：Fischer group）F22..24; 子魔群（英語：sub monster group） B; 魔群 M; 其他有限群; 對稱群, Sn; 二面體群, Dn; 無限群; 整數, Z; 模群, PSL(2,Z) 和 SL(2,Z);
連續群
	李群; 一般線性群 GL(n); 特殊線性群 SL(n); 正交群 O(n); 特殊正交群 SO(n); 么正群 U(n); 特殊么正群 SU(n); 辛群 Sp(n); G2 F4 E6 E7 E8; 勞侖茲群; 龐加萊群;
無限維群
	共形群; 微分同胚群 ; 環路群 ; 量子群 ; O(∞) SU(∞) Sp(∞);
代數群
	橢圓曲線; 線性代數群（英語：Linear algebraic group）; 阿貝爾簇（英語：Abelian variety）
	閱; 論; 編;

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

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

古典群

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

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

謝瓦萊群

謝瓦萊群可以認為是有限體上的李群。代數群理論和 Chevalley （1955）關於李代數的工作闡明了與之相關的理論，藉此「謝瓦萊群」的概念得以獨立。謝瓦萊為所有的復單李代數（英語：Simple Lie algebra）（或者更確切地說是它們的泛包絡代數）構造了對應的謝瓦萊基（英語：Chevalley basis）（一種具有整性的基底）^{[譯者注 1]}。而謝瓦萊基可以用於在整數環上構造相應的代數群，特別地，謝瓦萊基也可以在有限體中取值。對於李代數 A_n , B_n , C_n , D_n ，這會給出眾所周知的古典群，但這樣的構造還能給出與例外李代數E₆ , E₇, E₈ , F₄ 和 G₂ 有關的群。其中 G₂ 型的群（有時稱為迪克森群）和 E₆ 型的群在此之前已由Dickson (1905)和Dickson (1901)構造。

斯坦伯格群

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

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

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

么正群 ²A_n , 來源於A_n的2階自同構；
正交群 ²D_n , 來源於D_n的2階自同構；
新的系列 ²E₆（英語：2E6 (mathematics)） , 來源於E₆的2階自同構；
新的系列 ³D₄（英語：3D4） , 來源於D₄的3階自同構。

³D₄ 型的群在實數體上沒有相似物，這是由於複數不存在3階自同構。^{[需要解釋]} D₄ 的對稱性中同樣出現了三重性（英語：triality）。

鈴木-李群

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

²B₂(2²ⁿ⁺¹) = Suz(2²ⁿ⁺¹).

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

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

²F₄(2²ⁿ⁺¹) 和 ²G₂(3²ⁿ⁺¹)。

這主要依靠了這一個事實: F₄ 和 G₂ 各有一個階分別為2和3的額外的自同構。（粗略地說，如果有限體的特徵為 p，那麼當討論登金圖的圖自同構時，可以忽略 p 重邊的箭頭，即認為 p 重邊其是無方向的。）²F₄ 型群中最小的一個²F₄(2) 並不是單純群，但是其指數為2的中心化子群則是單純群，稱為蒂茨群（英語：Tits group）（以數學家雅克·蒂茨的名字命名）。 ²G₂ 型群中最小的一個 ²G₂(3) 也不是單純群，但其有一個指數為3的單子群，體A ₁(8) 同構。在有限單純群分類中，李群^{[譯者注 2]} ²G₂(3²ⁿ⁺¹) 是最難明確其結構的一部分。這些群在第一個現代散在單純群的發現中也起到作用。它們有著 Z/2Z × PSL(2, q) 型的對合中心化子（其中 q = 3ⁿ ），正是通過研究具有類似於 Z/2Z × PSL(2, 5) 型的對合中心化子的群，揚科找到了散在單純群 J₁。

鈴木群是僅有的階不能被3整除非對稱有限單純群，其階為 2^2(2n+1)(2^2(2n+1) + 1)(2⁽²ⁿ⁺¹⁾ − 1)。

與有限單純群的聯繫

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

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

較小的李型群

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

不完滿的情況包括：

A₁(2) = SL(2, 2) 可解，階為6 (實為3次對稱群)
A₁(3) = PSL(2, 3) 可解，階為12 （實為4次交錯群）
²A₂(4) 可解
B₂(2) 不完滿，但是其與6次對稱群同構，所以其有指數為2，階為360，且單的換位子群。
²B₂(2) = Suz(2) 可解，階為20（實為一個弗比尼斯群）
²F₄(2) 不完滿，但其換位子群指數為2且為單純群(蒂茨群（英語：Tits group）)。
G₂(2) 不完滿, 但其指數為2，階為6048的換位子群為單純群。
²G₂(3) 不完滿, 但其指數為3，階為504的換位子群為單純群。

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

A₁(4) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2而不是1。
A₁(9) 的舒爾乘子有額外的Z/3Z, 所以其舒爾乘子階為6而不是2。
A₂(2) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2而不是1。
A₂(4) 的舒爾乘子有額外的Z/4Z × Z/4Z, 所以其舒爾乘子階為48而不是3。
A₃(2) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2為而不是1。
B₃(2) = C₃(2) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2 而不是1。
B₃(3) 的舒爾乘子有額外的Z/3Z, 所以其舒爾乘子階為6而不是2。
D₄(2) 的舒爾乘子有額外的Z/2Z × Z/2Z, 所以其舒爾乘子階為4而不是1。
F₄(2) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2而不是1。
G₂(3) 的舒爾乘子有額外的Z/3Z, 所以其舒爾乘子階為3而不是1。
G₂(4) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2而不是1。
²A₃(4) 的舒爾乘子有額外的Z/2Z, 所以其舒爾乘子階為2而不是1。
²A₃(9) 的舒爾乘子有額外的Z/3Z × Z/3Z, 所以其舒爾乘子階為36而不是4。
²A₅(4) 的舒爾乘子有額外的Z/2Z × Z/2Z, 所以其舒爾乘子階為12而不是3。
²E₆(4) 的舒爾乘子有額外的Z/2Z × Z/2Z, 所以其舒爾乘子階為12而不是3。
²B₂(8) 的舒爾乘子有額外的Z/2Z × Z/2Z, 所以其舒爾乘子階為4而不是1。

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

對於這些異常的完整列表參見有限單純群列表（英語：List of finite simple groups）。這其中的許多特殊性質與散在單純群有關。

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

符號問題

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

單純群 PSL(n, q) ，與群 PSL(n, F_q) —— 即代數群 PSL(n) 在 F_q 中取值得到的群，通常是不一樣的。問題在於，對於兩個代數群之間的滿射（例如 SL(n) → PSL(n) ），其誘導出的，兩個代數群在（非代數閉）體上取值對應得到的群之間的映射，不一定是滿的。這樣的問題也存在於其他在有限體中取值的代數群中。
A_n−1 型群有時表示為 PSL(n, q)（射影特殊線性群）或 L(n, q)。
C_n 型群有時表示為 Sp(2n, q)（辛群），或（極易混淆地）表示為 Sp(n, q)。
D_n 型群(「正交群」)的符號格外容易混淆。其使用的符號包括 O(n, q) , O⁻(n, q) , PSO(n, q) 和 Ω_n(q)，然而有關的約定實在太多，導致如果沒有明確的說明，就很難準確地指出這些符號到底對應哪個群。而這一切的根源就在於，這種單純群即不是正交群 O ，也不是射影特殊正交群（英語：projective special orthogonal group） PSO（射影特殊正交群），而是 PSO 的子群^{[原文注 2]}，因此其沒有經典的符號。一個極其討人厭的陷阱就是，一部分作者，比如ATLAS（英語：ATLAS of Finite Groups），不是用O(n, q) 表示正交群，而是用來表示對應的單純群。讓·迪厄多內引入了 Ω , PΩ ，然而當 n ≤ 4 時他所定義的群並不是單的，所以這些符號也被用於指代另一些稍有不同的群，在 n ≥ 5 時這兩種指代方式是一致的，但在低維時則不然。^{[原文注 2]}
對於斯坦伯格群，一部分作者使用符號 ²A_n(q²)（以此類推），而另一部分使用 ²A_n(q)。其背後的問題在於，構造這個群的過程用到了兩個體：一個階為 q² 的體，和其階為 q 的穩定子體。關於到底哪一個體應該出現在符號中，不同的人有不同的看法。「²A_n(q²)」的邏輯性和一致性更強，而「²A_n(q)」則更常見，也更符合代數群的慣例。
還有一點，不同的作者常常有分歧，那就是：諸如 A_n(q) 這樣的符號是簡單地指向代數群，還是指與其相關的單純群。舉個例子，A_n(q) 既可以指特殊線性群 SL(n+1, q) ，也可以指射影特殊線性群 PSL(n+1, q) ，因此 ²A₂(4) 可以指代四個不同的群，這取決於作者。

參考條目

腳註

原文注

^ mathoverflow - Definition of 「finite group of Lie type」?
^ ^2.0 ^2.1 ATLAS（英語：ATLAS of Finite Groups）, p. xi

譯者注

^ 原文為「a sort of integral form but over finite fields」，然而謝瓦萊基與有限體並無直接關聯（其本身就是復單李代數的嘉當-外爾基的特例），疑為筆誤，故修改。
^ 此處的「李群」不是指「Lie group」，而是指以加拿大籍韓裔數學家Rimhak Ree（李林學）的名字命名的「Ree group」。

參考文獻

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

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 [2023-01-22], S2CID 179178145, doi:10.1007/BF01447497, （原始內容存檔於2023-01-22） Leonard E. Dickson reported groups of type G₂
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 [2023-01-22], （原始內容存檔於2016-03-04）
Ree, Rimhak, A family of simple groups associated with the simple Lie algebra of type (G₂), 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 (F₄), 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 [2023-01-22], ISSN 0030-8730, MR 0109191, doi:10.2140/pjm.1959.9.875 , （原始內容存檔於2020-06-28）
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 E₆, 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 [2023-01-22], MR 0106247, （原始內容存檔於2023-01-22）

[1] thoverflow - Definition of 「finite group of Lie type」?

[atlasxi-4] 2.0 ^2.1 ATLAS（英語：ATLAS of Finite Groups）, p. xi

[2] 原文為「a sort of integral form but over finite fields」，然而謝瓦萊基與有限體並無直接關聯（其本身就是復單李代數的嘉當-外爾基的特例），疑為筆誤，故修改。

[3] 此處的「李群」不是指「Lie group」，而是指以加拿大籍韓裔數學家Rimhak Ree（李林學）的名字命名的「Ree group」。

[原文注 1]

[譯者注 1]

[譯者注 2]

[原文注 2]