Automorphism invariants for semigroups (Q1074174)

Let X be a topological space and let T(X) be a subsemigroup of S(X), the semigroup of all continuous selfmaps of X. Quite a few people have looked at the problem of finding T(X) which have the i.a.p. (inner automorphism property and by this is meant simply that every automorphism is inner). It has been known for a long time that S(X) has it for ''most'' topological spaces X. The early proofs of this result do carry over to some subsemigroups of S(X) but most of them require the presence of the constant functions and a rich supply of nonconstant functions. More recently, various others have extended the result to include more subsemigroups by restricting the spaces under consideration (see the references in the paper under review) and the present author contributes further in this direction. Here, X is a compact manifold with dimension \(\geq 1\) if it has no boundary and dimension \(\geq 2\) otherwise and T(K) is a subsemigroup of S(X) which contains all the units of S(X). Various additional conditions are then found which insure that T(X) have the i.a.p. For example, if every nonempty open subset of X contains the range of an element of T(X), then T(X) has the i.a.p. If X is connected and T(X) contains the subsemigroup of S(X) consisting of all surjections, then T(X) has the i.a.p. He also investigates transformation semigroups which do not have the i.a.p.