模糊同余关系下的模糊粗糙群的同态.pdfVIP

2012年 l1月 湖北文理学院学报 Nov．2012 第 33卷第 11期 JournalofHubeiUniversityofArtsandScience 、，0l33NO1l 模糊同余关系下的模糊粗糙群的同态 张金玲 (湖北文理学院数学与计算机科学学院，湖北 襄阳441053) 摘要：从群上的模糊正规子群与完备模糊同余关系的对应出发，研究模糊同余关系下的模糊 粗糙群与模糊粗糙商群的同态关系．即在一定条件下，满同态能保持模糊同余关系的结果．进一 步补充和丰富了模糊集与粗糙集的交叉理论． 关键词：模糊正规子群 ；模糊 同余关系；模糊粗糙群 ；模糊 同态 中图分类号：O115 文献标识码：A 文章编号：2095—4476(2012)11-0005—03 Zadeh首先提出了模糊集的概念．随后Sanchez利用模糊思想对模糊关系进行了研究，Nemitz和Murali 更将结果扩展到模糊等价关系的范畴．而此后的Samhan在具有代数运算的半群基础上，引进了模糊同余 的概念，把模糊等价关系与一定的代数结构相结合研究了商结构．波兰数学家Pawlak首先提出了粗糙集理 论，此后Pawlak粗糙集模型的推广一直是粗糙集理论研究的主流方向．自从 1996年BanerjeeandPa1．S．K 等人在近似空间上定义了模糊集的粗糙集(即粗糙模糊集)后 ，这方面的推广工作已有人做了尝试性研究． 本文在此基础上，从群上的模糊正规子群与完备的模糊同余关系的对应出发，研究模糊同余关系下的 模糊粗糙群与模糊粗糙商群的同态关系． 1 预备 下面给出的定义和结论都散见于相关的文献中，我们不加证明的罗列出来，作为后文主要结果的预备 知识． 定义 1lIJ设G是一个群，若P满足：对Va，b，X∈G，p(ax，bx)≥p(a，6)，p(xa，xb)≥p(a，6)，则称G 上的模糊等价关系P为G上的一个模糊同余关系． 定理 lllJ设G是一个群，P是G上的一个模糊同余关系 §P是G上的一个模糊等价关系，且 p(ac，bd)≥min{p(a，6)，p(c，))，Va，b，c，d∈G． 引理 1l【 G是一个群 ，P是G上的一个模糊同余关系，~lJ(1)Va，b，C，d∈G，p(xay，xby)= p(xa，xb)=p(ay，by)=p(a，6)；(2)p(x-1,Y )=p(x，)． 定义2【】设G是 ，G的— 子集 称为G是— 子群，如 1) ()≥min{A(x)，())， Vx，Y∈G；(2)A(x)=A(x )；(3)A(e)=1，这里e是G的单位元．G的模糊子群称为G的模糊正规子群， 如果A(xy)=A(yx)， ， ∈G， 引理 21【】设P是群G上的一个模糊同余关系，则 ∈G，Ⅳ ()=p(e，)是G的模糊正规子群 ，且 p(a，b)=Ⅳ (口6)，Va，b∈G ；反之 ，设 Ⅳ是 G 的一个模糊正规子群 ，在 G上 的定义模糊关系 oN： (口，b)=N(ab)：aN(b)，Va，b∈G，则Pu是群G上的一个模糊同余关系，且 [a]pN=aN ，其中 , aN(b)=N(a一6)，Vb∈G． 于是， ={【 I口∈G)={ I口∈G)是 关于G的一个模糊划分，称为群G上的一个模糊商集． 定义 3【， 群G上的一个模糊同余关系P称为是完备的模糊同余关系．如果对Va，b∈G，有 ： [ab]． 引理3[设Ⅳ是群G上的一个模糊正规子群，则由N决定的模糊同余关系 是完备的模糊同余关系． 收稿日期：2012．06-25 作者简介：张金玲(1974一)，女，湖北宜城人，湖北文理学院数学与计算机科学学院副教授 第 33卷第 ll期 湖北文理学院学报 20t2年第 11期 定理2l【J设G是一个群，则群G上的所有的完备的模糊同余关系与G上的所有的模糊正规子群之问存 在一一对应． 注 本文所提及完备的模糊同余关系均指由G上的某一模糊正规子群所决定的完