scientific article; zbMATH DE number 798167
From MaRDI portal
Publication:4848740
zbMath0844.20039MaRDI QIDQ4848740
Publication date: 19 September 1995
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
identitiesfinite semigroupsmembership problemmonoidsfree algebrasmonoid presentationspseudovarietiesformal languagesBirkhoff varietiesvarieties of finite semigroupspseudoidentityfinite pseudoidentity basislist of research problemstopological algebra of implicit operations
Lattices of varieties (08B15) Varieties and pseudovarieties of semigroups (20M07) Free semigroups, generators and relations, word problems (20M05) Semigroups in automata theory, linguistics, etc. (20M35) Quasivarieties (08C15) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to group theory (20-01) Research exposition (monographs, survey articles) pertaining to group theory (20-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to general algebraic systems (08-01)
Related Items (only showing first 100 items - show all)
An introduction to q-central idempotents and q-abelian rings ⋮ Strongly locally testable semigroups with commuting idempotents and related languages ⋮ TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES ⋮ Equational Theories of Scattered and Countable Series-Parallel Posets ⋮ SEMIDIRECT PRODUCTS OF ORDERED SEMIGROUPS ⋮ The Division Relation: Congruence Conditions and Axiomatisability ⋮ Some reducibility properties for pseudovarieties of the form DRH ⋮ The Wadge-Wagner hierarchy of ω-rational sets ⋮ Unnamed Item ⋮ Finite basis problem for Catalan monoids with involution ⋮ On semidirectly closed pseudovarieties of finite semigroups and monoids ⋮ A survey on varieties generated by small semigroups and a companion website ⋮ Locality and Centrality: The Variety ZG ⋮ A profinite approach to complete bifix decodings of recurrent languages ⋮ Formations of orthodox semigroups ⋮ On the transition monoid of the Stallings automaton of a subgroup of a free group ⋮ Unnamed Item ⋮ Limit varieties generated by finite non-J-trivial aperiodic monoids ⋮ Substitution Principle and semidirect products ⋮ The omega-reducibility of pseudovarieties of ordered monoids representing low levels of concatenation hierarchies ⋮ Duality and Equational Theory of Regular Languages ⋮ Chain varieties of monoids ⋮ Generalized Eilenberg Theorem ⋮ Hierarchies of Piecewise Testable Languages ⋮ Complete endomorphisms of the lattice of pseudovarieties of finite semigroups ⋮ Literal Varieties of Languages Induced by Homomorphisms onto Nilpotent Groups ⋮ An effective lower bound for group complexity of finite semigroups and automata ⋮ Projective indecomposable modules and quivers for monoid algebras ⋮ On semidirectly closed non-aperiodic pseudovarieties of finite monoids ⋮ Monoid varieties with extreme properties ⋮ Circuit complexity of regular languages ⋮ Semigroups with apartness ⋮ THE LATTICE OF VARIETIES OF STRICT LEFT RESTRICTION SEMIGROUPS ⋮ ω♯-Algebras ⋮ The pseudovariety $J$ is hyperdecidable ⋮ EQUATIONAL DESCRIPTIONS OF LANGUAGES ⋮ The Algebra of Adjacency Patterns: Rees Matrix Semigroups with Reversion ⋮ Free profinite locally idempotent and locally commutative semigroups ⋮ COMBINATORIAL REES–SUSHKEVICH VARIETIES THAT ARE CROSS, FINITELY GENERATED, OR SMALL ⋮ Monoid kernels and profinite topologies on the free Abelian group ⋮ The globals of pseudovarieties of ordered semigroups containingB2and an application to a problem proposed by Pin ⋮ The pseudovariety of semigroups of triangular matrices over a finite field ⋮ Krohn-Rhodes complexity pseudovarieties are not finitely based ⋮ A Robust Class of Regular Languages ⋮ Complementation of Branching Automata for Scattered and Countable N-Free Posets ⋮ Logic and Bounded-Width Rational Languages of Posets over Countable Scattered Linear Orderings ⋮ An embedding of semigroups into regular semigroups that preserves structure and finiteness. ⋮ Stone duality, topological algebra, and recognition. ⋮ The geometry of profinite graphs with applications to free groups and finite monoids ⋮ Representation theory of finite semigroups, semigroup radicals and formal language theory ⋮ THE FINITE BASIS PROBLEM FOR INVOLUTION SEMIGROUPS OF TRIANGULAR MATRICES ⋮ Representations of relatively free profinite semigroups, irreducibility, and order primitivity ⋮ Matrix Mortality and the Černý-Pin Conjecture ⋮ Low Growth Equational Complexity ⋮ Join irreducible semigroups ⋮ Weak Separation Problem for Tree Languages ⋮ The Intersection Problem for Finite Semigroups ⋮ The quiver of an affine monoid ⋮ Semigroups of order-preserving mappings ⋮ F-inverse monoids as algebraic structures in enriched signature ⋮ Finite basis problem for the variety generated by all monoids of order five ⋮ Bilateral locally testable languages. ⋮ Reaching the minimum ideal in a finite semigroup ⋮ The finite basis problem for infinite involution semigroups of triangular \(2 \times 2\) matrices ⋮ Stone Duality and the Recognisable Languages over an Algebra ⋮ Operations preserving regular languages ⋮ Shuffle on positive varieties of languages ⋮ About the power pseudovariety \(\mathbf{PCS}\) ⋮ Characterization of the pseudovariety generated by finite monoids satisfying \(\mathcal R=\mathcal H\). ⋮ The word problem for omega-terms over the Trotter-Weil hierarchy ⋮ Pointlike sets for varieties determined by groups ⋮ Axiomatizing the equational theory of regular tree languages ⋮ On FO 2 Quantifier Alternation over Words ⋮ Algorithmic problems for finite groups and finite \(0\)-simple semigroups ⋮ On join irreducible \(J\)-trivial semigroups ⋮ Polynomial closure and unambiguous product ⋮ The finite basis problem in the pseudovariety joins of aperiodic semigroups with groups ⋮ Inverse subsemigroups and classes of finite aperiodic semigroups. ⋮ Newton’s Forward Difference Equation for Functions from Words to Words ⋮ Formations of inverse semigroups ⋮ The rank of variants of nilpotent pseudovarieties ⋮ Profinite categories, implicit operations and pseudovarieties of categories ⋮ Rees quotients of numerical semigroups. ⋮ A method for the construction of complete congruences on lattices of pseudovarieties ⋮ A Reiterman theorem for pseudovarieties of finite first-order structures ⋮ A Munn tree type representation for the elements of the bifree locally inverse semigroup ⋮ Finite basis problem for semigroups of order six ⋮ The \(\kappa\)-word problem over \(\mathsf{DRH}\) ⋮ The intersection problem for finite monoids ⋮ Power semigroups of finite groups and the INFB property. ⋮ On the group of a rational maximal bifix code ⋮ On a class of completely join prime \(J\)-trivial semigroups with unique involution ⋮ Tree algebras and varieties of tree languages ⋮ Identical inclusions of semilattices ⋮ A non-finitely based involution semigroup of order five ⋮ A Note on Decidable Separability by Piecewise Testable Languages ⋮ On formations of monoids ⋮ On free spectra of finite monoids from the pseudovariety \(\mathsf{DA}\). ⋮ Ultrafilters on words for a fragment of logic ⋮ Tropical representations and identities of the stylic monoid
This page was built for publication:
