包含在PSU3(q)中几乎单群(q为奇素数方幂).pdf

数 学 年 刊 2013，34A(2)：139—146 包含在PSU3(q)cP的几乎单群 (q为奇素数方幂)木 丁 士锋 提要 应用置换群的理论列出包含在 PSUa(q)(q为奇素数的方幂)中的几乎单的子群 关键词 PSU3(q)，几乎单的子群，非局部子群 MR (2000)主题分类 20B05，20E32 中图法分类 O152．1 文献标志码 A 文章编号 1000—8314(2013)02—0139—08 1 引 言 设 ()表示和有限域 上 tI维线性空间相联系的典型群．当 tI≥13时，文 1【] 给出了Cn(K)的极大子群的结构．当礼13时，文 [2】给出了 ()的子群性质的一 般性描述．在群与有限几何等研究领域，有时需要知道某个典型群的全部子群来进行相 关研究，例如，借助于PSL2(g)，PSU3(2)，PSL3(q)的子群列表或极大子群列表 [3--5]，进 行与这些子群有关的研究工作 [6-s]．但对于群 PSU3(q)(q是奇素数的方幂)，因为缺少类 似的子群列表，相关的研究迟迟没有展开． 本文将 PSU3(q)的子群分为局部的和非局部的．设 1GPSU3(口)，如果 G以某 个非平凡初等 Abel群作为正规子群，则 G称为局部子群，否则，G称为非局部子群． 文 f5]证明了PSU3(q)的非局部子群都是几乎单群．本文的目的是列出包含在 PSU3(q) (q是奇素数的方幂)中的几乎单的子群．主要结果叙述如下． 定理 1．1 设 q=P 是奇素数的方幂，G是 PSU3(q)的非局部子群．则 G是几乎 单群，且 G的结构由下表给出： G 的结构 注 记 G PSU3(p”、 百m(1)是奇数，P 2 G PSU3(p”)． 器(≥1)是奇数且3l(P”+1)，P 2 G PGL2(p)或 PSL2 ) 礼Im，P”3 G A6，M10或 7 q=5 ，m是奇数 G A5 q三1(mod10) G A6 (15，q)=1，、／／5∈GF(q)，、／／一3 GF(q) G PSL2(7) (7，q)=1，、／一7 GF(q) 并且，如果 ，m，仃)满足表中右边注记的条件，则左边相应的子群G必出现． 文中符号解释如下：用 一表示域 GF(q。)的对合 自同构，即对 ∈GF(q。)，定义 瓦= 。；用 z表示SU3(q)的中心，Z的阶记为d，熟知d=(3，g+1)；用x，Y，… 等粗体 本文2011年 1月7日收到，2012年 1O月26 日收到修改稿． 中南大学数学与统计学院，长沙410083．E-mail：isgibt@yahoo．com．an 本文受到国家 自然科学基金 (No的资助． 数 学 年 刊 34卷 A辑 字母表示 2阶或 3阶可逆矩阵，如果 X=(aij)，则定义 =(石 )；用 [X]表示 PSU3(q) 中的元素，即 [X]=Y[】甘Y，X ∈SU3(q)且 XY_1∈Z． 设 H为GL3(q。)中的Hermite矩阵 (即丽 =H)，由GL3(g。)中满足XHX =H的 矩阵 x组成的群记为 U(H，q)，相应的特殊酉群记为 SU(H，q)．与 H相联系的是射影平 面中的迷向点和非迷向点．在域 GF(q)上的三维空间中，设V=(，，)是非零向量， 由V生成的一维线性空间记为 (”)．如果 V是非零向量且满足 H西=0，则 (V)称为迷向 点，否则 (V)称为非迷向点． 熟知GL3(q)中Hermite矩阵彼此等价，因而也将 U(H，q)，SU(H，q)分别记为U3(q) 和 SU3(q)．文中常取Hermite矩阵H为以下形式：