摘要

证明了正则半群上的所有强同余构成该半群同余格的完备子格,刻画了与强同余对应的核-迹同余对-强同余对及其相互关系,由此给出正则半群上任一强同余的结构,并证明了强同余格和强同余对的集合之间一一对应.