Hereditarily finitely based monoids of extensive transformations. (Q1040652)

From MaRDI portal
Revision as of 04:58, 2 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Hereditarily finitely based monoids of extensive transformations.
scientific article

    Statements

    Hereditarily finitely based monoids of extensive transformations. (English)
    0 references
    0 references
    25 November 2009
    0 references
    Let \(E_n\) denote the monoid of `extensive' transformations of the ordered set \(\{1,2,\dots,n\}\), that is, the transformations \(\alpha\) with the property that \(i\alpha\geq i\) for all \(i\). The author proves that \(E_n\) is hereditarily finitely based if and only if \(n\leq 3\). By far the most difficult part of the proof is to show that \(E_3\) is hereditarily finitely based. The author notes that \(E_n\) is itself not finitely based, for \(n>4\), by a recent result of \textit{I. A. Goldberg} [in Semigroups and formal languages. Proceedings of the international conference in honour of the 65th birthday of Donald B. McAlister, Lisboa, Portugal, 2005. Hackensack, NJ: World Scientific. 101-110 (2007; Zbl 1131.20043)]. Whether \(E_4\) is finitely based was undetermined at the time the paper was written.
    0 references
    hereditarily finitely based monoids
    0 references
    finite basis problem
    0 references
    partial transformations
    0 references
    extensive transformations
    0 references
    order preserving transformations
    0 references
    finite basis property
    0 references
    bases of identities
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references