Rough集的某些代数性质研究.pdfVIP

第20卷(增刊) 模糊系统与数学 2006年9月 Volume andMathematics 2006 FuzzySystems September 20(Supplement) Rough集的某些代数性质 陈引兰1施恩伟2周伟峰3 (1湖北师范学院数学系，湖北黄石435002； 2云南师范大学数学学院，云南昆明650092； 3云南师范大学数学学院，云南昆明650092) 摘要：本文讨论群，环等代数类的Rough集的某些代数性质 关键词：代数；Rough集；上近似；等价关系 中图分类号：0189．1 文献标识码：A 关于半群上的Rough集理论的研究已有一些结果，这些结果自然是重要的，本文 讨论一般代数上的Rough集合的性质，即半群上的相关结果的推广，文中未说明的记 号及术语可参考文献[1】及【2】． 设A是一个代数，我们用EqA表示A上的等价关系格，用ConA表示A上的同 余关系格．设日∈EqA，若a∈A，则a／e表示元素a的等价类，用A／O表示所有的等 价类之集．设产是A上的任意一个礼变元算子，那么我们定义A／e上的n变元算 同型的代数，称为A关于日的商代数． 设B是代数A的非空子集，口∈Eq，用B9表示B关于p的上近似，即： B8={ala∈A且(a／0)nB≠∞．又记％=口N(B×B)． 命题1设A是一个代数，口是代数A的子代数，口∈ConA，则 (1)矽是A的子代数． (2)p酗是矽上的同余关系． 证明(1)设一是A上的n变元算子，对任意的a1，屹，…‰∈Bo，由于池／目)NB ≠0，所以存在b1，62，…k∈B，使得池，巩)∈口，l≤i≤n．因为口是同余 ∥，因此矽是A的子代数． Si≤n， (2)首先易证如是B上的等价关系，现在设@，％)∈目(B)，1 ％，这说明％是B上的同余关系．因为由(1)知∥是A的子代数，故目∥是矽上 1收稿日期：2006-04—13． 作者简介：施思伟(1948-)，男，云南昌宁人．教授，主要从事模糊数学及格论方面的研究 陈引兰等：Rough集的某些代数性质 31 的同余关系． 推论1若日是群G的子群，0∈ConG，则日。是群G的子群． 推论2若，是环R的理想，0∈ConR，则，。是环R的理想． 命题2设B是A的子代数，且0∈ConA，则口／OB兰B9／oB-． 是满同态，且≈era=0日，所以口／％型B8／％。． 当06—1∈日． 群． (2)叫日)∈ConG当且仅当日是群G的不变子群，。 证明必要性．用￡表示G的单位元，设口，b∈H，则由于∞一1=口∈日， 故(m 有(n，b)∈目(日)，所以ab以∈日，这说明日是群G的子群． 充分性．设日是群G的子群，则对任意的口∈G，有∞一1=e∈日，故(d，o)∈ 理，可证传递性成立，因而o(H)∈EgG． 群G的不变子群． 口(日)，故口(日)∈ConG． 设A，B是群G的非空子集，记AB={酬o∈A，6∈B}． 命题3日是群G的子群，K是群G的正规子群，则Ho(K)=日K=K日． 证明设口∈Ⅳ日，且令z=kh，其中忌∈K，h∈日，于是o^一1=七∈K， 以Ⅳ日cHo(K)． 说明(玑h)∈口(Ⅳ)，因而yh．1∈K，记咖一1=t，则耋，=th∈Ⅳ日，所以tI。(Ⅳ’cK日， 因此H8(盯)=K日．同理可证HO(K)=日Ⅸ． 由命题3立即得到下面的推论． 推论3设日，K是群G的正规子群，则 f1)日8(鳓=K口(哪． 模糊系统与数学 第20卷(增刊) (2)(日o(Ⅳ’)8(日)：