Inverse semigroups determined by their lattices of convex inverse subsemigroups. I, II. (Q2496139)

Every inverse semigroup possesses a partial order and therefore convexity with respect to it. The authors study the problem to which an inverse semigroup is determined by its lattice of convex inverse subsemigroups. The problem is completely solved for semilattices and for inverse semigroups in general it is reduced to the case where the lattice isomorphism induces an isomorphism between semilattices of idempotents. In particular, for monogenic inverse semigroups it is the only case that occurs as well as in the case of pseudo-Archimedean ones. Two semigroups are co-isomorphic if their lattices of convex subsemigroups (with respect to the order introduced in part I) are isomorphic. It is shown that inverse semigroups co-isomorphic to the bicyclic semigroups are precisely the simple, aperiodic, inverse \(\omega\)-semigroups \(B_d\) and that for completely semisimple inverse semigroups, co-isomorphisms that induce an isomorphism between the semilattices of idempotents are entirely equivalent to isomorphisms of the sublattices of all subsemigroups.