Konieczny, Janusz Semigroups of transformations commuting with idempotents. (English) Zbl 1005.20046 Algebra Colloq. 9, No. 2, 121-134 (2002). Let \(X^0_n=\{0,1,2,\dots,n\}\) and let \(T^0_n\) be the semigroup of all full transformations on \(X^0_n\) which fix \(0\). It is well known that \(T^0_n\) is isomorphic to the semigroup of all partial transformations on a set of \(n\) elements and this is the reason for the author’s interest in \(T^0_n\). Let \(\varepsilon\) be an idempotent in \(T^0_n\) and let \(C(\varepsilon)\) be the subsemigroup of \(T^0_n\) which consists of all those elements which commute with \(\varepsilon\). He determines Green’s relations for \(C(\varepsilon)\) and he characterizes the regular elements of \(C(\varepsilon)\). In particular, he gives necessary and sufficient conditions for \(C(\varepsilon)\) to be a regular semigroup. Specifically, he shows that \(C(\varepsilon)\) is a regular semigroup if and only if either (1) \(x\varepsilon=y\varepsilon\neq 0\) implies \(x=y\) or (2) there do not exist two distinct fixed points \(a\) and \(b\) of \(\varepsilon\) such that \(|a\varepsilon^{-1}|\geq 2\) and \(|b\varepsilon^{-1}|\geq 3\). Reviewer: Kenneth D.Magill (Buffalo) Cited in 10 Documents MSC: 20M20 Semigroups of transformations, relations, partitions, etc. Keywords:semigroups of full transformations; partial transformations; idempotents; Green’s relations; regular elements; regular semigroups PDF BibTeX XML Cite \textit{J. Konieczny}, Algebra Colloq. 9, No. 2, 121--134 (2002; Zbl 1005.20046)