Non-finitely based monoids.

DOI10.1007/S00233-015-9708-2MaRDI QIDQ744847zbMATH OpenOpenAlexFDO

Authors Olga Sapir

Publication date 12 October 2015

Published in Semigroup Forum (Search for Journal in Brave)

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

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)

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.

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

Cites work

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

Cited in

(26)

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

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)