Bases for pseudovarieties closed under bideterministic product

DOI10.1007/S00012-019-0621-5MaRDI QIDQ2330863zbMATH OpenOpenAlexFDO

Authors Alfredo Costa, A. Escada

Publication date 23 October 2019

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

basis of pseudoidentitiesbideterministic productlocal pseudovarietiesmonoidsprofinite semigroupspseudovarieties

Mathematics Subject Classification ID

Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35)

Abstract: We show that if $mathsfV$ is a semigroup pseudovariety containing the finite semilattices and contained in $mathsfDS$, then it has a basis of pseudoidentities between finite products of regular pseudowords if, and only if, the corresponding variety of languages is closed under bideterministic product. The key to this equivalence is a weak generalization of the existence and uniqueness of $mathsfJ$-reduced factorizations. This equational approach is used to address the locality of some pseudovarieties. In particular, it is shown that $mathsfDHcapmathsfECom$ is local, for any group pseudovariety $mathsfH$.

Recommendations

• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• E-local pseudovarieties.
• On finitely based pseudovarieties of the forms \({\mathbf V}*{\mathbf D}\) and \({\mathbf V}*{\mathbf D}_n\)
• Semidirectly closed pseudovarieties of locally trivial semigroups
• On pseudovarieties, varieties of languages, filters of congruences, pseudoidentities and related topics

Cites work

• A SYNTACTICAL PROOF OF LOCALITY OF DA
• Aperiodic homomorphisms and the concatenation product of recognizable sets
• Categories as algebra: An essential ingredient in the theory of monoids
• Centralizers and central idempotents of semigroup rings
• Deterministic concatenation product of languages recognized by finite idempotent monoids.
• Equidivisible pseudovarieties of semigroups
• scientific article; zbMATH DE number 988808 (Why is no real title available?)
• scientific article; zbMATH DE number 3702106 (Why is no real title available?)
• scientific article; zbMATH DE number 3561239 (Why is no real title available?)
• scientific article; zbMATH DE number 591142 (Why is no real title available?)
• Infinite-vertex free profinite semigroupoids and symbolic dynamics.
• Join decompositions of pseudovarieties involving semigroups with commuting idempotents
• Local varieties of completely regular monoids
• Locally trivial categories and unambiguous concatenation
• Monoid varieties defined by \(x^{n+1}=x\) are local
• On finitely based pseudovarieties of the forms \({\mathbf V}*{\mathbf D}\) and \({\mathbf V}*{\mathbf D}_n\)
• ON THE LOCALITY OF THE PSEUDOVARIETY DG
• On the Pin-Thérien expansion of idempotent monoids
• Profinite categories and semidirect products
• Profinite categories, implicit operations and pseudovarieties of categories
• Profinite semigroups and applications.
• Profinite semigroups, Mal'cev products, and identities
• Pseudovarieties defining classes of sofic subshifts closed under taking shift equivalent subshifts.
• REDUCED FACTORIZATIONS IN FREE PROFINITE GROUPS AND JOIN DECOMPOSITIONS OF PSEUDOVARIETIES
• SOME OPERATORS THAT PRESERVE THE LOCALITY OF A PSEUDOVARIETY OF SEMIGROUPS
• The \(\mathfrak q\)-theory of finite semigroups.
• THE BIDETERMINISTIC CONCATENATION PRODUCT
• The Birkhoff theorem for finite algebras
• THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
• The lattice of pseudovarieties of idempotent semigroups and a non-regular analogue
• The linear nature of pseudowords
• Two algebraic approaches to variants of the concatenation product

Cited in

(1)

• scientific article; zbMATH DE number 1972793 (Why is no real title available?)

This page was built for publication: Bases for pseudovarieties closed under bideterministic product

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