The product of the idempotents and an \(\mathcal H\)-class of the finite full transformation semigroup. (Q444662): Difference between revisions

Let \(X\) be a finite set and \(\mathcal T_X\) be the full transformation semigroup on \(X\). Let further \(E\) be the set of idempotents in \(\mathcal T_X\) and \(H\) be an \(\mathcal H\)-class of \(\mathcal T_X\). In the paper under review the author shows that the product \(EH\) is a subsemigroup of \(\mathcal T_X\) and is a union of \(\mathcal H\)-classes of \(\mathcal T_X\). If \(H_1\) and \(H_2\) are two different \(\mathcal H\)-classes, then the author gives an explicit criterion when \(EH_1=EH_2\) in terms of \(H_1\) and \(H_2\). Furthermore, it is shown that \(EH_1\cong EH_2\) implies that \(H_1\) and \(H_2\) belong to the same \(\mathcal D\)-class. Finally, the author describes Green's relations in \(EH\) and thus shows that \(EH\) has regular elements of all possible ranks and that \(\mathrm{Reg}(EH)\) forms a right ideal of \(EH\).