Fuzzy子群的性质

本文在文献[1]的基础上,在下列三个方面对Fuzzy子群进行了讨论,得出了一些新的结果。1.正规Fuzzy子群的等价定义; 2.Fuzzy左(右)方程的性质; 3.两类循环群的Fuzzy子群的种数问题。     

有限Abelp-群的Fuzzy子群的种数(Ⅰ)

本文继续依据[1]的理论讨论有限群的Fuzzy子群的种数。首先给出有限Abel p—群G的在同构意义下子群个数的两种递推公式,及G的阶相同的子群个数的计算公式;进而给出G的子群列的个数的计算公式;最后得出初等Abel p-群G的两个Fuzzy子群同构的一个充要条件,从而给出初等Abel p-群G的在同构意义下Fuzzy子群种数的计算公式。一般的有限Abel p-群的Abel子群种数的计算公式将在文(Ⅱ)等文中讨论。     

反模糊子群的反模糊正规子群

文[1]给出了反模糊子群与反模糊正规子群的定义及性质,本文将给出反模糊子群的反模糊正规子群的定义及性质．     

Fuzzy子群的讨论

本文在《正规 Fuzzy子群》的基础上对 F uzzy子群作了进一步的研究 ,给出了 F uzzy子群的性质及 2个推论、6个命题 ,充实了 Fuzzy群论。     

特征Fuzzy子群与极大Fuzzy子群

本文讨论与Fuzzy子群的乘积有关的性质,建立Fuzzy子群正规性判定定理,确定一切Fuzzy子群均是正规Fuzzy子群的群的特征性质,并引入特征及极大Fuzzy子群等概念,得出它们的有关结果。最后用例子说明,群论中的基本事实不是都可平移到Fuzzy子群。     

子群为次正规或自正规的有限群

本文研究了每个子群为次正规或自正规的有限群,给出了这类群的完全分类。推广了文[1]、[2]的结果。     

集合套与Fuzzy子群

本文采用集合套来表现模糊集,用子群套、正规子群套分别定义Fuzzy子群与Fuzzy正规子群,用陪集套定义Fuzzy陪集从而定义Fuzzy商群。利用集合套,简便地证明了关于群同态映射的定理,不需要限制具有“sup”性质,而〔1〕却在证明该定理时附加了“sup”性质。同时还给出商Fuzzy子群和积Fuzzy子群等概念以及有关的同态和同构定理。     

群的Fuzzy同态

自1971年A.Roseafeld引入Fuzzy群的概念之后,Fuzzy群论的讨论有了很大进展。本在[2]的正规Fuzzy子群的概念的基础上,引入群的Fuzzy同态的概念,并讨论了群的Fuzzy同态的一些性质及合成。一、预备知识定义1.1设G是一个群,从G到单位区间[0,1]内的一个函数μ,如果它满足条件     

Fuzzy子群与Fuzzy投影

讨论了群G的直积C×G上的Fuzzy子群与其Fuzzy投影子群的关系,引进了规则Fuzzy子群的概念,并且给出了规则Fuzzy子群成为Fuzzy正规子群、Fuzzy特征子群等六个充要条件。     

L-Fuzzy邻近空间Ⅱ——LF邻近滤子与拓扑

本文是[5]的继续,关于L=[0,1]的Fuzzy邻近空间,近来A.K.Katsaras[3],[4],K.K.Azad[1]等人作过讨论,但由于定义中条件的局限,难于推广到一般完全分配格L上,而且呈现出若干病态结果(例如[4]命题2.1,参见本文§3).为此我们在[5]中重新给予L—Fuzzy邻近关系的定义,并证明L—fuzzy正规空间是L—fuzzy邻近空间等(见[5])。     

Anti—Fuzzy子群的同态

利用群G的反Fuzzy子群的低水平子群,讨论反Fuzzy子群和反Fuzzy正规子群在同态下的性质。     

