纯正半群上的强同余(I)

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