序半群的一类正则同余

设S是有向序半群,本文给出了S上的一类正则同余,称为强序同余的定义及性质.证明了S的强序同余是强正则同余,但反之不成立.同时证明了强序同余格SOC(S)是S的同余格C(S)关于通常集合的交和传递积的V-完备的分配子格.     

含幺逆半群的半格上的同余格

本文证明了含幺逆半群Sα（α∈Y）的半格的容许同余格同构于半格S上同余格的一个子格。     

纯正半群上的同余扩张(二)

刻画半群上的同余及其扩张是半群的代数理论中的一个非常重要的课题（参见［1－5］）本文在[6]讨论了带上的同余的正规性和不变性以及在其Hall半群上的扩张的基础上,从同余扩张的角度刻划了完全正则的纯正半群的特征（定理26）,给出了一个纯正半群的带上的所有同余都可以扩张到这个纯正半群的充分必要条件．     

[C(E),C_a(E)]中的唯一原子

对于集会 Ｘ上的任一非平凡等价关系 Ｅ,本文考察了半群 ＴＥ（Ｘ）上的同余Ｃ．（Ｅ）,并证明了Ｃ*（Ｅ）是ＴＥ（Ｘ）的同余格的完全子格［Ｃ（Ｅ）,Ｃ．（Ｅ）］中的唯一原子．     

纯正半群上的强同余及Clifford同余

把Reilly对逆半群的幂等元集合的正规划分的概念推广到纯正半群,用它从另一角度刻画。了纯正半群上强同余的结构.并刻画了具有T关系的两个强同余的联和交的正则核正规系,又讨论了纯正半群上的Clifford同余,给出了最小Clifford同余的刻画.     

亚纯正半群上的同余

本文讨论了亚纯正半群S上特殊同余间的关系.利用超迹和核给出了S上任一同余与特殊同余的关系及与群同余并的等式.用核正规系刻画了S上的极大幂等分离同余,得到了S/μ同构于E的几个等价条件.     

半群的模糊同余扩张

本文引入半群的模糊同余扩张的概念,给出了模糊同余扩张的同态性质,同时,本文研究了带有模糊同余扩张性质的半群类,证明了一个半群S有模糊同余扩张性质当且仅当S有同余扩张性质,最后进一步给出 有模糊同余张张性质的半群类的特征。     

拟完全正则半群的同余格上的一类关系(英文)

本文讨论拟完全正则半群的具有同一超迹的两个同余构成的同余格上的关系T,证明该关系是同余格上的完备关系,其等价类为区间.并确定对于完全正则半群同余进行关于T的底运算得到的同余.     

拟完全正则半群的同余格上的一类关系(英文)北大核心CSCD

本文讨论拟完全正则半群的具有同一超迹的两个同余构成的同余格上的关系T,证明该关系是同余格上的完备关系,其等价类为区间.并确定对于完全正则半群同余进行关于T的底运算得到的同余.     

正则纯整群带的算子半群和同余网

正则半群Ｓ的同余格（Ｓ）上的算子Ｋ，ｋ，Ｔ和ｔ定义如下：对于ρ∈Ｓ，ρＫ和ρｋ（ρＴ和ρｔ）分别是与ρ有相同核（迹）的最大和最小同余．我们确定了所有正则纯整群带的同余格上由Ｋ，ｋ，Ｔ和ｔ生成的算子半群．并确定了正则纯整群带上任意同余的同余网．     

分配伪补格的主理想

本文给出了分配伪补格 ( L;∧ ,∨ ,* ,0 ,1 )中的主理想 I=( d]成为同余理想的充分必要条件 .当 L是局部有限时 (即 d∈ S( L) ,Fd={x|x* * =d}有限 ) ,对骨架 S( L)中的每个元素 d,我们找到了以 I=( d]为核心的最小同余关系 ,利用以上结果我们得到一个 Stone代数是布尔代数的一些等价条件 .     

半群的模糊理想和模糊同余

引入半群上模糊理想、模糊同余的概念。给出它们的一些等价刻划,证明了一个半群上所有模糊同余关系作成一个格。最后,给出模糊理想的积和模糊同余关系的积的概念,讨论了它们的一些性质。     

[C(E) ,Ca(E)]中的唯一原子

对于集合X上的任一非平凡等价关系E,本文考察了半群T_E(x)上的同余C_*(E),并证明了C_*(E)是T_E(X)的同余格的完全子格[C(E),C_a(E)]中的唯一原子.     

形式演绎系统L~*中封闭理论的性质及其应用

本文在模糊命题演算的形式演绎系统L~*中引入了封闭理论的概念,讨论了封闭理论的基本性质,并利用封闭理论给出了形式演绎系统L~*的基于公式集的完备性的证明.首先,在形式演绎系统L~*中引入了封闭理论的概念,给出了理论封闭化扩张的方法;其次,在形式演绎系统L~*中引入了完全封闭理论的概念,证明了满足相关条件的完全封闭理论的存在性;第三,对形式演绎系统L~*中的封闭理论确定的同余关系性质进行了讨论,在公式集中引入了强同余关系的概念,给出了封闭理论和强同余关系相互决定的方法;第四,在形式演绎系统L~*中证明了封闭理论型L~*-Lindenbaum代数是R_0代数,并且封闭理论型L~*-Lindenbaum代数是全序的当且仅当封闭理论是完全的;最后,利用完全封闭理论型L~*-Lindenbaum代数完成了形式系统L~*完备性的证明,并改进了原有的结果.     

Some properties of complete congruence lattices

For a complete lattice C, we consider the problem of establishing when the complete lattice of complete congruence relations on C is a complete sublattice of the complete lattices of join- or meet-complete congruence relations on C. We first argue that this problem is not trivial, and then we show that it admits an affirmative answer whenever C is continuous for the join case and, dually, co-continuous for the meet case. As a consequence, we prove that if C is continuous then each principal filter generated by a continuous complete congruence on C is pseudocomplemented. Received January 6, 1998; accepted in final form July 2, 1998.     

A characterization of varieties

It is proved that a quasivariety of algebras is a variety if the relative congruences of each algebra A in form a sublattice of the congruence lattice of A. Received February 8, 2000; accepted in final form October 30, 2000.     

Partial Kernel Normal Systems for Eventually Regular Semigroups

The set of P-partial kernel normal systems for an eventually regular semigroup S forms a complete lattice, which is a completely ∧-homomorphic image of C(S). Every regular congruence on S is uniquely determined by its P-partial kernel normal system.