夹心半群T_E(X,Y,θ)上的一个同余

摘要

对于Y上的任意非平凡等价关系E,讨论了由E确定的夹心半群TE(X,Y,θ)的同余格C(TE(X,Y,θ)),证明了当θ是单射时,C(TE(X,Y,θ))可分解为3个不相交的完全子格[C(δ),Cα(δ)],[C(E),Cα(E)]和[C(ω),Cα(ω)].在此基础上考察了TE(X,Y,θ)上的一个同余τ,并证明了当E为单等价关系时,τ是[C(E),Cα(E)]中的唯一原子.