首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到19条相似文献,搜索用时 62 毫秒
1.
讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明.  相似文献   

2.
在文献 [1]的基础上 ,主要讨论了二元运算⊙的运算规律 ,并给出了德摩根 BZMVd M-代数的若干性质 ,即在一个 BZMVd M-代数中 ,(1)~~ x=x当且仅当~ x⊙ x=x当且仅当 x x=x.(2 ) x,y∈A,x∧ y=0当且仅当 y<~ x;若 x x=x,则 x∧ y=0当且仅当 x≤ y.(3)~ (x y) =~ x⊙~ y.(4) x ~ x=1.  相似文献   

3.
有向图的一些代数性质   总被引:3,自引:0,他引:3  
讨论了有向图的特征多项式的一些性质和有向图的一些代数性质。  相似文献   

4.
基于集合代数闭包和代数内部的概念,在free-disposal集条件下证明了代数闭包必是代数闭集,代数内部必是代数开集;研究了凸锥和与其对应的free-disposal集的代数性质,同时获得了两个free-disposal集和的代数性质;建立了两个free-disposal集的等价条件.  相似文献   

5.
6.
利用自然数的整除理论首先研究自然数的约数集构成的Kleene代数的性质,由此得到了这种Kleene代数的分解定理,然后引入一种补运算使之成为一个Keene-Stone代数。  相似文献   

7.
引入XI代数概念,证明了其若干基本性质,从而推广了BZ代数的相应结果。  相似文献   

8.
讨论了具仍使用等式e有效的子代数的规范代数构成的类的代数性质,证明了这个类是一个可等式的模型类。  相似文献   

9.
本文主要从可容集的角度研究了格值正则语言,给出了一个语言是格值正则语言的充要条件,并说明了格值正则语言关于商是封闭的.  相似文献   

10.
引入诱导代数与广义Kleene-Dienes三值系统等概念,研究一类代数及其诱导代数的性质,得到若干有用结果。  相似文献   

11.
本文对对偶扩张代数的性质作了有意义的研究.  相似文献   

12.
研究了De Morgan代数中的不动核的性质,特征,并且给出了De Morgan代数含有不动核的充分必要条件,同时又对不动核的个数问题做了进一步的讨论,得到了一些结果。  相似文献   

13.
给出代数张量积的两个等价定义,主要性质,并进一步推广.  相似文献   

14.
本文研究了准自反代数的一些性质,并且给出一些构造准自反而非自反的代数的方法。  相似文献   

15.
先给出Hom-LPNG代数的概念, 再用新定义的运算方法, 解决Hom-LPNG代数构造的一些问题, 得到了用Hom-交换结合代数、 Novikov-Poisson代数和LPNG代数等构造Hom-LPNG代数及由已知Hom-LPNG代数生成新的Hom-LPNG代数的结果.  相似文献   

16.
对路李代数及其性质做了研究.给出了有限维路李代数均可解的结论和所有的卡当子代数;并给出了其相对于一个特定的卡当子代数的根子空间的分解;最后,对一类无限维路李代数可解的条件作了探讨.  相似文献   

17.
子空间均为子代数的李代数的若干性质   总被引:1,自引:0,他引:1  
确定了S.A.(即子空间均为子代数)李代数的结构与唯一性,同构,导子代数,自同构群及不变量;同时得到S.A.李代数是完备李代数的一个充分必要条件.  相似文献   

18.
给出了具有有限多个理想的李代数的若干性质.  相似文献   

19.
将前人关于连通分次代数的一些结论推广到零阶部分为Artin半单环的正分次代数上.主要讨论了一般正分次代数为Gorenstein代数与它的平凡模Ext代数为Frobenius代数的关系,并得到结论:若A是整体维数有限的Koszul代数,且A是左有限的,则A是左Gorenstein代数当且仅当它的Keszul对偶A^!是右Frobenius代数.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号