Trace-kernel-operator semigroups of bisimple \(\omega\)-semigroups (Q1976431)

The bisimple \(\omega\)-semigroups -- the bisimple inverse semigroups whose semilattices of idempotents are dually isomorphic to the natural numbers under their usual order -- are so well understood that one expects that any potentially useful theory of inverse semigroups should have an explicit application there. A by now standard way of studying the lattice of congruences on an inverse semigroup (and on regular semigroups in general) is via the trace and kernel operators: with any congruence \(\rho\) are associated \(\rho k\), \(\rho K\), \(\rho t\), \(\rho T\), respectively the least and greatest congruences with the same kernel (union of idempotent classes) as \(\rho\), and the least and greatest congruences with the same trace (restriction to the idempotents) as \(\rho\). Regarded as operators on the lattice of congruences, \(k,K,t,T\) generate a semigroup, its ``\(TK\)-operator semigroup''. First studied by \textit{M. Petrich} and \textit{N.~R. Reilly} [Trans. Am. Math. Soc. 270, 309-325 (1982; Zbl 0484.20026)], this operator semigroup has been explicitly computed in several concrete situations. Making use of the known properties of congruences on bisimple \(\omega\)-semigroups -- especially the fact that the trace operator induces only two equivalence classes -- the author computes the semigroups of operators explicitly, dividing the problem into four discrete cases: whether the semigroup is or is not \(E\)-unitary and whether Green's relation \(\mathcal H\) is or is not contained in the least group congruence.