1. 前言
设群G是作用在有限集合Ω上的传递置换群。G在Ω上的次轨道定义为点稳定子
在集合Ω上的轨道,这里
。次轨道的个数称为群G作用在Ω上的秩,次轨道的长度则称为群G的次级数。若G是作用在Ω上的有限本原群,则针对群G的秩和次级数的研究有很长的历史,这些研究主要集中在秩和次级数较小的情形,这方面国内外很多学者已经得出了一些非常好的结果。易知传递置换群G的秩为2当且仅当群G是2-传递群。随着单群分类定理的产生,有限2-传递置换群的结构已经完全清楚。因此对有限本原群的秩的研究主要考虑秩 ≥ 3的情形。
对秩为3的有限传递群G,早期的工作参看Higman的综述文章 [1]。这一问题的研究常常是和传递置换群的次轨道相结合。当次轨道长度较大时,这类问题研究的难度非常大。因此到目前为止的工作主要集中在次轨道长度 ≤ 5的情形。
一个本原置换群若有长度为1的非平凡次轨道时,则它一定是素数阶正则传递群;若一个本原置换群有长度为2的次轨道,它一定是奇素数阶的二面体群,具体过程参见( [2], Theorem 5)。当一个本原置换群有长度为3的次轨道时,群的结构变得很复杂,利用Sim [3] 的工作,Wong [4] 完成了对这类群的分类。当一个本原置换群有长度为4的次轨道时,群的结构就更加复杂。Sim [3] 和Quirin [5] 分别得到了部份结果,最终由王杰在文献 [6] 中利用有限单群分类定理完成了这类群的分类。在文献 [7] 中Li,Lu和Marusic结合3度4度对称图对具有长度为3和4的次轨道的本原群重新给出了完整的刻画。当一个本原置换群有长度为5的次轨道时,王杰在 [8] [9] 中得到了部分结果。最近(2018年)由Fawcett,Giudici,Li,Praeger等人在文献 [10] 中完成了对相应的本原群的分类。
近年来研究非本原传递群的相应问题也逐渐引起重视。在本篇文章中,我们构造一些利用圈积的乘积作用和某种非本原作用构造了一些传递置换群,并确定了它们的秩和次级数。
2. 预备知识
本节我们给出本文中要用到的置换群的一些基本概念和结果,关于置换群的更一般的内容参见Dixon的经典著作 [11]。
定义2.1 [11] 设G是一个群,Ω是一个非空集合,若对
,都对应Ω中一个元素
,并且满足下面两个条件:
1)
,其中1代表G中的单位元;
2)
,
则称群G在集合Ω上有一个作用,或称群G作用在集合Ω上。
定义2.2 [11] 设群G作用在Ω上,若G在Ω上只有一个轨道,即Ω本身,则称G为Ω上的传递群,否则称G为Ω上非传递群。
定义2.3 [11] 设群G传递作用在集合Ω上, ,Δ是Ω任意一个非空集合。若对任意的
,或者
,或者
,则称Δ是G的一个块。
显然单点集
和整个集合Ω都是群G的块,称它们为非平凡块。
定义2.4 [11] 设G传递作用在Ω上,如果G没有非平凡块,则称G为本原群。
定义2.5 [11] 给定群K,H。设存在同构映射
。此时定义K与H的半直积G为:
运算为
。
定义2.6 [11] 设
和
都是非空集合,用
,故
可以用
表示。
如果
是群,则
表示K的直积,设
,利用H在
的自然作用,可定义H在
上的一个作用如下,
对任意的
,设
,定义:
,其中
,
于是可做半直积
,称为K与H的圈积,记为
。
定义2.7 [11] 设群G传递作用在集合Ω上,则群G在
上诱导一个自然作用:
即群G在
上有一个作用。进而群G在
上有轨道。
设
为群G作用在
上的所有轨道,
称为群G的一个二元轨道(orbital)。其中
,
。
对每一个
以及
,令
易证
是点稳定子
作用在集合Ω上的轨道,称它为群G作用在集合Ω上的次轨道,并称群G的次级数为
。
定义2.8 [11] 当群G传递作用在集合Ω上时,群G在集合Ω上oribital的个数等于次轨道的个数,称它为群G的秩,次轨道的长度称为群G的次级数。
3. 传递置换群的秩和次级数
本篇文章的主要结论如下。
定理3.1群
和它的子群
,
,
非本原作用在m3个点上的秩均为6,且它们的次级数都为1,
,
,
,
,
。
证明 设
,令
,故
,而群
在集合Ω上的作用如下:
取
,则群
稳定点α的稳定子群为:
对于
,我们有
故群
的次级数为6,次级数为1,
,
,
,
,
。
现在考虑群
的子群
,
和
,它们作用在Ω上的关于点α的点稳定子与群
作用在Ω上的关于点α的点稳定子相同,自然就有相同的秩和次级数。
推论3.2群
的子群
非本原作用在m3个点上的秩为m + 3或m + 4。
证明 假设Δ,Ω,α的定义同定理3.1,且群
在集合Ω上的作用也同定理3.1,从而群
中稳定α的稳定子群也为L。
当m为偶数时,
。此时有
。
对于
,我们有
;
,
i共有
种取法;
;
,
i共有
种取法;
。
而当
时,我们有
,
所以L有2个长为1的轨道,
个长为2的轨道,2个长为
的轨道,
个长为
的轨道,1个长为
的轨道,1个长为
的轨道。从而群
作用在集合Ω上的秩为
,次级数为1,1,
,
,
,
,
,
。
当m为奇数时,
。此时有
。
现在考虑群
的次轨道的情况并计算它们的长度。
对于
,我们有
;
,
i共有
种取法;
;
,
i共有
种取法;
。
所以L有1个长为1的轨道,
个长为2的轨道,1个长为
的轨道,
个长为
的轨道,1个长为
的轨道,1个长为
的轨道。从而群
作用在集合Ω上的秩为
,次级数为1,
,
,
,
,
。
定理3.3 群
和它的子群
,
,
非本原作用在m3个点上的秩均为6,且它们的次级数都为1,
,
,
,
,
。
证明 设
,令
,故
,而群
在集合Ω上的作用如下:
取
,则群
稳定点α的稳定子群为:
对于
,我们有
,
,
,
,
。
故群
的次级数为6,次级数为1,
,
,
,
,
。
现在考虑群
的子群
,
和
,它们作用在Ω上的关于点α的点稳定子与群
作用在Ω上的关于点α的点稳定子相同,自然就有相同的秩和次级数。
推论3.4群
的子群
非本原作用在m3个点上的秩为m + 3或m + 4。
证明 假设Δ,Ω,α的定义同定理3.3,且群
在集合Ω上的作用也同定理3.3,从而群
中稳定α的稳定子群也为L。
当m为偶数时,
。此时有
。
对于
,我们有
;
,
i共有
种取法;
;
,
i共有
种取法;
。
而当
时,我们有
,
所以L有2个长为1的轨道,
个长为2的轨道,2个长为
的轨道,
个长为
的轨道,1个长为
的轨道,1个长为
的轨道。从而群
作用在集合Ω上的秩为
,次级数为1,1,
,
,
,
,
,
。
当m为奇数时,
。此时有
。
现在考虑群
的次轨道的情况并计算它们的长度。
对于
,我们有
;
,
i共有
种取法;
;
,
i共有
种取法;
。
所以L有1个长为1的轨道,
个长为2的轨道,1个长为
的轨道,
个长为
的轨道,1个长为
的轨道,1个长为
的轨道。从而群
作用在集合Ω上的秩为
,次级数为1,
,
,
,
,
。
定理3.5群
及它的子群
,
,
利用乘积作用作用在m3个点上的秩都为7,且它们的次级数均为1,
,
,
,
,
,
。
证明设
,
,定义
,则
。群
在集合Ω上的作用如下:
其中
,
,
,
。定义映射,
。可由[1,引理2.7]知,群
中稳定
的点稳定子为:
,则
则
,
,
,
,
,
,
。
故群
的秩为7,由上述证明易知
,
,
,
,
,
,
。因此群
的次级数为1,
,
,
,
,
,
。
现在考虑群
的子群
,
和
,它们通过乘积作用在Ω上的关于点
的点稳定子与群
作用在Ω上的关于点
的点稳定子相同,自然就有相同的秩和次级数。