Article contents
Modular inverse semigroups
Published online by Cambridge University Press: 09 April 2009
Abstract
An inverse semigroup S is said to be modular if its lattice 𝓛𝓕 (S) of inverse subsemigroups is modular. We show that it is sufficient to study simple inverse semigroups which are not groups. Our main theorem states that such a semigroup S is modular if and only if (I) S is combinatorial, (II) its semilattice E of idempotents is “Archimedean” in S, (III) its maximum group homomorphic image G is locally cyclic and (IV) the poset of idempotents of each 𝓓-class of S is either a chain or contains exactly one pair of incomparable elements, each of which is maximal. Thus in view of earlier results of the second author a simple modular inverse semigroup is “almost” distributive. The bisimple modular inverse semigroups are explicitly constructed. It is remarkable that exactly one of these is nondistributive.
MSC classification
- Type
- Research Article
- Information
- Copyright
- Copyright © Australian Mathematical Society 1987
References
- 9
- Cited by