刻画了P-反演半群上的特征迹为一给定强正规等价关系的最小强P-同余.
In this paper, we describe the least strong P-congruences whose characteristic trace equals to a given strongly normal equivalence on the characteristic set P of a P-inversive semigroup S(P).