Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon
The pseudovariety J of finite \({\mathcal J}\)-trivial semigroups and its relationship to piecewise testable languages have been investigated, in particular, by \textit{H. Straubing} [Semigroup Forum 19, 107-110 (1980; Zbl 0435.20036)] and \textit{I. Simon} [Autom. Theor. Form. Lang., 2nd GI Conf., Lect. Notes Comput. Sci. 33, 214-222 (1975; Zbl 0316.68034)]. The present paper is devoted to the topological semigroup of n-ary implicit operations on J; among other things, it is shown that this semigroup is generated by the n component projections together with the \(2^ n-1\) idempotents. This result implies the countability of the completion of the metric space \((A^*,d)\) over a finite alphabet A, where \(d(u,v)=2^{-r}\) for the largest integer r such that \(u,v\in A^*\) have the same subwords of length at most r.
- scientific article; zbMATH DE number 3811868 (Why is no real title available?)
- scientific article; zbMATH DE number 4010784 (Why is no real title available?)
- scientific article; zbMATH DE number 4028925 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3495598 (Why is no real title available?)
- scientific article; zbMATH DE number 4127287 (Why is no real title available?)
- scientific article; zbMATH DE number 3326329 (Why is no real title available?)
- On finite \(\mathcal J\)-trivial monoids
- Partially ordered finite monoids and a theorem of I. Simon
- The algebra of implicit operations
- The Birkhoff theorem for finite algebras
- The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
- Partially ordered finite monoids and a theorem of I. Simon
- The join of the pseudovarieties of \(\mathcal R\)-trivial and \(\mathcal L\)-trivial monoids
- Free profinite R-trivial, locally idempotent and locally commutative semigroups
- Over testable languages
- Polynomial closure and unambiguous product
- Profinite categories and semidirect products
- The word problem for omega-terms over the Trotter-Weil hierarchy
- Tribute: The influence of Imre Simon's work in the theory of automata, languages and semigroups
- The \(\omega\)-inequality problem for concatenation hierarchies of star-free languages
- Logic, semigroups and automata on words
- The word problem for -terms over the pseudovariety of local groups
- On the height of towers of subsequences and prefixes
- Pointlike sets with respect to R and J.
- Locally countable pseudovarieties
- On upper and lower bounds on the length of alternating towers
- McCammond’s normal forms for free aperiodic semigroups revisited
- Representations of the free profinite object over \(\mathbf{DA}\).
- Hierarchies of Piecewise Testable Languages
- Hierarchies of piecewise testable languages
- ON DIRECT PRODUCT DECOMPOSITIONS OF FINITE $\mathscr J$-TRIVIAL SEMIGROUPS
- Strongly locally testable semigroups with commuting idempotents and related languages
- On Shuffle Ideals
- PSEUDOVARIETY JOINS INVOLVING ${\mathscr J}$ -TRIVIAL SEMIGROUPS
- The product of rational languages
- REFLEXIVE RELATIONS, EXTENSIVE TRANSFORMATIONS AND PIECEWISE TESTABLE LANGUAGES OF A GIVEN HEIGHT
- The pseudovariety of semigroups of triangular matrices over a finite field
- On -identities over finite aperiodic semigroups with commuting idempotents
- Free profinite locally idempotent and locally commutative semigroups
- Semidirect product with an order-computable pseudovariety and tameness.
- Piecewise testable languages via combinatorics on words
- Dot-depth three, return of the j-class
- Semi-Galois categories. I: The classical Eilenberg variety theory
- Pseudovarieties of semigroups
- Tameness of pseudovariety joins involving R.
- On bases of identities for the -variety generated by locally testable semigroups.
This page was built for publication: Implicit operations on finite \({\mathcal J}\)-trivial semigroups and a conjecture of I. Simon
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2276995)
