P ) is called an e - inversive p - semigroup if it satisfies the following main result 2 let be a normal partition of p . then x s ( p ) : for any a ? / then there exist and b " ? u " ( 6 ) such that a ' paa . b ' pab c p3 and apaa " 接着用“核迹”方法研究s仔）上的强p同余，即证明s尸）上的任一强p同余，可以决定s尸）的一个强p同余对，反之s的任一强p同余对，可以决定s （ p ）上的一个强p同余
