完全单半群上同余的另一个刻画

在完全单半群的幂等元集E(S)上构建正规等价τ与核子集K,证明了K与τ的相容性,以及正规子群之间的蕴含关系,迹类与正规子群格之间的同构,核类与幂等元集E(S)上的正规等价格同构.

逆半群同余的对偶刻画

本文给出了逆半群上同余的核迹对偶刻画,并在此基础上给出了最小群同余和最大幂等分离同余的对偶刻画及其相关性质.本文的主要结论是:设S为逆半群,(N,τ)是S上的同余对,则关系ρ(N,τ)是S上的一个同余;σ=τmin是S上的最小群同余当τ=E×E;μ=τmax是S上的最大幂等分离同余当τ=1E.