完备弱可补格的同模分类

讨论了完备弱可补格按关于谓词演算的同模分类问题,给出了原子的完备弱可补格与二元布尔代数同模的充要条件以及一类分组格与特殊的分组格C_k同模的充要条件.     

( )(Q)格值模型的省略型定理

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理.     

格序置换群的左弱可迁性

引进了格序置换群的左弱２－可迁和左高弱可迁,给出了格序置换群左弱２－可迁的等价条件和左高弱可迁的充要条件。     

环的半格和与补半格和的弱正则性

给出了环的半格和及补半格和的弱正则性的刻画 ,即若环 R是其弱正则子环 Rα(α∈Γ)的半格和 ,那么 R也是弱正则环 ;若弱正则环 R是其子环 Rα(α∈Γ)的补半格和 ,则 Ra(α∈Γ)都是弱正则环 .     

环的半格和与补半格和的弱正则性

给出了环的半格和及补半格和的弱正则性的刻画,即若环R是其弱正则子环Rα(α∈Г)的半格和,那么R也是弱正则环;若弱正则环R是其子环Rα(α∈Г)的补半格和,则Rα(α∈Г)都是弱正则环.     

用矩阵方法进行概念格的属性约简

本文给出了概念格的可辨识布尔矩阵的概念,把概念格的属性分成绝对必要属性、相对必要属性和绝对不必要属性三类,建立了概念格的属性约简模型.用布尔矩阵的初等行变换把可辨识布尔矩阵化为最简矩阵,给出了通过可辨识布尔矩阵和最简矩阵判定绝对必要属性、相对必要属性和绝对不必要属性方法,并由此给出了一种初等、直观的属性约简算法.     

格内的~＊－关系（Ⅱ）

在文［１］中作者定义了格内的（△~（－１））＊－关系，本文引入了格内元素的弱透视和弱子透视的概念，并讨论了在相对半有朴格、相对有补格和相对原子并格内（△~（－１））＊－关系与弱透视及弱子透视之间的关系，从而给出了在相对半有补格、相对有补格及相对原子并格内（△（－１））＊－关系的一些等价命题。     

(Q)格值模型的省略型定理

将带广义量词Ｑ的一阶逻辑的二值弱模型推广到取值于完备弱可补格上，对有限的线性序弱可补格证明了省略型定理。     

L(Q)格值模型的省略型定理

将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上,对有限的线性序弱可补格证明了省略型定理。     

蕴涵格、弱Ro代数与正则剩余格

讨论了蕴涵格、弱Ro代数以及正则剩余格之间的相互关系,证明了以下结论:(1) 弱Ro代数既是蕴涵格又是正则剩余格;(2) 蕴涵格L是正则剩余格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→(y→z)=y→(x→z);(3) 正则剩余格L是蕴涵格(弱Ro代数)的充分必要条件是:对任意x,y,z∈L,x→y∨z=(x→y)∨(x→z).     

子半群格是可补格的半群

苏联数学家L.N.Shevrin提出一个公开问题,即描述子半群格可补的半群是否为周期的问题。本文就此给出了部分的解答。     

有限群的弱ss-可补子群(英文)

有限群G的子群H叫做在G中弱ss-可补,如果存在G的子群K使得HK是G的次正规子群且H∩K≤HuG,其中HuG是G的含于H的最大次正规子群.该文利用Sylow子群的某些弱ss-可补子群来刻画有限群的可解性.     

L（Q）格值模型的完全弱理论

对有限的线性序,文章证明了完全弱理论T和模型完全弱理论的一些等价条件,并给出了完全弱理论T的一个判定定理.     

准素子群的局部化性质对群结构的影响

已知H是群G的子群,若存在G的子群B,使得(1)G＝HB,(2)若H1/HG是H/HG的极大子群,则H1B＝BH1 相似文献   

两个初等等价的不同构的有限格值模型

在二值模型论中，２个初等等价的有限模型必定同构，但本文构作一个反例证明同样的结论在格值模型论中不成立，因而Ｋｅｉｓｌｅｒ－Ｓｈｅｌａｈ同构定理也不成立。     

算子Banach格与Banach模上的初等算子

本文着重探讨了初等算子的几点性质在算子Banach格上的推广,同时对一般Banach模上初等算子的一些性质进行了讨论。     

套代数上的映射的稳定性

套代数上的初等映射和可乘同构是超稳定的,本文证明了套代数上的近似初等映射和可乘同构是空间可补的.     

关于弱s-半置换可补子群

称群G的一个子群H在G中弱s-半置换可补的,如果存在G的一个子群T,使得G=HT且H∩T≤HssG,其中HssG是包含在H中的G的最大的s-半置换子群.利用弱s-半置换可补子群研究有限群的结构,推广了前人的一些结果.     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

弱拓扑分子格的连通性及局部连通性

定义弱拓扑分子格的连通元并讨论其基本性质(包括连通的可乘性),研究了弱拓扑分子格的局部连通性。