Lattice properties of the symmetric weakly inverse semigroup on a totally ordered set

Abstract

AbstractLet T be a totally ordered set, PT the semigroup of partial transformations on T, and A(T) the l-group of order-preserving permutations of T. We show that PT is a regular left l-semigroup. Let be the set of α ∈ PT such that α is order-preserving and the domain of α is a final segment of T. Then is an l-semigroup, and we prove that it is the largest transitive l-subsemigroup of PT which contains A(T). When T is Dedekind complete, we characterize the largest regular l-semigroup of . When A(T) is also 0 − 2 transitive we show that there can be no l-subsemigroup of properly containing A(T) which is either inverse or a union of groups.