Automorphisms of Croisot-Teissier semigroups (Q1075440)

For notation, terms not defined and some of the more well known properties of the Croisot-Teissier semigroups, one can consult either the paper under review or [\textit{A. H. Clifford} and \textit{G. B. Preston}, Algebraic theory of semigroups, Vol. II (1967; Zbl 0178.012), pp. 86-93]. The authors have completely determined the automorphisms of the Croisot- Teissier semigroups and this was no easy taks, a fact suggested by the length of the article. Let \(S=CT(X,{\mathcal E},p,q)\) and let W be the union of all well separated subsets of X. In the first section, it is assumed that \(W=X\) and \(\Delta_ W=\cap \{{\mathcal E}_ i\}_{i\in I}\) and it is shown that in this case, every automorphism of S is inner. In the second section, it is assumed only that \(W=X\) and it is shown that under this assumption, every automorphism of S is locally inner. That is, for each \(\phi\in Aut S\), \(\phi (f)=h_{\alpha}\circ f\circ h_{\alpha}^{-1}\) for all \(f\in I_{\alpha}\) where \(\{I_{\alpha}\}_{\alpha \in \Omega}\) is a collection of right ideals whose union is S and \(\{h_{\alpha}\}_{\alpha \in \Omega}\) is a suitably compatible system of partition preserving bijections of W. It is assumed in Section 3 that all \({\mathcal E}_ i\)-classes meet W and in this case, each \(\phi\in Aut S\) is described by means of an automorphism of a factor semigroup of S (also a Croisot-Teissier semigroup and one for which \(W=X)\) and a permutation of \({\mathcal E}\). In Section 4, the case where \(\phi\) is range-preserving (i.e., if R(f)\(\subseteq R(g)\), then R(\(\phi\) (f))\(\subseteq R(\phi (g)))\) is treated and the general case is treated in Section 5 where it is shown that each \(\phi\in Aut S\) is of the form \(\phi =\phi_ 1\circ \phi_ 2\) where \(\phi_ 1\) is a range preserving automorphism and \(\phi_ 2\) is an automorphism with the property that \(\phi_ 2(f)\) and f are \(\eta\)-equivalent for a particular congruence \(\eta\) on S.