1. 引言
本文涉及到的群均为有限群,所使用的符号和术语是标准的,见文献 [1] 。假设群H作用在群N上,相应的半直积为
,
其中的运算为
。方便起见,我们视
,从而
且
,在此约定下有
。我们把群G的自同构群记为
。研究半直积的自同构群的
结构是群论中一个热点和难点问题,目前得到了一些丰富的结果,其中一个有效的方法是将自同构群分解成若干个结构较为简单的子群的乘积。Bidwell和Curran在文献 [2] 中引入了“矩阵表示”这种较为直观的研究方法,得到了可裂亚循环
-群的自同构群的结构分解。进一步,用这种方法计算了可裂亚循环2-群的自同构群,见文献 [3] 。
称半直积
的自同构
为稳定自同构,如果
可正规化N,即
。记G的所有稳定自同构构成的集合为
,
显然是
的一个子群,称为该半直积的稳定自同构群。本文中我们得到了有限群的半直积的自同构群的结构分解,将其分解成正规子群的稳定子群与特殊子群的乘积,是前期相关结果 [4] [5] 的延续。
设
是群G到其自身的一个映射,令
,则映射
唯一确定了四个映射
,我们将
记为:
.
令
,
,
,
,
不难验证
均为
的子群。可以看出
。
本文首先给出自同构的矩阵表示的概念,进而得到一些结构较为简单的子群的描述,给出了半直积
的自同构群 的有效判据,可替代文献 [2] 和 [3] 中的复杂计算。在文献 [6] 中,当N是循环群时,我们给出了
的结构性质。
2. 主要结论
方便起见,我们引入下述概念:
设
,如果
,即
也是N在G中的一个补子群,则称
关于该半直积是可分的,在不引起混淆的情况下,简称
是可分的。当
时,易知
是H的自同态。不难验证
,故
为可分的自同构当且仅当
。由于本文只考虑有限群,所以
可分等价于说
。如果G的每个自同构都是可分的,则称半直积
是可分的。
引理1.1设
那么
当且仅当对任意的
,
且
。特别地,当N是交换群时,则
当且仅当
是
可分的。
证明 若对任意
,
均有
且
,则从
所满足的一般条件
[1] ,可得
,
。
按照矩阵的乘法公式,我们有
,
迫使等式右边第一个矩阵只能是自同构,因此属于
,导致
,这就证明了所需结论
。
反之,若
,则任意
均有如下分解:
,
但
而
,故
且
。
下述是本文主要结论,给出了半直积的自同构群具有正规化分解的一个有效判据。
定理1.2设
,p为素数,如果下述条件成立:
1)
,其中
为循环群,
2)
为交换群,其中
,
3)
,
4) 若
,则
包含P的所有p阶元素;若
,则P与Q没有同构的直因子。
5)
,
则
。
证明根据条件(2),因为N是交换群,根据引理1.1,只需要证G的每个自同构
均为可分的即可。注意到P和
均为N的特征子群,故可被H正规化。特别地,Q正规化P,记
,显然
。再根据条件(3)可知
,故
。由于
正规化
,所以
是群。显然Q正规化
,而P可中心化
,故
可正规化
,故
。
现在设
为包含映射,而
为自然投射,即对任意
,
,令
,显然 为单同态而
为满同态。我们令
为合成映射,则
也是群同态:
。进而,如果
使得
,因
,故
,即
。但x为p-元,故
也为p-元,然而
是
-群,所以
,即
,表明
,故
为单同态,进而
。
根据条件(5),
迫使
,同理得
,即
,从而
。注意到自然投射
在
上的限制为恒等映射,而
并且
,所以
.
但我们已证
,如果能证得半直积
可分,推出
,即
也可分。
以下证明半直积
是可分的。若否,则存在某个
使得
不是Q的自同构。但
是群同态,而我们只考虑有限群,故
不是Q到自身的满同态。任取
,
,按定义有
,因
为满射,故
取遍Q的所有元素,表明
。但
,而Q为循环的p群,熟知其有唯一的极大子群,导致
,即
是满同态。令
,
对任意
,我们有
,比较两边Q中元素得到
,即
。由于
不是满射,故
也不是满射,进一步
也不是满射。但已证
是满射,从而
不能是满射,故
也不是单射。
虽然
未必是同态,但是满足 [1] 中引理2.1的条件(4),即
。按通常方式,我们定义
。一方面从
可推出
,说明
对乘法封闭,可知
是P的子群。另一方面,由
又可推出
当且仅当
,即
,由此表明
为单射当且仅当
。但上段已证得
不是单射,所以
。
如果
满足
,按定义
,但
是
的自同构,只有
,由此推出
,由于
满足 [1] 中引理2.1的条件(5),故对任意
,
,均有
。但Q为循环群,故
,又因为
为同态,故
,所以
。至此我们证明了
。
如果
,根据条件(4)可知
包含P的所有p阶元素,自然也包含
中的p阶元,这将会导致
,该矛盾表明
是可分的。
如果
,则
为直积,按照条件(4),P与Q没有同构的直因子,此时
是可分的,从而
也是可分的,仍然得到所需的矛盾。至此我们完成了证明。
3. 应用
下面两个结论是定理1.2的直接应用,给出了两种半直积的自同构群的结构分解。由于
,
显然
[6] ,即为从H到
的所有导子构成的加法群,但是导子群的结构一般是很难确定的。如果H是循环群,则
也是循环群,便可给出
的精确构造,见文献 [7] 。
推论2.1设
,p为素数,H是循环p群,N为交换且其Sylowp-子群P循环,当
时进一步假设
,则
。
推论2.2设
,H和N都是循环p群,p为任意素数,但G是非交换群,则
。
基金项目
山西省自然科学基金:基于模块化分类的矩阵填充算法恢复蛋白质结构研究(202103021223328);太原师范学院研究生教育教学研究课题(编号SYYJSJG-2120)。