Congruences on bicyclic extensions of a linearly ordered group

Abstract

In the paper we study inverse semigroups B(G), B^+(G), \overline{B}(G) and \overline{B}^+(G) which are generated by partial monotone injective translations of a positive cone of a linearly ordered group G. We describe Green’s relations on the semigroups B(G), B^+(G), \overline{B}(G) and \overline{B}^+(G), their bands and show that they are simple, and moreover, the semigroups B(G) and B^+(G) are bisimple. We show that for a commutative linearly ordered group G all non-trivial congruences on the semigroup B(G) (and B^+(G)) are group congruences if and only if the group G is archimedean. Also we describe the structure of group congruences on the semigroups B(G), B^+(G), \overline{B}(G) and \overline{B}^+(G).