For any bisimple orthodox semigroup S we show how to construct all idempotent-separating congruences on S, and give an explicit construction for the quotient semigroup of S modulo such a congruence.
© Copyright 1975 Pacific Journal of Mathematics. All rights reserved.