L—Fuzzy子群的L—Fuzzy直积的新刻画.pdfVIP

第 24卷第 1期 模 糊 系 统 与 数 学 V01．24，No．1 2010年 2月 FuzzySystemsandMathematics Feb．，2010 文章编号：1001—7402(2010)01—0014—05 一 Fuzzy子群的L—Fuzzy直积的新刻画 吴广庆 ，杜 萍 (暨南大学 珠海学院，广东 珠海 519070) 摘 要 ：研究L-fuzzy正规子群的性质 ，借助于L—fuzzy集A的水平截集A 。)和A[，给 出当L是 完全分 配格 时L-fuzzy子群的 ￡一fuzzy直积的若干等价刻画。 关键词 ：L-fuzzy予群 ；一fuzzy正规子群 ；L—fuzzy子群的L—fuzzy直积 中图分类号：O159 文献标识码 ：A 1 引言及预备知识 文E3]给出了 —fuzzy子群的三一fuzzy直积的定义，并且借助于文E6]提出的L—fuzzy集的水平截集 [小A 给出了L—fuzzy子群的L—fuzzy直积的等价刻画，能否用另外两个水平截集 。给出该定 义的刻画?本文在 L是完全分配格 的条件下，借助于另两个水平截集 ( 。给出了 —fuzzy子群的 L—fuzzy直积的若干新刻画。 文中L总表示一个完全分配格，0，1分别表示 中的最小元与最大元 。 ()表示 中所有非零 并既约元之集，P()表示 中所有非单位素元之集。 表示非空通常集， 表示 上所有 己一fuzzy集 之集 ，我们将不区别一个分明集与其特征函数。按照Es]的约定 ，对于空集 ，^ =1，V 一0，对 于n∈L， (n)，a(n)分别表示a的最大极小集与最大极大集。根据E5]我们知道fl(o)一 ，a(1)= ， (口)一fl(a)n ()，d(日)一口(口)nP()仍分别是 口的极小集与极大集。对于 ∈L ，口∈L， 我们沿用I-6]的符号 Ar3一 {z∈ lA(z)≥a} A()一 { ∈Xla∈ (())} A ]一 {z ∈XIa 口(A(z))) A。一 {z∈XIA(z)篓 a) 定义 1．1[ 设 x是一个群，称 A ∈ 是X 的一个 L—fuzzy子群，如果满足： (1) ()一 1 表示 x 的单位元)； (2)Vz， ∈X，A(xyI1)≥ A()A ()。 称A是 X的L—fuzzy正规子群，如果A还满足： (3)V ，Y∈X，A(xyx-1)≥ (．)，)。 定义 1．2[。 设 ，B∈ 都是群X 的L—fuzzy子群，如果B≤ ，称 B为 的L—fuzzy子群；如 ÷ 收稿 日期 ：2008—06—29 作者简介 ；吴广庆(1962一)，男，暨南大学珠海学院副教授 ，研究方 向：模糊拓扑，模糊代数；杜萍(1961一)，女，暨南大学珠海学院副 教授 ，研究方向：模糊代数 。 第 1期 吴广庆 ，杜萍 ：L—Fuzzy子群 的L—Fuzzy直积的新刻画 15 果 B还满足 ： V．72， ∈ ，B(xyx )≥ (z)^B()， 称 B为 的L—fuzzy正规子群。 定理 1．1E。 设 ，B∈ 都是群x 的L—fuzzy子群，且B≤ ，则下列条件等价： (1)B是 的L—fuzzy子群 (正规子群)； (2)Va∈L，B[。]是 A[d]的子群 (正规子群)； (3)Va∈ (L)，Br。]是Ar]的子群 (正规子群)； (4)Va∈L，B 是 AL 的子群 (正规子群)； (5)Va∈P(L)，B 是 Ld的子群 (正规子群)； (6)Va∈P()，B。是 的子群 (正规子群)。 定义 1．3[。 设B，C ∈ ，V ∈ ．规定 ：