scientific article; zbMATH DE number 798167

zbMATH Open0844.20039MaRDI QIDQ4848740FDOQ4848740

Authors: Jorge Almeida 

Publication date: 19 September 1995

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 53371
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• scientific article; zbMATH DE number 4008680
• Some algorithmic problems for pseudovarieties
• Some key problems on finite semigroups

zbMATH Keywords

formal languagesfree algebrasfinite semigroupsidentitiesmonoidsmonoid presentationsmembership problempseudovarietiesBirkhoff varietiesvarieties of finite semigroupspseudoidentityfinite pseudoidentity basislist of research problemstopological algebra of implicit operations

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01) Lattices of varieties (08B15) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Free semigroups, generators and relations, word problems (20M05) Quasivarieties (08C15) Varieties and pseudovarieties of semigroups (20M07) Semigroups in automata theory, linguistics, etc. (20M35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01)

Cited In (only showing first 100 items - show all)

• Representations of relatively free profinite semigroups, irreducibility, and order primitivity
• A combinatorial property of ideals in free profinite monoids.
• Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
• Locally \(E\)-solid epigroups
• A Note on Decidable Separability by Piecewise Testable Languages
• A Munn tree type representation for the elements of the bifree locally inverse semigroup
• Bilateral locally testable languages.
• Every decidable pseudovariety of abelian groups is completely tame
• On formations of monoids
• On a class of completely join prime \(J\)-trivial semigroups with unique involution
• On a locality-like property of the pseudovariety J
• The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
• A counterexample to a conjecture concerning concatenation hierarchies
• The word problem for omega-terms over the Trotter-Weil hierarchy
• About the power pseudovariety \(\mathbf{PCS}\)
• \(\mathsf E\)-local pseudovarieties.
• The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups
• Free profinite \(\mathcal R\)-trivial, locally idempotent and locally commutative semigroups
• Expressive power of existential first-order sentences of Büchi's sequential calculus
• Cancellable elements of the lattice of monoid varieties
• The intersection problem for finite monoids
• Separability and efficiency under standard wreath product in terms of Cayley graphs.
• The \(\kappa\)-word problem over \(\mathsf{DRH}\)
• Limit varieties of \(J\)-trivial monoids
• Two weaker variants of congruence permutability for monoid varieties
• On join irreducible \(J\)-trivial semigroups
• Ehresmann semigroups whose categories are EI and their representation theory
• Formations of inverse semigroups
• Finite quasivarieties and self-referential conditions
• Projective indecomposable modules and quivers for monoid algebras
• On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\).
• The rank of variants of nilpotent pseudovarieties
• THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES
• The monoid of \(2 \times 2\) triangular Boolean matrices under skew transposition is non-finitely based
• Complete κ-reducibility of pseudovarieties of the form DRH
• Circuit complexity of regular languages
• Complementation of Branching Automata for Scattered and Countable Series-Parallel Posets
• Tropical representations and identities of the stylic monoid
• Stone duality, topological algebra, and recognition.
• Locally countable pseudovarieties
• On the group of a rational maximal bifix code
• Identical inclusions of semilattices
• Low growth equational complexity
• Operations preserving regular languages
• The Wadge-Wagner hierarchy of ω-rational sets
• On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids
• A sufficient condition under which a semigroup is nonfinitely based.
• A method for the construction of complete congruences on lattices of pseudovarieties
• Wreath product and infinite words
• Geometrically closed positive varieties of languages
• Formations of orthodox semigroups
• On semidirectly closed non-aperiodic pseudovarieties of finite monoids
• Generalized Eilenberg theorem. Varieties of languages in a category
• Finite basis problem for Catalan monoids with involution
• Theme and variations on the concatenation product
• Small and countable inclusive varieties of semigroups
• Strongly locally testable semigroups with commuting idempotents and related languages
• On the transition monoid of the Stallings automaton of a subgroup of a free group
• Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\).
• Finite basis problem for the variety generated by all monoids of order five
• Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups
• The intersection problem for finite semigroups
• An introduction to q-central idempotents and q-abelian rings
• Some reducibility properties for pseudovarieties of the form \(DRH\)
• Reaching the minimum ideal in a finite semigroup
• Weak separation problem for tree languages
• Limit varieties generated by finite non-J-trivial aperiodic monoids
• Stone pseudovarieties
• The lattice of varieties of strict left restriction semigroups
• Substitution Principle and semidirect products
• Locality and Centrality: The Variety ZG
• The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin
• Krohn-Rhodes complexity pseudovarieties are not finitely based
• The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies
• Hierarchies of Piecewise Testable Languages
• Pro-aperiodic monoids via saturated models
• On semidirectly closed pseudovarieties of finite semigroups and monoids
• Weighted automata and logics meet computational complexity
• Identities of the Jones monoid \(\mathcal{J}_5\)
• On the pseudovariety generated by all finite monoids satisfying \(\mathcal R=\mathcal H\).
• TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
• \(\omega\sharp\)-algebras
• An effective lower bound for group complexity of finite semigroups and automata
• \(F\)-inverse monoids as algebraic structures in enriched signature
• A survey on varieties generated by small semigroups and a companion website
• Complementation of Branching Automata for Scattered and Countable N-Free Posets
• Equational Theories of Scattered and Countable Series-Parallel Posets
• The pseudovariety of semigroups of triangular matrices over a finite field
• An embedding of semigroups into regular semigroups that preserves structure and finiteness.
• A profinite approach to complete bifix decodings of recurrent languages
• Maximal subgroups of the minimal ideal of a free profinite monoid are free.
• The expressive power of the shuffle product
• Join decompositions of pseudovarieties involving semigroups with commuting idempotents
• A sufficient condition for the non-finite basis property of semigroups.
• A Reiterman theorem for pseudovarieties of finite first-order structures
• Cayley's and Holland's theorems for idempotent semirings and their applications to residuated lattices
• Stone duality and the recognisable languages over an algebra
• The geometry of profinite graphs with applications to free groups and finite monoids
• Title not available (Why is that?)
• Join irreducible semigroups

This page was built for publication:

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