0. Abstract. For an inverse semigroup 5, the set of all isomorphisms between inverse subsemigroups of 5 is an inverse monoid under composition which is denoted by 2P$4(S) and called the partial automorphism monoid of 5. Kirkwood [7] and Libih [8] determined which groups have Clifford partial automorphism monoids. Here we investigate the structure of inverse semigroups whose partial automorphism monoids belong to certain other important classes of inverse semigroups. First of all, we describe (modulo so called "exceptional" groups) all inverse semigroups 5 such that 0>$l(S) is completely semisimple. Secondly, for an inverse semigroup S, we find a convenient description of the greatest idempotent-separating congruence on SPst(S), using a well-known general expression for this congruence due to Howie, and describe all those inverse semigroups whose partial automorphism monoids are fundamental.
Introduction.Let 5 be an inverse semigroup. For any subset X of 5, let (X) denote the inverse subsemigroup generated by X. To express the fact that a subset W c 5 is an inverse subsemigroup of 5, we write H =s 5. It will be assumed that 0 =s S. The semilattice of idempotents of 5 will be denoted by E s and the order of an element x e S by o(x). A partial automorphism of 5 is any isomorphism between inverse subsemigroups of S. The set of all partial automorphisms of 5 is denoted by 0>s4(S). Note that 0 e 9>M{S) since 0 can be considered as an isomorphism of the empty inverse subsemigroup of S onto itself. It is easy to see that with respect to composition 0>si(S) is an inverse semigroup; moreover, it is an inverse subsemigroup of S{S), the symmetric inverse semigroup on the set 5. In particular, the idempotents of 9>sd{S) are precisely the identity mappings i H for every H =£ S. Clearly i B ( = 0) is the zero and t s the identity of &s£(S). Thus 3>si(S) is an inverse monoid with zero; it is called the partial automorphism monoid of S. The group of units of &s$(S) is the automorphism group of 5. Since i w o i* = i H nK for an y H, K^S, the semilattice of idempotents of ^jrf(S) is, in fact, a lattice isomorphic to the lattice of all inverse subsemigroups of S.In [3] the author studied conditions under which an inverse semigroup 5 is determined by &si(S). Here we will investigate how certain natural restrictions imposed on SPst^) reflect upon the structure of 5. It should be noted that a similar problem for lattices of substructures of mathematical structures such as groups, rings, semigroups, inverse semigroups, etc., was the topic of numerous publications (see, for example, [14, Chapter I], [12, Chapter V] or [13, Chapter III]). However relatively few results on the above-mentioned problem for partial automorphism monoids have been established (see [4] for a brief survey). In fact, the author is aware of only one result which describes how the structure of an inverse semigroup S is influenced by imposing a certain restriction on &d{S): the determination by Kirkwood [7] of the structure of all groups whose partial automorphism ...