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

From MaRDI portal
scientific article
In more languages
Configure
Language Label Description Also known as
English
The product of the idempotents and an \(\mathcal H\)-class of the finite full transformation semigroup.
scientific article

    Statements

    The product of the idempotents and an \(\mathcal H\)-class of the finite full transformation semigroup. (English)
    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\).
    finite full transformation semigroups
    idempotents
    Green relations
    Hall Marriage Lemma
    regular elements

    Identifiers