C-正规性与有限群的超可解性

我们运用C-正规性质来刻画群的可解性和超可解性,并得到了一些很好的结论:设M为群G的一个极大子群,若M的任一Sylow子群在G中C-正规,则G超可解;MG,且为G之极大子群,M的每一个素数阶子群在G中C-正规及M的任何Sylow子群的Frattini子群为1,则G超可解.这些结论加强了王燕铭在文[1]中的相关结论.     

Fuzzy度量空间的注记

本文证明了文[1]定义的Fuzzy数序列收敛与文[2]定义的δ—收敛是等价的,指出文[1]中引入的Fuzzy度量空间是完备的,最后,给出了Fuzzy度量空间的Fuzzy映象不动点定理。     

n元Fuzzy关系和Fuzzy子群

本文讨论n元Fuzzy关系与Fuzzy群之间的联系.研究n元Fuzzy关系成为一个群G~n月上的Fuzzy子群及Fuzzy正规子群,Fuzzy 共轭子群的条件并举出反例说明P·Bhattacharya和 P·Mukhrjee的一些错误     

关于Fuzzy子群的几个等价命题

本文利用Fuzzy集的λ-强截集概念,供出Fuzzy子广群、Fuzzy子群胚(Monoid)、Fuzzy子群、正规Fuzzy子群的若干等价条件,并在此基础上,对同态映射下,有关象和原象的不分明性命题给出了新的证明方法。     

一类有限群的结构

利用无不动点的幂自同构确定了每个素数幂阶子群为 s-拟正规或自正规的有限群的结构 ,主要结果为 :定理 1　设 G为有限群 ,若 G的每个素数幂阶子群为 s-拟正规或自正规 ,则 G超可解 ,且 G为下列情形之一 :(1) G为幂零群 ;(2 ) G=H P,其中 H 为 G的正规 Able的 p′- H all子群 ,而 P=为 G的循环的 P- Sylow子群。 x在 H上的共轭作用诱导 H 的一个 p阶无不动点的幂自同构利用定理 1和定理 2可得 FATTAHI在文 [1]中给出的结果。定理 2　设 G为定理 1中的 (2 )型群 ,则 G中的每个子群为正规或为 abnorm al     

Fuzzy拓朴群

D.H.Foster 在[1]中定义的 Fuzzy 拓朴群,由于没有利用邻域的概念,因此工作不易深入。本文仍利用 Chang 的 Fuzzy 拓朴的定义,并利用蒲保明和刘应明[3]所引进的 Fuzzy 点及其邻域的概念,重新定义 Fuzzy 拓朴群,从而建立了单位邻域基的平移定理,并讨论了 Fuzzy 拓朴群的子群、商群与 Fuzzy 子群、Fuzzy 商群的性质。一、群上的 F-集和 F-点本文中均设 G 为群,F(X)为分明集 X 上的 Fuzzy 集全体,“Fuzzy”一词以后均简记为“F—”.     

Fuzzy对称方阵可实现的充要条件

文[1]、[2]提出了Fuzzy对称方阵的可实现问题,并给出了n阶可实现的Fuzzy对称方阵的容度概念.本文继[1]、[2]的工作,给出了半环[0,1]上可实现的Fuzzy对称方阵B的容度γ(B)=1的充分必要条件,以及判别γ(B)=1的一个简便方法;同时还给出了n阶Fuzzy对称方阵是可实现的充分必要条件.     

命题公式主范式的自动生成与形式输出

在文[1]和文[2]的基础上,给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法,并实现了多个命题公式主范式的同时形式化输出.     

命题公式真值表的生成与公式类型的机械判定

在文[1]的基础上,给出了命题逻辑中任一命题公式的真值表的生成算法与命题公式类型的判定算法,实现了利用计算机对有限多个命题公式的真值表的直接计算和输出,以及对一个命题公式是重言式、矛盾式或可满足式的机械判定.