Lee monoid L₄^1 is non-finitely based

DOI10.1007/S00012-018-0541-9MaRDI QIDQ1991587zbMATH OpenOpenAlexFDO

Authors Inna A. Mikhailova, Olga Sapir

Publication date 30 October 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1710.00820

zbMATH Keywords

finite basis problemidentityisotermLee monoidsnon-finitely based monoidvariety

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Varieties and pseudovarieties of semigroups (20M07)

Abstract: We establish a new sufficient condition under which a monoid is non-finitely based and apply this condition to show that the 9-element monoid $L_4^1$ is non-finitely based. The monoid $L_4^1$ was the only unsolved case in the finite basis problem for Lee monoids $L_{e}l{l}^1$, obtained by adjoining an identity element to the semigroup generated by two idempotents $a$ and $b$ subjected to the relation $0=ababcdots$ (length $ell$). We also prove a syntactic sufficient condition which is equivalent to the sufficient condition of Lee under which a semigroup is non-finitely based. This gives a new proof to the results of Zhang-Luo and Lee that the semigroup $L_{e}ll$ is non-finitely based each $ellge3$.

Recommendations

• Lee monoids are nonfinitely based while the sets of their isoterms are finitely based
• Finite basis problem for Lee monoids with involution
• The variety generated by all monoids of order four is finitely based.
• scientific article; zbMATH DE number 6384800
• Finitely based monoids obtained from non-finitely based semigroups.
• Locally finite monoids in finitely based varieties
• Non-finitely based monoids.
• Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups
• Finite monoids and the fine structure of NC ¹
• On the endomorphism monoid of \(K(n,4)\).

Cites work

• A new example of a minimal nonfinitely based semigroup.
• A sufficient condition for the absence of irredundant bases
• Bases for equational theories of semi-groups
• Existence of a new limit variety of aperiodic monoids
• Finiteness properties of varieties and the restriction to finite algebras.
• Lee monoids are nonfinitely based while the sets of their isoterms are finitely based
• Non-finitely based monoids.
• On a class of completely join prime \(J\)-trivial semigroups with unique involution
• On certain finitely based varieties of semigroups
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• The finite basis problem for finite semigroups
• Varieties generated by semigroups of order four

Cited in

(3)

• Finitely based, finite sets of words
• Lee monoids are nonfinitely based while the sets of their isoterms are finitely based
• Finite basis problem for Lee monoids with involution

This page was built for publication: Lee monoid \(L_4^1\) is non-finitely based

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1991587)