模糊同余與模糊群

趙云平

DOI：10.16660/j.cnki.1674-098X.2012-5640-9014

摘? 要：群上既是模糊左相容，又是模糊右相容的模糊等價關(guān)系稱為群上的模糊同余關(guān)系。模糊同余關(guān)系屬于模糊二元關(guān)系，是一種特殊形式的模糊集合，它具有模糊性，模糊性是客觀事物中的不分明性和不確定性，其根源在于客觀事物的差異之間存在著中介過渡。本文在模糊同余關(guān)系的基礎(chǔ)上，給出了模糊同余關(guān)系下的相似關(guān)系、模糊相融、二元關(guān)系、模糊子群的概念，并討論了模糊同余的一系列性質(zhì)，得到了幾個有意義的類似于群論基本定理的結(jié)論。

關(guān)鍵詞：模糊關(guān)系? 代數(shù)? 模糊同余? 模糊群

中圖分類號：G64 ? ? ? ? ?文獻標識碼：A? ? ? ? ? ? ? ? ? 文章編號：1674-098X（2021）03（c）-0223-04

Fuzzy Congruences and Fuzzy Groups

ZHAO Yunping

（School of Mathematics and Physics， West Yunnan University， Lincang， Yunnan Province， 677000 China）

Abstract： The fuzzy congruence refers to the fuzzy equivalence relation on the group compatible with the left and the right. As a special form of fuzzy set with fuzziness， it belongs to fuzzy binary relation. Fuzziness is the ambiguity and uncertainty in objective things which originates from the existence of differences between objective things and intermediary transition. Based on fuzzy congruence relations， this paper gives the concepts of similar relations， fuzzy fusion， binary relations， and fuzzy subgroups under fuzzy congruence relations， discusses a series of properties of fuzzy congruence， and obtains several meaningful conclusions similar to the basic theorem of group theory.

Key Words： Fuzzy relations; Algebra; Fuzzy congruences; Fuzzy groups

1965年美國控制論專家、數(shù)學家Zadeh教授創(chuàng)立了模糊集理論，為描述和研究模糊現(xiàn)象提供了有力的數(shù)學工具。1976年E.Sanchez利用模糊思想對模糊關(guān)系進行了研究。Zadeh最早介紹了模糊集的概念，后來Murali和Nemitz引出集合上的模糊等價關(guān)系。1993年，Samhan定義了半群上的模糊同余。此后不少學者將模糊數(shù)學理論與代數(shù)結(jié)構(gòu)相結(jié)合，提出了模糊半群、模糊群等概念，這些理論豐富了模糊數(shù)學的內(nèi)容。本文在模糊關(guān)系與模糊同余概念的基礎(chǔ)上進一步研究了群的模糊同余的性質(zhì)，得到了幾個模糊同余的基本結(jié)論。

1? 基本概念

定義1[1]：設(shè)X是非空集合，X上的模糊二元關(guān)系R稱為相似關(guān)系，如果R滿足：

定義2[2]：設(shè)G是一個群，G上的模糊二元關(guān)系R稱為模糊左（右）相容的，當且僅當對任意，有。

定義3[2]：群G上的模糊二元關(guān)系R稱為模糊相容的，當且僅當對任意，有。

定義4[3]：群G上的模糊相容的相似二元關(guān)系R稱為模糊同余。

定義5[4]：設(shè)P為集合X到Y(jié)上的模糊二元關(guān)系，Q為集合Y到Z上的模糊二元關(guān)系，定義P與Q的合成關(guān)系為，使。

定義6[5]：設(shè)H是群G的子集，稱H是G的模糊子群，當且僅當

顯然，若H是G的模糊子群，。

定義7[5]：群G的模糊子群H，稱為正規(guī)的當且僅當，有，設(shè)H是群G的模糊子群，對，下列結(jié)論等價：

（1）H是群G的模糊正規(guī)子群;

定義8[6]：設(shè)H是群G的模糊子群，，則gH（Hg）稱為G的A左（右）陪集。

2? 主要結(jié)論

定理1：如果P，Q是群G上的模糊同余，則

證明：設(shè)a，b∈G，則對于，使，從而

因而，

同理可證故

由格的定義，有定理2。

定理2：若是群G的模糊同余格，則是模格。

證明：設(shè)≤，若

則，且存在g∈G，使

因P≤R，則有≤。

由R的傳遞性，有

≤≤R（a，b）

從而有

又由

因此，，故而≤，從而，C（G）是模格。

定義9：設(shè)A是集合X上的模糊二元關(guān)系，令

為一函數(shù)，

定理3：若F是群G的模糊同余，則Fe是G的模糊正規(guī)子群。

證明：

因此，F(xiàn)e是G的模糊子群.

又由

故Fe是G的模糊正規(guī)子群。

定理4：若P是群G的模糊同余，則P關(guān)于x的模糊同余類Px是Pe在G的模糊陪集，反之Pe在G的任意模糊陪集是P的模糊同余類.

證明：

因此，即Px是Pe在G的模糊陪集。反之，顯然成立。

定理5：若Q是群G的模糊同余，則按運算構(gòu)成群;對，映射定義為，則是G/Q的模糊子群。

證明：，故是群。

又由

從而，是G/Q的模糊子群。

記N（G）為G的所有模糊正規(guī)子群N的集合，且滿足N（e）=1。定理6：對，存在雙射，使得

證明：定義映射

于是對

因而≥，從而的是相似關(guān)系。

設(shè)，則

由于N是G的模糊正規(guī)子群，于是

故是G的模糊同余，且映射β是良定義。

對

從而，，反之，

則，即α是雙射。

設(shè)，則有

即

由定理6可知

是格同構(gòu)。

3? 結(jié)語

模糊數(shù)學是一門新的學科，是嶄新的數(shù)學分支。模糊集理論是對一類客觀事物和性質(zhì)進行更合理的抽象和描述，是傳統(tǒng)集合理論的必然推廣。L.A.Zade提出的模糊集概念將一般的集合以隸屬函數(shù)的概念推廣到模糊集，為模糊數(shù)學的發(fā)展與成熟奠定了深厚的基礎(chǔ)。本文結(jié)合模糊等價關(guān)系與群的概念，研究了群的模糊同余的一些性質(zhì)?？紤]將條件拓寬，還可以進一步研究模糊同余的其它性質(zhì)，進而產(chǎn)生更多有意義的結(jié)果，不斷豐富模糊數(shù)學。

參考文獻

[1] 謝季堅，劉承平.模糊數(shù)學方法及其應(yīng)用[M].武漢：華中科技大學出版社，2020.

[2] 蔣澤軍.模糊數(shù)學理論與方法[M].北京：電子工業(yè)出版社，2020.

[3] 范愛琴.基于模糊同余關(guān)系的模糊粗糙環(huán)及其應(yīng)用[J].新鄉(xiāng)學院學報，2020，37（3）： 6-8.

[4] 董麗.弱模糊等價關(guān)系下的半群結(jié)構(gòu)[D].無錫：江南大學，2018.

[5] 劉春輝，何濤.FI代數(shù)的猶豫模糊濾子與猶豫模糊同余關(guān)系[J].數(shù)學的實踐與認識，2018，48（7）：266-272.

[6] KHAN WAQAR CHEN GUIYUN.&Davvaz，Bijan.Fuzzy congruences on non-associative semigroups[J].Journal of Intelligent & Fuzzy Systems，2018， 35（3）：3783-3796.