Non-finitely based monoids.

DOI10.1007/S00233-015-9708-2zbMATH Open1346.20075arXiv1402.5409OpenAlexW1995645214MaRDI QIDQ744847FDOQ744847

Authors: Olga Sapir 

Publication date: 12 October 2015

Published in: Semigroup Forum (Search for Journal in Brave)

Abstract: We present a general method for proving that a semigroup is non-finitely based. The method is strong enough to cover the non-finite basis arguments in articles [1,3,4,5,7,8, 11,14,16,21,27,31,36,37]. In particular, the method allows to generalize the results in [1,8,36,37] and to simplify their proofs. The method also allows to remove one of the requirements on the "special system of identities" used by P. Perkins in [16] to find the first two examples of finite non-finitely based semigroups. We use our method to prove eleven new sufficient conditions under which a monoid is non-finitely based. As an application, we find infinitely many new examples of finite finitely based aperiodic monoids whose direct product is non-finitely based.

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

Recommendations

• Finitely based monoids.
• Finitely based monoids obtained from non-finitely based semigroups.
• A sufficient condition under which a semigroup is nonfinitely based.
• Minimal non-finitely based monoids.
• Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups

zbMATH Keywords

bases of identitiesfinite basis problemisotermssemigroup identitiessemigroup varietiesnon-finitely based semigroups

Mathematics Subject Classification ID

Combinatorics on words (68R15) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Cites Work

• Finiteness properties of varieties and the restriction to finite algebras.
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the axiomatic rank of varieties generated by a semigroup or monoid with one defining relation
• On the finite basis problem for certain 2-limited words.
• Finitely based sets of 2-limited block-2-simple words
• Bases for equational theories of semi-groups
• Finitely based, finite sets of words
• The finite basis problem for finite semigroups
• Title not available (Why is that?)
• The finite basis problem for words with at most two non-linear variables.
• Title not available (Why is that?)
• PROBLEMS OF BURNSIDE TYPE AND THE FINITE BASIS PROPERTY IN VARIETIES OF SEMIGROUPS
• INHERENTLY NONFINITELY BASED FINITE SEMIGROUPS
• FINITELY BASED WORDS
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• Varieties generated by semigroups of order four
• On certain finitely based varieties of semigroups
• Finite basis problem for semigroups of order five or less: generalization and revisitation.
• The finite basis question for semigroups of order less than six
• Equations and monoid varieties of dot-depth one and two
• Finitely based finite involution semigroups with non-finitely based reducts
• Finitely based monoids obtained from non-finitely based semigroups.
• INTERPRETING GRAPH COLORABILITY IN FINITE SEMIGROUPS
• On finite \(\mathcal J\)-trivial monoids
• The finite basis property for varieties of semigroups
• On cross semigroup varieties and related questions
• Title not available (Why is that?)
• REFLEXIVE RELATIONS, EXTENSIVE TRANSFORMATIONS AND PIECEWISE TESTABLE LANGUAGES OF A GIVEN HEIGHT
• Equations and dot-depth one
• A new example of a minimal nonfinitely based semigroup.
• A sufficient condition for the non-finite basis property of semigroups.
• Minimal non-finitely based semigroups.
• Existence of a new limit variety of aperiodic monoids
• Finitely generated permutative varieties.
• Title not available (Why is that?)

Cited In (26)

• Lee monoids are nonfinitely based while the sets of their isoterms are finitely based
• Varieties of monoids with complex lattices of subvarieties
• Minimal non-finitely based monoids.
• Lee monoid \(L_4^1\) is non-finitely based
• On the finite basis problem for the monoids of partial extensive injective transformations.
• The identities of the free product of a pair of two-element monoids
• On a class of completely join prime \(J\)-trivial semigroups with unique involution
• Title not available (Why is that?)
• The finite basis problem for words with at most two non-linear variables.
• Limit varieties of \(J\)-trivial monoids
• Finitely based monoids.
• On the ascending and descending chain conditions in the lattice of monoid varieties
• Monoid varieties with extreme properties
• A Nonfinitely Based Semigroup of Triangular Matrices
• Chain varieties of monoids
• Equational theories of upper triangular tropical matrix semigroups
• The finite basis problem for Kiselman monoids.
• Title not available (Why is that?)
• The finite basis problem for the monoid of two-by-two upper triangular tropical matrices
• Finitely based sets of 2-limited block-2-simple words
• Classification of limit varieties of \(\mathcal{J}\)-trivial monoids
• Finitely based monoids obtained from non-finitely based semigroups.
• Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups
• Varieties generated by unstable involution semigroups with continuum many subvarieties
• A sufficient condition under which a semigroup is nonfinitely based.
• Finitely based, finite sets of words

This page was built for publication: Non-finitely based monoids.

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