论文部分内容阅读
In 1966, Reilly Characterized bisimple ω-semigroups as Bruck-Reilly extensions of Groups.Later, Munn and Reilly proved that a congruence on a bisimple ω-semigroup is a group congruence or is idempotent-separating. Many author investigated the congruences