Finite basis problem for semigroups of order five or less: generalization and revisitation. (Q361862)

From MaRDI portal
Revision as of 07:36, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Finite basis problem for semigroups of order five or less: generalization and revisitation.
scientific article

    Statements

    Finite basis problem for semigroups of order five or less: generalization and revisitation. (English)
    0 references
    0 references
    19 August 2013
    0 references
    In the abstract of the paper the author writes: ``A system of semigroup identities is hereditarily finitely based if it defines a variety all semigroups of which are finitely based. Two new types of hereditarily finitely based identity systems are presented. Two of these system, together with eight systems, establish the hereditary finite basis property of every semigroup of order five or less with one possible exception''. This possible exception is the monoid \(P_2^1=\langle a,b,1\mid a^2=ab=a,\;b^2a=b^2\rangle\). Two semigroups are `distinct' if they are neither isomorphic nor anti-isomorphic. It is known that there exist 1160 pairwise distinct five-element semigroups among which 156 are monoids [see \textit{R. J. Plemmons}, Math. Algorithms 2, 2-17 (1967); ibid. 3, 23 (1968; Zbl 0247.20089); \textit{A. Distler} and \textit{T. Kelsey}, Ann. Math. Artif. Intell. 56, No. 1, 3-21 (2009; Zbl 1204.20075)]. The author asserts that ``using a computer, it is routinely shown that with the exception of the semigroup \(P_2^1\), each of the other 1159 pairwise distinct semigroups of order five satisfies one of the identity systems (0)-(9) or its dual system and so is hereditarily finitely based''. In 2010 Edmunds et al. have shown that 155 five-element monoids are hereditarily finitely based [see \textit{C. C. Edmunds, E. W. H. Lee} and \textit{K. W. K. Lee}, Order 27, No. 1, 83-100 (2010; Zbl 1197.20050)].
    0 references
    finite semigroups
    0 references
    semigroup identities
    0 references
    finite basis problem
    0 references
    finitely based semigroups
    0 references
    minimal non-finitely based semigroups
    0 references
    hereditarily finitely based semigroups
    0 references
    semigroup varieties
    0 references
    monoid varieties
    0 references
    bases of identities
    0 references
    hereditary finitely based varieties
    0 references

    Identifiers