有单位元的环的主同余

通过构造有单位元的环的主同余公式,给出了有单位元的环的主同余刻画;归纳于有单位元的环的一元项的形成和主同余公式的长度,从而给出有单位元的交换环和单位元的环的主同余的判定条件.     

基数余-亏定理与数据外-内挖掘-分离

把基数概念与数据挖掘交叉, 利用逆P-集合结构, 给出动态基数概念, 提出基数余-亏定理、基数离散区间定理, 给出数据挖掘与基数变化关系、基数余-亏准则和应用.     

加法可换半环上同余及其商半环

该文证明了半环Ｓ的正规理想之集Ｍ的基数小于等于Ｓ上同余关系之集Ｎ的基数,并且存在半环Ｓ,│Ｍ│≠│Ｎ│;同时讨论了由两个著名的同余关系,即Ｂｏｕｒｎｅ同余与Ｉｉｚｕｋａ同余得到的商半环的性质及其它们之间的联系;最后,给出了关于一类特殊半环,其商半环是环的一个充分必要条件。     

幂格的主同余关系

给出了幂格的两类同余关系,研究了它们的一些性质,并且利用这两类同余关系刻划了一个幂格的所有主同余关系,由此证明了:幂格的主同余关系都是可补的,并获得了主同余的补元.     

Lucas数的一些整除特征

根据Lucas数列的定义,利用初等数论的同余等知识和数学归纳法,讨论了正Lucas数Ln的标准分解式中因子与下标的之间的关系,给出了当小于50的素数整除Lucas数时,此项的下标的规律性。     

格的标准元和分配元的主同余

通过分析标准元的定义,构造出标准元具体的主同余公式,得出格的标准元的主同余的必要条件。进而再利用分配元的分配性,构造出具体的主同余公式,得出格的分配元的主同余的刻画。     

P-集合与基数亏-余定理

利用有限普通元素集合概念与P-集合的结构,给出P-集合基数亏-余特征,提出基数亏-余定理,基数离散区间定理与属性基数余-亏准则,给出这些理论结果的应用.     

弱右逆半群上的群同余格与同余格

本文在“弱右逆半群上的最大幂等元分离同余和群同余“一文的基础上,给出了弱右逆半群S的群同余格,并证明了它与S的由主元所组成的逆半群Ⅰ(S)的群同余格是完备同构的,进而又证明了逆半群Ⅰ(S)的群同余格是弱右逆半群S的同余格的格同态像.     

n元线性同余方程的计算机解法

在不定方程的理论基础上,首先给出了n元线性同余方程有解的充要条件和求解的具体方法.然后,针对求解一般的n元线性同余方程计算量大的特点,在所给解法的基础上,进一步给出了求解n元线性同余方程的计算机算法.     

Tarski代数和模态代数的主同余

研究了Tarski代数和模态代数的主同余。结合布尔代数的主同余的结果,给出Tarski代数和模态代数的主同余的刻画。     

关于弱模格及其同余关系格的一些注记

以非模格Ｌ的ｎ５子格的弱射影关系刻划了弱模性．证明了在主同余关系可分的条件下．弱模格的同余关系格与分配格的同余关系格的特征是一致的，由此证明了对任意格Ｌ，存在分配格Ｋ使Ｃ（Ｌ）Ｃ（Ｋ）的充要条件是Ｌ为弱模格且其主同余关系可分．     

弱逆半群上最大幂等元分离同余和群同余

刻画了弱逆半群S上的最大幂等元分离同余和最小群同余,在此基础上,证明了S的群同余格与S的由主元所组成的逆半群I（S）的群同余格完备格同构;进而,证明了I（S）的群同余格是S的同余格的格同态像。     

严格π－正则半群上的fuzzy同余

 π－正则半群S称为严格π－正则的,如果其正则元集为S的理想且为S的完全正则子半群。这里利用半群fuzzy同余的概念,研究了π－正则半群上fuzzy同余的性质。在此基础上, 给出了严格π－正则半群上fuzzy同余的性质和特征, 并给出了严格π－正则半群上群同余的刻画,得到了严格π－正则半群上fuzzy同余为fuzzy群同余的充要条件。     

弱 Stone-代数的同余三元组

目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。     

Implicational lattices and generalization of Stone’s representation theorem

Let F(S) be the free algebra of type (,∨,→) generated by the non_empty set S, it is proved that the logical equivalent relation defined by means of R 0_semantics is a congruence relation on F(S) and the corresponding quotient algebra is said to be the R 0_semantic Lindenbaum algebra. Taking R 0_semantic Lindenbaum algebra as a prototype, the concepts of implicational lattices and regular implicational lattices which are generalizations of the concept of Boolean algebras are introduced. Besides, the concept of fuzzy implicational spaces is introduced and the representation theorem of regular implicational lattices is obtained by means of fuzzy implicational spaces. In case of Boolean algebras, the corresponding fuzzy implicational spaces are zero_dimensional compact Hausdorff spaces and herefrom it is proved that the famous Stone's representation theorem of Boolean algebras is a corollary of the representation theorem of regular implicational lattices.     

正则纯整群带的同余格

利用正则半纯整群带上同余的同余组刻划，分别用图以及生成集和生成关系这两种方法，确定了正则纯整数带的两个重要的同余子格。     

P-反演半群上由超迹决定的最小强P-同余

P-反演半群类是十分重要的一类与正则半群有较密切联系的半群类.关于该类半群的结构及同余受到国内外众多半群工作者的广泛关注.研究了P-正则半群的强P-同余格中一类极小的同余,引入了特征子半群及超迹的概念,借助于同余理论刻画了P-反演半群S(P)上的强P-同余.确定了与给定同余有相同超迹的最小强P-同余,并给出了由超迹决定的最小强P-同余的一种具体表示.这些结果推广了正则半群上的相应结果.     

正则半群上的LR-正规orthogroup同余

讨论了正则半群上的LR-正规orthogroup同余和同余对之间的关系, 找到了正则半群上的LR-正规orthogroup同余的集合到LR-正规orthogroup同余对的集合之间的一一对应.     

余剩余格的理想和嵌入定理

基于余剩余格理论,给出了余剩余格的理想、主理想、素理想、极大理想和同态的概念,讨论了它们的性质,并引入距离函数,给出了余剩余格中的同余关系.研究得到余剩余格的嵌入定理,即满足预线性条件的余剩余格均可同构于一簇全序余剩余格乘积代数的子代数.