李代数的交叉模

介绍了李代数交叉模的一个等价定义,用等价定义讨论了交叉模等价类之间的运算.对给定的李代数L,P及P.模M,考虑所有以M为核、以P为余核的交叉模的等价类集合,在等价类集中定义加法运算和数乘运算.证明了李代数的交叉模等价类集合是一个线性空闸,且与其三阶上同调群空间同构.最后计算了Virasoro代数的三阶上同调群.     

逆P-等价类的逆P-推理分离-还原

 逆P-集合是把动态特性引入到有限普通集合X内(Cantor set X),改进有限普通集合X被提出的。逆P-集合是由内逆P-集合F与外逆P-集合构成的集合对;或者,(F,)是逆P-集合。逆P-集合具有动态特性。逆P-推理是逆P-集合生成的一个动态推理,它是由内逆P-推理与外逆P-推理共同构成的。利用逆P-集合和逆P-推理, 给出逆P-等价类、内逆P-等价类和外逆P-等价类概念,逆P-等价类与普通等价类的关系,逆P-等价类的逆P-推理分离-还原与分离-还原定理。在静态-动态条件下,普通等价类是逆P-等价类的特例,逆P-等价类是普通等价类的一般形式。     

减法系统Ⅲ——各种BCY代数的等价类

在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。     

浅谈近世代数中影响学生认识的四个概念

从近世代数的教学实际出发,讨论了近世代数中映射、代数运算、等价关系和等价类四个重要概念的教学问题。为了帮助学生理解置换这个概念,应突出映射的作用,因为置换群中的元素实质是某个有限集合到自身的双射。对于代数运算可以通过讲故事的方式来阐释,对于等价类可以通过代表性的例子来教授。根据概念的不同属性采取不同的教学方法,有助于学生更好地理解这些概念,从而提高教学效果。     

有限集几种重要等价类数目的计算

集合的元素间等价关系和集合的分类是现代数学中的基本概念。这两个概念既抽象又重要,初学者往往感到困难 ,而对等价类数目的计算,更难以掌握。计算等价类数目一般除了应用等价的定义、定理,性质以外无一定的规律可循,碰到具体问题要具体分析。本文举例讨论有限集几种重要等价类数目的计算。它在数学和实际中都有重要的应用。 　　设 R是集合 A上的等价关系,对于任一个 a∈ A可以构作一个 A的子集 [a]R,叫做 a对于 R的等价类,即〖 a]R={b|b∈ A且 a R b}。显然 [a]R是 A内所有与 a有等价关系 R的元素所构成的集合,这些 A的子…     

无限集合的有限子集理论的等价转化

利用Ehrenfeucht博奕 ,证明了任一无限集合的有限子集理论与自然数集合的有限子集理论是初等等价的     

具有特殊特征标维数的有限p-群

主要研究了特征标维数集合是{1,p~m}的有限p-群G,证明了若这类有限p-群G的幂零类大于或者等于3,则|G|≥p~(3m+1).特别地,如果G的特征标维数集合与共轭类长度集合都是{1,p~m},那么G的幂零类是2且|G|≥p~(3m).     

第二类Stirling数对有限集合的覆盖近似计数的应用

在近似算法领域,集合覆盖计数是研究的比较早和比较透彻的问题之一.文中结合第二类Stirling数,提出了一种构造有限集合上的集合覆盖的算法,并且讨论了它的正确性.该算法简单有效,可以在有限的计算资源下求得一个有限集合的覆盖计数的下界.     

粗模糊集的链式分解

利用f 分解类，给出了等价类的F 分解的另一种形式，并由此提出了粗模糊上、下近似集合的F 分解定理．利用等价类的F 分解形式，讨论了粗模糊上、下近似集合的λ 截集的性质，并给出了粗模糊上、下近似集合 的F 并分解定理．     

具有有限X-余分解维数的模的上同调性质

引入了左R-模M关于余可解模类X以及投射生成子W的上同调维数,给出了M的X-余分解维数有限的几种等价刻画,进而讨论了M的这两种维数之间的关系.研究了相对于有限W-余分解维数的模的稳定性以及相对于模类X的模的稳定性.     

有限拓扑的有向图表示

对每一个有限拓扑定义了一个被称为拓扑图的有向图。拓扑的元之间规定了一个等价关系,因而产生等价类,利用等价类的闭包之间的包含关系定义这个有向图。证明了拓扑和拓扑图是相互唯一确定的,利用拓扑图很容易计算一个集合的闭包、导集、内部和边界等运算。证明了拓扑的连通性与拓扑图的连通性是一致的,利用拓扑图计算了只有1≤n≤4个元的不同胚拓扑的个数。     

有限识别器的状态等价及其性质

讨论有限识别器的状态等价及其性质,在同构意义下,有限识别器都唯一存在一个可分有限识别器与它等价,给出了有限识别器的状态化简和等价类的求法。     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

元胞自动机中的Besicovitch-Eggleston型集合

考虑了一类元胞自动机中的Besicovitch-Eggleston型集合。由于与某些移位系统等价,可以计算出这些集合的Hausdorff维数。     

非次正规子群共轭类数对有限群结构的影响

设G是有限群,π(G)表示G的阶的素因子集合,μ(G)表示G的非次正规子群的共轭类类数。本文证明了满足条件μ(G)≤2|π(G)|的有限群G可解,并完全刻画非次正规子群共轭类类数不大于群的阶的素因子个数的有限群,即满足不等式μ(G)≤|π(G)|的有限群G的结构。     

有限子集类上的Fuzzy含度方程

本文在文献[1]的工作基础上,首先给出有限子集类T的T原子及其等价类的集合U_T,它恰为由T的元素生成的一切非空极小项的集合,然后把求解U_T上集函数f_0、使给定Fuzzy含度恰为f_0的扩张的讨论,转化为对与其相应的一种特殊的Fuzzy关系方程的解的讨论;通过这一媒介,最后证得:(1) 有限子集类上的Fuzzy含度方程必定有解;(2) 借助于求解与之相应的Euzzy关系方程,可以得到它的最大解,拟极小解和通解集。     

从普通集到模糊集的扩充

在实数理论中,采用有理数的退缩闭区间套的等价类来定义实数.通过有理数的运算来定义实数运算.与此类似,本文用一个普通集合套的等价类定义一个模糊,通过普通集合的运算定义模糊集的运算。通过阵通集合的特征函数来定义模糊集的隶属函数.从而完成普通集到模糊集的扩充.     

向量线性关系的进一步探讨

讨论了数域F向量空间中任意多个向量的线性关系,给出了向量集合线性相关、线性无关以及向量集合等价的一些重要结果,在此基础上讨论了一般向量空间的结构问题.     

一种新的模糊群

给出了经典集合G的一种模糊二元运算 ,利用这种模糊二元运算定义了模糊群 ,讨论了这种模糊群的一些性质 ,并给出了模糊群的三种等价定义 ,经讨论知 ,这种模糊群不同于Rosenfeld’s的模糊子群 ,比MustafaDemirci的Smooth群具有更好的性质     

关于自然数的定义

自然数,从基数的角度看,它是一切相互等价(对等)的非空有限集合的共同特征。从序数的角度看,则有定义1.设N是一个非空的集合,它的元素叫自然数,(以下简称数),如果对于N中某些元素a与b存在着关系:“b是a的后继者”,(a的后继者记作a'),并且满足下列公理: