The finite basis problem for words with at most two non-linear variables.

DOI10.1007/S00233-016-9799-4zbMATH Open1350.20041arXiv1403.6430OpenAlexW3099273318MaRDI QIDQ305772FDOQ305772

Authors: Olga Sapir 

Publication date: 30 August 2016

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

Abstract: Let A be an alphabet and W be a set of words in the free monoid A*. Let S(W) denote the Rees quotient over the ideal of A* consisting of all words that are not subwords of words in W. We call a set of words W finitely based if the monoid S(W) is finitely based. We find a simple algorithm that recognizes finitely based words among words with at most two non-linear variables. We also describe syntactically all hereditary finitely based monoids of the form S(W).

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

Recommendations

• On the finite basis problem for certain 2-limited words.
• Finitely based, finite sets of words
• FINITELY BASED WORDS
• scientific article; zbMATH DE number 1668759
• scientific article; zbMATH DE number 1899886

zbMATH Keywords

bases of identitiesalphabetsfinite basis problemfinitely based monoidsfree monoidsinherently non-finitely based monoidsisotermsRees quotientssemigroup identitiessemigroup varieties

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 the monoid of two-by-two upper triangular tropical matrices
• Polyhedral convex cones and the equational theory of the bicyclic semigroup
• 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
• Maximal Specht varieties of monoids.
• Non-finitely based monoids.
• Finitely based monoids.

Cited In (10)

• Lee monoids are nonfinitely based while the sets of their isoterms are finitely based
• Varieties of monoids with complex lattices of subvarieties
• FINITELY BASED WORDS
• Finitely based monoids.
• Non-finitely based monoids.
• Finitely and non-finitely related words
• Classification of finitely based words in a class of words over a \(3\)-letter alphabet.
• On the finite basis problem for certain 2-limited words.
• Finitely based sets of 2-limited block-2-simple words
• Deciding whether a finite set of words has rank at most two

This page was built for publication: The finite basis problem for words with at most two non-linear variables.

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