基本介紹
- 中文名：特殊線性群
- 外文名：special linear group
- 別名：麼模群
- 領域：代數
- 性質：一般線性群
- 相似群：酉群。正交群。辛群
概念介紹,群,子群,典型群,一般線性群,相關群,酉群,辛群,正交群,
概念介紹
特殊線性群亦稱麼模群。是一般線性群的一個重要的子群。對A∈GLn(K)，若矩陣A-I的秩是1並且(A-I)=0，則稱A為平延。GLn(K)中所有的平延生成一個正規子群，稱為K上n次特殊線性群，記為SLn(K)。SLn(K)也可由全體形如I+λEij(i≠j，λ∈K)的初等矩陣生成，這裡Eij表示第(i，j)元素為1，其餘元素為0的n×n矩陣。當K交換時，SLn(K)就是GLn(K)中行列式為1的全體矩陣組成的子群。除SL2(F2)外，SLn(K)是GLn(K)的換位子群。
群
群是一種只有一個運算的、比較簡單的代數結構；是可用來建立許多其他代數系統的一種基本結構。
設G為一個非空集合，a、b、c為它的任意元素。如果對G所定義的一種代數運算“·”(稱為“乘法”，運算結果稱為“乘積”)滿足：
(1)封閉性，a·b∈G;
(2)結合律，即(a·b)c = a·(b·c);
(3)對G中任意元素a、b，在G中存在惟一的元素x，y，使得a·x= b，y·a=b，則稱G對於所定義的運算“·”構成一個群。例如，所有不等於零的實數，關於通常的乘法構成一個群;時針轉動(關於模12加法)，構成一個群。
滿足交換律的群，稱為交換群。
群是數學最重要的概念之一，已滲透到現代數學的所有分支及其他學科中。凡是涉及對稱，就存在群。例如，可以用研究圖形在變換群下保持不變的性質，來定義各種幾何學，即利用變換群對幾何學進行分類。可以說，不了解群，就不可能理解現代數學。
子群
如果群G的非空子集合H對於G的運算也成一個群，那么H稱為G的子群。
子群是群的特殊的非空子集。群G的非空子集H，若對G的乘法也成為群，則稱H為G的子群，記為H≤G。若子群H≠G，則稱H為G的真子群，記為HG或簡記為H<G。任何一個非單位元群G至少有兩個子群，G自身以及由單位元e作成的單位元群{e}(或用{1}或1表示)，稱它們為G的平凡子群。不是平凡子群的子群稱為非平凡子群。群G的非空子集H為G的子群的充分必要條件是：對任意的a，b∈H，恆有ab∈H.若{Hi|i∈I}是G的子群的集合，I是一個指標集，則所有Hi的交Hi是G的一個子群。
典型群
典型群是一類重要的群。一般線性群、酉群、辛群、正交群，以及它們的換位子群、對中心的商群等統稱為典型群。實數域和複數域上的典型群是李群的重要例子，它們的構造及表示在李群理論、幾何學、多複變函數論以至物理學中都起著重要作用。迪克森(Dickson，L.E.)通過對有限域上典型群的構造的研究得到了一大批有限單群.這是繼交錯群之後人們發現的又一批重要的有限單群系列。經過謝瓦萊(Chevalley，C.)的工作進一步擴展為有限李型單群的系列後，為有限單群分類的最後完成奠定了一個重要基礎。迪厄多內(Dieudonné，J.)將迪克森的工作加以推廣，通過研究任意體上的典型群的構造也得到了大量的單群。迪厄多內、施賴埃爾(Schreier，O.)、范·德·瓦爾登(Van der Waerden，B.L.)、華羅庚、萬哲先等對研究典型群的構造、自同構及同構作出了重要貢獻。
