1. 引言
正规子群的研究是有限群研究中重要的一部分,许多学者对子群的正规性进行推广。1939年O. Ore提出了拟正规子群的概念 [1] ,1962年O. Kegel将拟正规子群的概念进一步弱化得到S-拟正规子群的概念 [2] ,1998年A. Ballester-Bolinches和M. C. Pedraza-Aguilera提出了S-拟正规嵌入子群的概念并证明了G的每个Sylow子群的极大子群在G中是S-拟正规嵌入的,则G是超可解的 [3] 。2001年M. Asaad和A. A. Heliel将这个结果推广到包含所有超可解群类
的饱和群系
[4] ,之后在G的素数幂阶子群在G中是S-拟正规嵌入的假设下研究了G的结构 [5] [6] ,最近利用子群的S-拟正规嵌入性得到了有限群p-幂零性和超可解性的新刻画,推广了关于S-拟正规嵌入子群的一些已知结果 [7] 。
随着经典代数的迅速发展,形成了一门新的数学分支—模糊代数。1965年L. A. Zadeh给出了模糊子集的定义 [8] ,1971年A. Rosenfeld提出了模糊子群的定义 [9] ,1993年N. Ajmal和K. V. Thomas将拟正规性的概念推广到模糊集,证明了群的模糊子群是模糊拟正规的当且仅当它的所有水平子集是通常群论意义上的拟正规 [10] 。2011年李卫霞等重新定义了模糊Sylow子群的概念,进而定义了模糊S-拟正规子群的概念,讨论了其模糊商群的性质 [11] ,之后利用既约集合套理论引入了模糊S-拟正规子群的概念并研究其同态、同构性质 [12] 。2015年何利芳等利用既约集合套理论研究了模糊弱S-置换子群的概念及同态性质 [13] ,随后余敢华等利用既约集合套理论研究了模糊S-半置换子群的概念及同态性质且在模糊S-拟正规子群上获得了相应结论 [14] ,2017年王朗等利用Zadeh函数和集合套理论研究了模糊弱S-半置换子群两种定义的等价性及其商群的性质 [15] 。
本文在此基础之上,对模糊S-拟正规子群进行推广,提出了模糊S-拟正规嵌入子群的概念并研究了其相关性质。
2. 基础知识
如果G是有限群,令
表示G的全体子群的集合,
表示G的全体模糊子群的集合,若
,记
。
定义1 [8] 如果X是一个非空的集合,则称函数
是X的一个模糊子集。
定义2 [9] 设G是一个有限群,A是G的模糊子集,如果对于
,恒有1)
;2)
成立,则称A是G的一个模糊子群。
定义3 [16] 设A是G的模糊子集,
,称
为G的水平子集。
定理1 [16] 设A是G的模糊子集,则
是G的子群的充要条件为A是G的模糊子群。
定义4 [17] 设X是一个论域1,
是其幂集,
。若映射
,
满足
,则称H为X上的一个集合套,记为
。
若
时(其中
),
(或者
或者
或者
),都有
,令
,用
代替
,仍然记为
,同时删去所有的
,于是可以得到一个新的集合套,
。
定义5 [17] 如上确定的集合套
叫做
的约简集合套,
叫做
的加细集合套,若
满足:
,当
时,
,称
为既约集合套。
下面给出Sylow p-子群与Sylow子群之间的关系如下:
设G是有限群,
,p为素数,
,则称G中阶为
的子群为G的Sylow p-子群。Sylow子群是指所有这样子群的集合,因此Sylow p-子群是Sylow子群的一个子集。
定义6 [2] 设H是G的子群,P是G的任意一个Sylow子群,如果恒有
成立,则称H在G中是S-拟正规的。
定义7 [11] 设
是G的一个模糊子群,
是
在G中的一个既约集合套,且有
若
是G的Sylow子群,则称
是G的模糊Sylow子群。特殊地,如果
是G的Sylow p-子群,则称
是G的模糊Sylow p-子群。
定义8 [11] 设
是G的一个模糊子群,
是G的任意一个模糊Sylow子群,如果恒有
成立,则称
为G的一个模糊S-拟正规子群。
定义9 [12] 设H是G的模糊子群,
为H的既约集合套,
,如果对于
,
为G的S-拟正规子群,则称H是G的模糊S-拟正规子群。
3. 模糊S-拟正规嵌入子群的概念及性质
基于模糊S-拟正规子群的定义,给出了模糊S-拟正规嵌入子群的概念,并利用既约集合套理论对其进行研究。
定义10 [3] 设G是有限群,H是G的子群,如果对于整除H的阶的每个素数p,H的Sylow p-子群也是G的某个S-拟正规子群的Sylow p-子群,则称H为G的S-拟正规嵌入子群。
由定义很容易得到每个S-拟正规子群都是S-拟正规嵌入的,但反之不成立。下面给出S-拟正规嵌入子群的性质。
引理1 [3] 设U是G的S-拟正规嵌入子群,
且K是G的正规子群,则
1) 如果
,则U是H的S-拟正规嵌入子群;
2)
是G的S-拟正规嵌入子群且
是
的S-拟正规嵌入子群;
3) 如果
且
是
的S-拟正规嵌入子群,则H是G的S-拟正规嵌入子群。
定义11 设G是有限群,H是G的模糊子群,如果对于整除H的阶的每个素数p,H的模糊Sylow p-子群也是G的某个模糊S-拟正规子群的模糊Sylow p-子群,则称H为G的模糊S-拟正规嵌入子群。
定义12 设G是有限群,H是G的模糊子群,
为H的既约集合套,
,
,
,
为G的S-拟正规嵌入子群,则称H为G的模糊S-拟正规嵌入子群。
事实上,定义11与定义12是等价的。一方面,设H是由定义11给出的模糊S-拟正规嵌入子群,则
,
是G的S-拟正规嵌入子群,取
,且满足
,
。对于
,
是G的S-拟正规嵌入子群,则
是G的S-拟正规嵌入子群,又因为
,所以可得H是G的模糊S-拟正规嵌入子群。
另一方面,设H是由定义12给出的模糊S-拟正规嵌入子群,即
,
,对于
,
为G的S-拟正规嵌入子群。又因为
,
,即
是G的S-拟正规嵌入子群,则可得H是G的模糊S-拟正规嵌入子群。
下面给出集合A的特征函数的概念如下:
则称
为集合A的特征函数。
下面的定理讨论了S-拟正规嵌入性与模糊S-拟正规嵌入性之间的转化。
定理2 设A是G的S-拟正规嵌入子群当且仅当A的特征函数
是G的模糊S-拟正规嵌入子群。
证明:“
”设A的特征函数
的既约集合套为
,
为二元集
,其中
,
。因为A是G的S-拟正规嵌入子群,则
和
是G的S-拟正规嵌入子群,则A的特征函数
是G的模糊S-拟正规嵌入子群。
“
”因为
是G的模糊S-拟正规嵌入子群,A的特征函数
的既约集合套为
,
,则
和
是G的S-拟正规嵌入子群,即
,
是G的S-拟正规嵌入子群。
定理3 设
是G的模糊子群,
是
在G中的水平子集
,
是G的模糊S-拟正规嵌入子群,当且仅当
是G的S-拟正规嵌入子群。
证明:“
”若
是G的S-拟正规嵌入子群,由
可得
,所以
是G的S-拟正规嵌入子群,则
是G的模糊S-拟正规嵌入子群。
“
”由
,因为
是G的模糊S-拟正规嵌入子群,所以
是G的S-拟正规嵌入子群。
,
,则
是G的S-拟正规嵌入子群。
下面利用上述结论,基于模糊S-拟正规子群继续研究模糊S-拟正规嵌入子群的性质。
引理2 [11] 设A与B均是G的S-拟正规子群,则
是G的S-拟正规子群。
定理4 设A与B均是G的模糊S-拟正规子群,则
是G的模糊S-拟正规嵌入子群。
证明:因为A与B均是G的模糊S-拟正规子群,
,
是G的S-拟正规子群,
是G的S-拟正规子群,也是G的S-拟正规嵌入子群,则
是G的模糊S-拟正规嵌入子群。
引理3 [13] 设A与B均是G的S-拟正规子群,则AB是G的S-拟正规子群。
定理5 设A与B均是G的模糊S-拟正规子群,则AB是G的模糊S-拟正规嵌入子群。
证明:因为A与B均是G的模糊S-拟正规子群,
,
是G的S-拟正规子群,
是G的S-拟正规子群,也是G的S-拟正规嵌入子群,则AB是G的模糊S-拟正规嵌入子群。
定理6 G为有限群,H是G的模糊子群,
,对于
,如果
是G的S-拟正规子群,则H为G的模糊S-拟正规嵌入子群。
证明:设
是G的模糊子群,对于
,令
,
,则
。由
是G的S-拟正规子群,则
是G的S-拟正规子群,也是
的
-拟正规嵌入子群,则
是
的模糊S-拟正规嵌入子群,所以H是G的模糊S-拟正规嵌入子群。
定义13 G为有限群,H,U是G的模糊子群,
。如果
,
是
的S-拟正规嵌入子群,则称H是U的模糊S-拟正规嵌入子群。
定理7 设H是G的模糊S-拟正规嵌入子群,如果
,则H是U的模糊S-拟正规嵌入子群。
证明:H是G的模糊S-拟正规嵌入子群,
,
是G的S-拟正规嵌入子群。由
可得
,由引理1(1)可得
是
的S-拟正规嵌入子群,由定义13可以得到H是U的模糊S-拟正规嵌入子群。
4. 模糊S-拟正规嵌入子群的同态性质
利用既约集合套理论对模糊S-拟正规嵌入子群的同态性质进行研究,将条件转化为模糊S-拟正规子群结论仍成立。
定义14 [18] 设
为一个群同态,A和B分别为G和
的模糊子群。如果
且f为满同态,则称模糊子群A与B同态,记为
;如果
且f为同构映射,则称模糊子群A与B同构,记为
。
定理8 [19] f是群G到群
的同态满射,则:
1)如果H是G的一个模糊子群,则
是
的模糊子群;
2) 如果N是G的一个模糊正规子群,则
是
的模糊正规子群,且
(满同态)。
定理9 [19] f是群G到群
的同态满射,则:
1) 如果
是
的一个模糊子群,则
是G的模糊子群;
2) 如果
是
的一个模糊正规子群,则
是G的模糊正规子群,且
(满同态)。
定义15 [19] 设H是G的一个模糊子群,称
为H的拟核,简记为
,其中
。
定理10 [19] 设N是G的一个模糊正规子群,则
是G的正规子群,
为G关于模糊正规子群N的模糊商群,则
。
由模糊S-拟正规子群和模糊S-拟正规嵌入子群的定义可知,H为G的模糊S-拟正规子群,则H为G的模糊S-拟正规嵌入子群,所以将下列同态性质定理推广到模糊S-拟正规子群结论仍成立。
定理11 设H是G的模糊S-拟正规嵌入子群,N为G的模糊正规子群,则H关于N的模糊商群
是
的模糊S-拟正规嵌入子群。
证明:由
,
是
的既约集合套。若H为G的模糊S-拟正规嵌入子群,对于
,
是G的S-拟正规嵌入子群。设
是同态满射,令
,对于
,
是
的S-拟正规嵌入子群,所以
是
的模糊S-拟正规嵌入子群,
是同态满射,所以
是同态满射。
推论1 设H是G的模糊S-拟正规子群,N为G的模糊正规子群,则H关于N的模糊商群
是
的模糊S-拟正规嵌入子群。
定理12 设H是G的模糊S-拟正规嵌入子群,N为G的模糊正规子群,则有
是
的模糊S-拟正规嵌入子群。
证明:设
是同态满射,令
。因为H是G的模糊S-拟正规嵌入子群,N为G的模糊正规子群,对于
,
是G的S-拟正规嵌入子群,
是G的正规子群,由引理1(2)可得
是G的S-拟正规嵌入子群,即
是G的S-拟正规嵌入子群,所以HN是G的模糊S-拟正规嵌入子群。由定理11可知
是
的模糊S-拟正规嵌入子群。
推论2 设H是G的模糊S-拟正规子群,N为G的模糊正规子群,则
是
的模糊S-拟正规嵌入子群。
定理13 设N为G的模糊正规子群,M为G的模糊子群,且有
,如果
是
的模糊S-拟正规嵌入子群,则M为G的模糊S-拟正规嵌入子群。
证明:设
是同态满射,令
,可得
,由
,
是M的既约集合套,若
是
的模糊S-拟正规嵌入子群,对于
,
是
的S-拟正规嵌入子群。因为f是同态满射,所以
是G的S-拟正规嵌入子群,即M是G的模糊S-拟正规嵌入子群。
推论3 设N为G的模糊正规子群,M为G的模糊子群,且
,如果
是
的模糊S-拟正规子群,则M为G的模糊S-拟正规嵌入子群。
定理14 设H为G的模糊S-拟正规嵌入子群,
为同态满射,则
是
的模糊S-拟正规嵌入子群,且
是同态满射。
证明:由
,则
是
的既约集合套。如果H为G的模糊S-拟正规嵌入子群,对于
,
是G的S-拟正规嵌入子群。因为
是同态满射,所以有
是
的S-拟正规嵌入子群,即
是
的模糊S-拟正规嵌入子群。对于
,
是同态满射,所以
是同态满射。
推论4 设H为G的模糊S-拟正规子群,
为同态满射,则
是
的模糊S-拟正规嵌入子群,且
是同态满射。
定理15 设
是同态满射,若H是
的模糊S-拟正规嵌入子群,则
是G的模糊S-拟正规嵌入子群,且
到H是同态满射。
证明:由
,
是
的既约集合套,若H为
的模糊S-拟正规嵌入子群,对于
,
为
的S-拟正规嵌入子群,
是同态满射,所以
是G的S-拟正规嵌入子群,
是G的模糊S-拟正规嵌入子群。对于
,
是同态满射,即
是同态满射。
推论5 设
是同态满射,若H是
的模糊S-拟正规子群,则
是G的模糊S-拟正规嵌入子群,且
到H是同态满射。
定义16 [19] 设A为G的模糊子群,I为G的模糊正规子群,则称
为模糊子群A关于模糊正规子群I的模糊商群,
由下列模糊商群套唯一确定:
定理16设A为G的模糊S-拟正规嵌入子群,K与N为G的模糊正规子群,
,有
。
证明:因为
,所以
是
的模糊正规子群,由既约模糊商群套可得:
,
,由定理10可以得到
,对于
,有
成立。所以可以得到
,又因为
且有
,所以有
,即可得
。
定理17设A为G的模糊S-拟正规嵌入子群,I为G的模糊正规子群,f为
的同态满射,如果I在核
上不变,则
。
证明:由既约模糊商群套可得:
由于
,
,且f为
的同态满射,即
,所以
。
定理18 设
为
的模糊S-拟正规嵌入子群,
为
的模糊正规子群,f为
的同态满射,则
。
证明:因为f为
的同态满射,所以
在核
上不变,有
,
,由定理17可得
。
5. 结论
有限群的S-拟正规嵌入性对于研究有限群的结构具有重要意义。本文给出了模糊S-拟正规嵌入子群的概念,同时研究了模糊S-拟正规嵌入子群的同态性质,使得模糊代数的相关理论更加丰富。模糊S-拟正规嵌入性的研究对有限群的结构也应具有重要影响,所以模糊群论中还有许多内容值得我们深入研究。
基金项目
国家自然科学基金面上项目“结构数学在现代数学中的渗透与应用”(项目编号:12171137)。
NOTES
*通讯作者。
1在一个逻辑系统中,所有的个体组成的集合,称为个体域,亦称论域。其中个体指独立存在于客观世界的事物,个体可以是具体的,也可以是抽象的,它们可以用专有名词来指称。