首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 31 毫秒
1.
MS—代数的素理想与同余关系   总被引:6,自引:0,他引:6  
对于MS-代数L,以P(L)表示L的全体素理想组成的集,Con(L)表示L的同余关系格,XP(L)表示P(L)的幂集格的对偶格。本文对P(L)的子集刻划了MS-代数L的每个同余关系,我们给出了MS-代数L关于次直不可约MS-代数的次直积表示的MS-代数的次直不可约类还证明了Con(L)可以嵌入到XP(L)中。  相似文献   

2.
给出软代数的理论理想成为某个不同余关系的核的充要条件,并且刻划了以软代数的同余理想的核的最小和最大软代数同余关系。  相似文献   

3.
MS-代数的同余扩张性   总被引:1,自引:0,他引:1  
刻划了MS-代数的素理想生成的同余关系,由此刻划证明了MS-代数具有同余扩张性.  相似文献   

4.
De Morgan代数的次直积构造   总被引:3,自引:0,他引:3  
首先讨论了DeMorgan代数的同余关系特性,在此基础上得到了DeMorgan代数的次直积表示定理,然后着重就有限情况研究了DeMorgna代数L和与之相联系的DeMorgan代数L之间的关系  相似文献   

5.
本文对BCK-代数的添零扩张作了深入研究,指出了原BCK-代数中的理想、Varlet理想、素理想等与添零扩张后相应的理想、Varlet理想、素理想之间的关系。  相似文献   

6.
引进了S-系的τ-纯同余的概念并利用它刻画S-系的扭类与扭自由类,同时利用扭根同余来刻画S-系的扭论。  相似文献   

7.
设H既是一个代数,同时又是一个余代数(不必是双代数),证明了当模HM和余模M^H满足适当条件时,H为Hopf代数,并且HM^H为Hopf模;在一般的情况下,若H是双代数,则可以构作H的商双代数-↑H,使M成为-↑H上的Hopf模,另外,从已知的双代数出发,可以构造新的Pentagon方程的解。  相似文献   

8.
模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理,深入研究了Fuzzy蕴涵代数及其理想问题。首先,利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次,在Fuzzy蕴涵代数中引入理想和生成理想的概念并考察其性质特征和等价刻画。最后,讨论了由给定Fuzzy蕴涵代数全体理想构成的集合的格论特征,证明了该集合关于集合包含序构成分配的连续(代数)格,特别地构成完备Heyting代数,进而构成Frame的重要结论。  相似文献   

9.
软代数的素理想与同余格   总被引:4,自引:1,他引:3  
对软代精F,以x(F)表示F的全体素理想组成的集。con(F)表示F的同余关系p(x(F))表示x(F)的害虫集格的对介同格。  相似文献   

10.
可数值的格     
引入了可数值格的概念,获得了可数值格的若干重要结果,例如,若完备格L是C-紧的,则L∈Fw。当且仅当L∈Bw0∩Fv^2。  相似文献   

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

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