共轭L-fuzzy子群的刻画.pdf

第 28卷第 4期 模 糊 系 统 与 数 学 VoI．28，No．4 2014年 8月 FuzzySystemsandMathematics Aug．，2014 文章编 号 ：1001—7402(2014)04—0019—04 共轭 L—fuzzy子群的刻画 杜 萍 ，吴广庆 (暨南大学 电气信息学院，广东 珠海 519070) 摘 要 ：研究 了共轭 L～fuzzy集和共轭 L—fuzzy子群 的性质 ，借助于L～fuzzy集的四种水平截集 ，给 出了 关 于它们 的若 干等价 刻画。 关键词 ：L—fuzzy子群 ；一fuzzy正规子群 ；共轭 L—fuzzy子群 中图分类号 ：0159 文献标识码 ：A 1 引言及预备知识 文[1]引入 了L=Eo，1]时共轭Fuzzy子群的概念。本文在L是完全分配格的条件下，首先研究共轭 — fuzzy集和共轭 L～fuzzy子群的性质，然后借助于文[2]提出的L—fuzzy集的四种水平截集，给出关于 它们的若干等价刻画。作为其应用 ，得到了一些相关结果 。 文 中L总表示一个完全分配格 ，0，1分别表示L中的最小元与最大元 。M (L)表示L中所有非零并 既约元之集 ，P(L)表示L中所有非单位素元之集 。x表示通常群 ， 表示x上所有L—fuzzy集之集。对 于 以EL，fl(a)，()分别表示 的最大极小集与最大极大集。根据E3]我们知道 p(O)一 ， (1)一 ， (口)：fl(a)N (L)， (口)一 (口)NJP()仍分别是 口的极小集与极大集 。对于 ∈L ，nEL，我们沿 用E2]的符号 A[a]一 {z ∈X lA(z)≥a) A(一 { EXJEfl(A(1z))) A ]： {z∈XI口 d(A(z))} A ’一 { ∈X l (z)篓 a) 并有分解定理 ：A— V (口^A )一 ^ (口VA[)。 n∈M (L) aE 尸(L) 定义 1．1[4 称 A∈ 是 X 的一个 L—fuzzy子群 ，如果 A满足： (1) (P)一1(e表示 X 的单位元)； (2)V32，EX ，A(xy～)≥A(z)AA()。 称 是 的 —fuzzy正规子群 ，如果 还满足： (3)Vz，Y∈X，A(xyx )≥A()。 定理 1．1[ 设 AEL ，则下列条件等价 ： (1)A是 X 的L—fuzzy子群 (正规子群)； 收稿 日期：2013-02—14 大． 学电作气考信简息介学院：杜副萍教(授1961～)，女，暨南大学电气信息学院副教授，研究方向：模糊拓扑，模糊代数；吴广庆(通讯作者)(1962一)，男，暨南 ， 研究方 向：模糊拓扑 ，模糊代数 。 20 模 糊 系 统 与 数 学 2014正 (2)VaEL，A 是X 的子群 (正规子群)； (3)V日∈M (L)，AE]是X 的子群 (正规子群)； (4)VaEL，A 是 X 的子群 (正规子群)； (5)V口EP()，A 是 的子群 (正规子群)； (6)VaEP(L)，A 是X 的子群 (正规子群)。 2 共轭L—fuzzy子群的刻画 在代数学中我们知道 ，若G是群 ，H，K是G的两个非空子集 ，如果存在 gEG使得 H—g—Kg， 则称H 和K在G中共轭 ，或称 H是K在G中的共轭子群 。文[1]在 L—Eo，1]的情形引人了共轭fuzzy 子群的概念 ，下面将其推广到L—fuzzy子群上。 定义2．1 一 设 X是群 ，AEL ，g，hEx．令 ：g ，g，gAb∈∥ ，使得VxEx，