一般線性群的一類極大子群

袁 靜，楊橋艷

(1.安陽師范學院 數學與統計學院，河南安陽 455000;2.保山學院數學學院，云南保山 678000）

1 簡介

設F是一個有限域，V是F上的n維線性空間.定義一般線性群為.

則當取定V的一組基V

1

，V

2

，…，V

n

之后，V的任一線性變換在這個基下是唯一確定的可逆方陣，于是GL(V）中每個可逆線性變換就與F上的一個n階可逆方陣一一對應.F上的全體n階可逆方陣構成一個群，記為GL(n，F），稱為一般線性群.顯然，GL(n，F）與 GL(V）同構.此外，GL(n，F）中行列式等于1的全體矩陣構成GL(n，F）的一個正規子群，記作 SL(n，F）.令 Ω ={＜v＞|v∈V{0}}，其中 ＜v＞表示v生成的子空間.

為了敘述的方便，下面我們給出群作用的一些基本的定義，可見參考文獻［1］.

定義1.1 設 Δ ={α，β，…}是一個非空集合，其元素稱為點.SΔ表示Δ上的對稱群.所謂群G在Δ上的一個作用φ指的是G到SΔ的一個同態.即對每個元素x∈G，對應Δ上的一個變換

(2）SL(V）可由所有平延生成.

有以上準備工作之后，我們介紹本文的主要定理.

定理1.6 設V是有限域Fq上的n≥2維線性空間，G=GL(V）.若0?W?V是V的一個k維子空間，令，且Gw是G的極大子群.

注記:上述形如Gw的子群被稱為一般線性群的極大拋物子群，M.Aschbacher在文獻［3］中把典型群的極大子群分為九類，此類子群也被稱為C1類子群，是一類很重要的子群.

2 定理1.6的證明

由以上兩個引理，我們就完成了定理1.6的證明.

3 舉例及應用

已知交錯群A8與線性群GL(4，2）同構，證明可參見文獻［4，p41］，則我們可以應用本文的主要定理決定A8的極大拋物子群.

［1］徐明曜，有限群導引上冊［M］，科學出版社，1999.

［2］Grove L.C.，Classical groups and geometric algebra［M］.American Mathematical Soc.，2002.

［3］Aschbacher M.，On the maximal subgroups of the finite classical groups［J］，Inventiones mathematicae，1984，76(3）:469－514.

［4］Huppert B.，Endliche gruppen I［M］.Springer－ Verlag，2013.

［5］Conway H.，Curtis R.T.，Norton S.P.，et al.Atlas of Finite Groups［J］.Oxford University Press，1985.