Lee monoids are nonfinitely based while the sets of their isoterms are finitely based

DOI10.1017/S0004972718000023MaRDI QIDQ4642352zbMATH OpenOpenAlexWikidataFDO

Authors Olga Sapir

Publication date 23 May 2018

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

finite basis problemidentityisotermLee monoidsnonfinitely basedvariety

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 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 show that every monoid which generates a variety containing $L_5^1$ and is contained in the variety generated by $L_{e}l{l}^1$ for some $ellge5$ is non-finitely based. We establish this result by analyzing $au$-terms for $M$ where $au$ is certain non-trivial congruence on the free semigroup, that is, we analyze words $$ with the property that $$ whenever $M$ satisfies an identity $$. We also show that if $au$ is the trivial congruence on the free semigroup and $ellle5$ then the $au$-terms (isoterms) for $L_{e}l{l}^1$ carry no information about the non-finite basis property of $L_{e}l{l}^1$.

Recommendations

• Lee monoid \(L_4^1\) is non-finitely based
• Finite basis problem for Lee monoids with involution
• Finitely based monoids.
• Non-finitely based monoids.
• Finite basis problem for the variety generated by all monoids of order five

Cites work

• A new example of a minimal nonfinitely based semigroup.
• A sufficient condition for the absence of irredundant bases
• A sufficient condition for the non-finite basis property of semigroups.
• Bases for equational theories of semi-groups
• Existence of a new limit variety of aperiodic monoids
• Finitely based, finite sets of words
• Finiteness properties of varieties and the restriction to finite algebras.
• Non-finitely based monoids.
• On a class of completely join prime \(J\)-trivial semigroups with unique involution
• On certain finitely based varieties of semigroups
• PROBLEMS OF BURNSIDE TYPE AND THE FINITE BASIS PROPERTY IN VARIETIES OF SEMIGROUPS
• The finite basis problem for finite semigroups
• The finite basis problem for words with at most two non-linear variables.
• Varieties generated by semigroups of order four

Cited in

(9)

• Lee monoid \(L_4^1\) is non-finitely based
• Limit varieties of \(J\)-trivial monoids
• Classification of limit varieties of \(\mathcal{J}\)-trivial monoids
• Limit varieties of aperiodic monoids with commuting idempotents
• Finite basis problem for Lee monoids with involution
• Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups
• Limit varieties generated by finite non-J-trivial aperiodic monoids
• Varieties of aperiodic monoids with commuting idempotents whose subvariety lattice is distributive
• Varieties of monoids with a distributive subvariety lattice

This page was built for publication: Lee monoids are nonfinitely based while the sets of their isoterms are finitely based

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