Bisimple inverse semi-groups
Norman R. Reilly · Transactions of the American Mathematical Society · 1968
In [1] Clifford showed that the structure of any bisimple inverse semigroup with identity is uniquely determined by that of its right unit subsemigroup.The object of this paper is to show that the structure of any bisimple inverse semigroup with or without identity is determined by that of any of its á?-classes.Let us define a right partial semigroup S to be a set S together with a partial binary operation satisfying the following condition :(A) if, for elements a, b, c of S, a(bc) is defined then so also is (ab)c defined and then a(bc) = (ab)c.We say that a right partial semigroup S is isomorphic with a right partial semigroup T if there exists a bijection of S onto T such that ab is defined if and only if a b is defined and such that if ab is defined then (ab) =a b .We define an 7?P-system (7?, P) to be a right partial semigroup R together with a subsemigroup P of R such that : P(l) ab is defined if and only if a e P, for all a, b in R; P(2) 7? has a left identity contained in P; P(3) ac = bc implies that a = b for all a, beP, c e R; P(4) for all a,beR,Pa(~\ Pb=Pc for some c e R.It then follows from P(l) and P(3) that any left identity of 7? contained in P is, in fact, a two-sided identity for P and so is unique.Now consider any ^-class 7? of a bisimple inverse semigroup S. If we define the partial binary operation o in R by the rule that a ° b = ab if and only if ab e R, then with respect to this operation 7? is a right partial semigroup with a subsemigroup 7* such that (7?, 7') is an 7?7>-system (Theorem 1.4).Note 1. TÎT'-systems can be obtained from systems having products more generally defined than stipulated in P(l).We then just ignore products which do not satisfy the condition P(l) (cf.Examples 1, 2 in §6).Note 2. In particular, R could be a lattice ordered group and P the positive cone of 7?.We show that for any 7?7>-system (7?, P) there exists a bisimple inverse semigroup, which we denote by R'1 ° R, some ^-class of which is isomorphic with R. Conversely, for any ^-class R of a bisimple inverse semigroup S there is a subsemigroup P of R such that (7?, P) is an 7?P-system and R'1 ° Ris isomorphic with S.