Trace-kernel-operator semigroups of bisimple ω-semigroups

For a congruence rho on an inverse semigroup, there exist the greatest and least congruences rho T and rho t [resp. rho K and rho k] respectively in the trace class [resp, the kernel class] of rho. So we have four operators Gamma = {T, t, K, k} on the congruence lattice C (S). In this paper, ae determine the semigroups generated by the operators Gamma, the so called TK-operator semigroups, for bisimple omega-semigroups. We prove that there are exactly four distinct semigroups of Gamma-operators up to isomorphism of bisimple omega-semigroups.