No CrossRef data available.
Published online by Cambridge University Press: 18 May 2009
Let V be a regular semigroup and an ideal extension of a semigroup S by a semigroup Q Congruences on V can be represented by triples of the form (σ, P, τ), here called admissible, where a is a congruence on S, P is an ideal of Q and τ is a O-restricted congruence on Q/P satisfying certain conditions. We characterize the trace relation T on V in terms of admissible triples. When the extension V of S is strict, for a congruence v on V given in terms of an admissible triple, we characterize vK, vK, vT and vT again in terms of admissible triples.