模糊S-拟正规子群.pdfVIP

第 25卷第 6期 模 糊 系 统 与 数 学 VoI_25。No．6 2011年 12月 FuzzySystemsandMathematics Dec．，2011 文章编号 ：1001—7402(2011)06—0069—06 模糊 S一拟正规子群。 李卫霞，张诚一 (海南师范大学 数学与统计学院，海南 海 口 571158) 摘 要：指出了[1]中给出的模糊sylow子群定义的不足，重新定义了模糊sylow子群，在此基础上，定义 了模糊 S一拟正规子群，并研究了它的一些基本性质，讨论了模糊 S一拟正规予群的模糊商群及一些同态 性质 。 关键词 ：既约集合套 ；模糊 sylow子群 ；模糊 S一拟正规子群 ；模糊商群 中图分类号：0159 文献标识码：A 1 引言 1962年，O．H．Kegel在E23中定义了s一拟正规子群如下：设H是有限群G的一个子群，如果H 和 G的每个 sylow子群相乘可交换，则称H 是G的一个 S一拟正规子群。接着，1963年 ，w．E．Deskins在 [3]中研究了S一拟正规子群的一些重要性质；1998年，Ballester—Bolinches及 Pedraza—Aguilera在I-4-1中 研究S一拟正规嵌入时更深人研究了S一拟正规子群的一些性质；S一拟正规子群的这些性质的研究体现了 它在经典群论 中对可解群及幂零群等研究的重要意义。自1965年Zadeh在[5]中引入模糊集定义以来， 模糊代数学得到了迅速发展；1971年，A．Rosenfeld在163首先引入了模糊子群的定义，刘旺金在[7]中 引入 了模糊不变子群的概念，张诚一在[8]中用既约集合套引入了模糊素理想，1992年，KumarRajesh 在[1]中定义了一种模糊sylow子群，1993年，AjmalNaseem在[9]中引入模糊拟正规子群，他们的研究 取得了一定成果。继续上面的研究，本文用既约集合套理论重新定义了模糊sylow子群，并且在模糊子 群和模糊 sylow子群定义的基础上，定义了模糊S一拟正规子群，从而丰富了模糊代数的理论，同时本文 讨论了模糊 S一拟正规子群的一些性质及模糊商群的同态。 2 模糊S一拟正规子群 定义 2．1[6] 设 是群 G的模糊子集，如果Vz，Y∈G，恒有： (1)p(xy)≥ (z)人 ()； (2)Z(x )≥ (z)； 成立，则称 为G的一个模糊子群 。 定理2．1[1妇 设 是群 的一个模糊子群， 一 {z∈Sl(z)≥t)(f∈[O，1])，则 为群 的一 个子群 。 ·收稿 日期 ：2010—07—06；修订 日期 ：2010一lO一10 基金项 目：国家 自然科学基金资助项 目；海南省重点科技项 目(090802) 作者简介：李卫霞 (1985一)，女，河南安阳人，海南师范大学数学与统计学院研究生，研究方向：模糊代数。 通讯作者：张诚一 (1955一)，男，河南新野人，海南师范大学数学与统计学院教授，研究方向：模糊代数，模糊信息处理。 70 模 糊 系 统 与 数 学 定义2．2L7 设 与 B是 的两个模糊子群 ，z，Y，EX，定义 与 B的乘法如下 ： A。B(．z)一 sup{min(A(y)，B(2))} z— yZ 定理 2．2[11] 设 是G的模糊子群，B是G的模糊正规子群，则A／B是G／B的模糊子群 ；并且 VxBEG／B，A／B(xB)一V {A(￡)ltB—xB}；如果 是G的模糊正规子群，则A／B是G／B的模糊正 规子群 ，并且 A／B(B)一 ()。 定义2．3[1幻 设 是一个论域，P()是其幂集，映射 H：[O，1]一 P(x)， 卜H () 满足 ： ：~H(fl) H(2。)，则称H 为X 的一个集合套。 定义2．4[1如 设 是一个论域，尸()是其幂集，