Let P be an arbitrary full subset of the set E(S) of the idempotents in a regular semigroup S. We shall prove that each congruence on S is completely determined by its partial kernel normal system linking to P and give the kernel normal systems in regular semigroups an abstract characterization.
展开▼