The proof and the generalization of Higgins' theorem of divisors of semigroups of order-preserving mappings (Q1910269)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The proof and the generalization of Higgins' theorem of divisors of semigroups of order-preserving mappings
scientific article

    Statements

    The proof and the generalization of Higgins' theorem of divisors of semigroups of order-preserving mappings (English)
    0 references
    0 references
    0 references
    21 May 1996
    0 references
    The main result of this paper is that every finite semigroup \(S\) the idempotents of which form an ideal is isotone, in the sense that \(S\) is a homomorphic image of a semigroup of order-preserving transformations. This generalizes a result of the reviewer [Int. J. Algebra Comput. 5, No. 6, 725-742 (1995; Zbl 0842.20054)] that any finite band is isotone, a fact there proved by implementation of the solution of the word problem for free bands by isotone automata. The proof of the authors is shorter and is based on construction of \(S_\ell\), a semigroup which extends \(S\) by adjoining a copy of the set \(S^1\) to act as a left zero ideal in a certain fashion. It transpires that if \(S\) is isotone then so is \(S_\ell\). This, together with the self-duality of the pseudovariety \(\mathcal O\) of all semigroups generated by semigroups of order-preserving mappings, allows the authors to devise a contradiction argument based on Gerard's solution to the word problem for semigroups satisfying the identity \(x_1x_2\dots x_n=(x_1x_2\dots x_n)^2\).
    0 references
    finite semigroups
    0 references
    idempotents
    0 references
    homomorphic images
    0 references
    semigroup of order-preserving transformations
    0 references
    finite bands
    0 references
    word problem
    0 references
    free bands
    0 references
    pseudovariety
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references