Pure Mathematics
Vol.07 No.05(2017), Article ID:21747,5
pages
10.12677/PM.2017.75046
Maximal Subgroups Containing Root Subgroups in Linear Groups over Commutative Ring
Xin Hou*, Shangzhi Li
School of Mathematics and Systems Science, Beihang University, Beijing
*通讯作者。
Received: Aug. 3rd, 2017; accepted: Aug. 17th, 2017; published: Aug. 21st, 2017
ABSTRACT
The maximality of three types of subgroups containing root subgroups in linear groups is verified in this paper. And the possible types of maximal subgroups containing root subgroups in linear groups over commutative ring are discussed.
Keywords:Maximal Subgroups, Root Subgroups, Linear Groups, Commutative Ring
交换环上线性群中含根子群的极大子群
侯欣*,李尚志
北京航空航天大学数学与系统科学学院,北京
收稿日期:2017年8月3日;录用日期:2017年8月17日;发布日期:2017年8月21日
摘 要
本文验证了交换环上线性群中三种含根子群的子群的极大性,并讨论了交换环上线性群中含根子群的极大子群的可能类型。
关键词 :极大子群,根子群,线性群,交换环
Copyright © 2017 by authors and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY).
http://creativecommons.org/licenses/by/4.0/
1. 引言
典型群的极大子群是群论研究的一个重要课题。作为一类特殊的极大子群,含根子群的极大子群也得到了广泛的研究。文献 [1] 中作者给出了域上线性群中含根子群的几类子群的极大性证明,并证明了域上线性群中含根子群的极大子群必属于这几类极大子群之一。辛群中含根子群的极大子群的研究可参见 [2] [3] [4] 。酉群中含根子群的极大子群的研究可参见 [5] [6] 。正交群中含根子群的极大子群的研究可参见 [7] 。本文主要研究交换环上线性群中含根子群的极大子群。
设是含幺交换环,
,
分别是
上的一般线性群和特殊线性群。设
是单位阵,
表示第
位置为1,其余位置为0的
阶方阵,一般线性群
中的所有初等平延
生成一个子群,它是
的一个子群。事实上,域
上有
。容易验证
也是的一个子群,我们把这样的子群以及它们在
中的共轭子群称为根子群。
设是
的极大理想,则
是域。对每个
,定义
为所在的模
的同余类,则
是环同态。设,对每个
定义
. (*)
则
是群同态。对任意正整数,
,记
.
则同态核
本文的主要结论如下:
定理1.1设是含幺交换环,
,如果以下子群
与
生成
,则
及其在
中的共轭都是
的含根子群的极大子群。特别地,
及其共轭是
的含根子群的极大子群。
1),
,
2),
,
,
3),
,
.
定理1.2设是含幺交换环,
是
的子群,
是
中含根子群的极大子群,则
是以下两种类型之一:
1) 存在的某个极大理想
,使
是域
上线性群
的极大子群。当
时,
一定是定理1的3类子群之一。
2) 对的每个极大理想都有
,
且是
的极大子群。
2. 定理的证明
在定理1.1的证明中,我们要先用群同态来映到域
上处理。所以我们先介绍域上的相关结论。从 [1] 定理1以及 [8] 定理3.6.1、3.7.2a容易得出以下引理。
引理2.1设,如果以下子群
与
生成
,则
及其在
中的共轭都是
的含根子群的极大子群。特别的,
及其共轭是
的含根子群的极大子群。
1),
,
2),
,
,
3),
,
.
反过来,时,
中不包含
的任一含根子群的极大子群必为上面所列子群之一。
注记文献 [1] 定理1以及 [8] 定理3.7.2a中第2类极大子群中有两个例外情形,很显然两个例外情形不满足“与
生成
”这一假设,不在我们讨论之列。
下面,我们依次来给出本文两个定理的证明。
定理1.1的证明设是
的极大理想,定义
如(*)式,它的同态核
,设
的子群
真包含
,则
真包含
,由引理2.1知,
是
的极大子群,因此有
.
对每个,有
,
因而存在使得
.
这时有
,
.
包含
及
,从而包含它们的乘积
,这说明了
中所有的
。从而
。这证明了
是
的极大子群。
证毕。
定理1.2的证明设是
的极大理想,定义
如(*)式,首先,考虑到
的每个根子群
在群同态下的象为
,
它是的根子群。因此
是
的含根子群的子群。如果存在
的真子群
真包含
,则
是的真子群且真包含
,与
的极大性矛盾。
因此只有两种可能的情形:情形1.是
的极大子群;情形2.
。
情形1. 如果不包含
,此时
与
生成
,则
是的真子群且包含
,与
的极大性矛盾。因此,此时
。当
时,由引理2.1知
是
的3类极大子群之一,于是
是定理1.1所说的3类子群之一。
情形2.。
对每个,存在
使得
,
从而
,
.
如果,则由
包含
及
可知
包含它们的乘积
。这导致
,与
是
的极大子群矛盾。因此
不能包含
,
是
的真子群。如果存在
的真子群
真包含
,则
是
的真子群且真包含
,与
的极大性矛盾。这迫使
是
的极大子群。
证毕。
注记我们猜想情形2中的极大子群
具有以下形式:
,
其中,是
中真包含于
的某个极大理想。此结论有待探究。
文章引用
侯 欣,李尚志. 交换环上线性群中含根子群的极大子群
Maximal Subgroups Containing Root Subgroups in Linear Groups over Commutative Ring[J]. 理论数学, 2017, 07(05): 363-367. http://dx.doi.org/10.12677/PM.2017.75046
参考文献 (References)
- 1. 李尚志. 中几类极大子群[J]. 数学学报, 1983, 26(5): 613-621.
- 2. 李尚志, 查建国. 射影辛群 中几类极大子群[J]. 中国科学(A辑) , 1982(6): 3-7.
- 3. Li, S. (1987) Maximal Subgroups Containing Short-Root Subgroups in . Acta Mathematica Sinica, 3, 82- 91. https://doi.org/10.1007/BF02564948
- 4. 李尚志, 查建国. 中含长根子群的极大子群系[J]. 数学研究与应用, 1985, 5(2): 45-48.
- 5. 李尚志, 查建国. 有限域上射影特殊酉群的几类极大子群[J]. 中国科学(A辑), 1982(2): 125-131.
- 6. 李尚志. 中含根子群的极大子群[J]. 中国科学(A辑), 1986, 29(5): 632-641.
- 7. 李尚志. 中含根子群的极大子群[J]. 中国科学(A辑), 1985, 15(3): 193-205.
- 8. 李尚志. 典型群的子群结构[M]. 上海: 上海科学技术出版社, 1998.