Injective Partial Transformations With Infinite Defects

Abstract

Abstract. In 2003, Marques-Smith and Sullivan described the join Ω of the 'natural order' ≤ and the 'containment order' ⊆ on P (X), the semigroup under composition of all partial transformations of a set X. And, in 2004, Pinto and Sullivan described all automorphisms of P S(q), the partial Baer-Levi semigroup consisting of all injective α ∈ P (X) such that |X \ Xα| = q, where ℵ 0 ≤ q ≤ |X|. In this paper, we describe the group of automorphisms of R(q), the largest regular subsemigroup of P S(q). In 2010, we studied some properties of ≤ and ⊆ on P S(q). Here, we characterize the meet and join under those orders for elements of R(q) and P S(q). In addition, since ≤ does not equal Ω on I(X), the symmetric inverse semigroup on X, we formulate an algebraic version of Ω on arbitrary inverse semigroups and discuss some of its properties in an algebraic setting.