Equidivisible pseudovarieties of semigroups

  title={Equidivisible pseudovarieties of semigroups},
  author={Jorge Almeida and Alfredo Costa},
  journal={Publicationes Mathematicae Debrecen},
We give a complete characterization of pseudovarieties of semigroups whose finitely generated relatively free profinite semigroups are equidivisible. Besides the pseudovarieties of completely simple semigroups, they are precisely the pseudovarieties that are closed under Mal'cev product on the left by the pseudovariety of locally trivial semigroups. A further characterization which turns out to be instrumental is as the non-completely simple pseudovarieties that are closed under two-sided… 
Bases for pseudovarieties closed under bideterministic product
We show that if $\mathsf V$ is a semigroup pseudovariety containing the finite semilattices and contained in $\mathsf {DS}$, then it has a basis of pseudoidentities between finite products of regular
Locally countable pseudovarieties.
The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are
Towards a pseudoequational proof theory
A new scheme for proving pseudoidentities from a given set {\Sigma} of pseudoidentities, which is clearly sound, is also shown to be complete in many instances, such as when {\Sigma} defines a
The linear nature of pseudowords
It is shown that, in the case of the pseudovariety of aperiodic finite semigroups, the pseudoword can be recovered from the labeled linear order.
On the group of a rational maximal bifix code
Abstract We give necessary and sufficient conditions for the group of a rational maximal bifix code Z to be isomorphic with the F-group of Z∩F{Z\cap F}, when F is recurrent and Z∩F{Z\cap F} is
Non-locality of the meet levels of the Trotter-Weil Hierarchy
We prove that the meet level $m$ of the Trotter-Weil, $\mathsf{V}_m$ is not local for all $m \geq 1$, as conjectured in a paper by Kufleitner and Lauser. In order to show this, we explicitly provide
Continuity and Rational Functions
The decidability of continuity for functional transducers and some standard classes of regular languages is reported on.
Iterated morphisms, combinatorics on words and symbolic dynamical systems. (Morphismes itérés, combinatoire des mots et systèmes dynamiques symboliques)
The main subject of the thesis is the recognizability of words generated by primitive morphisms, using a coherent model of combinatorics on words and symbolic dynamical systems.
Continuity of Functional Transducers: A Profinite Study of Rational Functions
A word-to-word function is continuous for a class of languages~$\mathcal{V}$ if its inverse maps $\mathcal{V}$_languages to~$\mathcal{V}$. This notion provides a basis for an algebraic study of


Representations of relatively free profinite semigroups, irreducibility, and order primitivity
We establish that, under certain closure assumptions on a pseudovariety of semigroups, the corresponding relatively free profinite semigroups freely generated by a non-singleton finite set act
Profinite semigroups and applications
Profinite semigroups may be described briefly as projective limits of finite semigroups. They come about naturally by studying pseudovarieties of finite semigroups which in turn serve as a
The computation of some pseudovariety joins of the form LI∨H∨V, where LI is the pseudovoriety of locally trivial semigroups and H is any pseudovARiety of groups, is presented.
Infinite-vertex free profinite semigroupoids and symbolic dynamics
Abstract Some fundamental questions about infinite-vertex (free) profinite semigroupoids are clarified, putting in evidence differences with the finite-vertex case. This is done with examples of free
The Birkhoff theorem for finite algebras
A finite analogue of the Birkhoff variety theorem is proved: a non-void class of finite algebras of a finite type τ is closed under the formation of finite products, subalgebras and homomorphic
Profinite Semigroups, Varieties, Expansions and the Structure of Relatively Free Profinite Semigroups
The structure of the minimal ideal of relatively free profinite semigroups is studied showing, in particular, that the minimal Ideal of the free Profinite semigroup on a finite set with more than two generators is not a relatively freeProfinite completely simple semigroup, as well as some generalizations to related pseudovarieties.
Profinite semigroups
A survey of results on profinite semigroups and their link with symbolic dynamics and some original results on the Schützenberger groups associated to a uniformly recurrent set are included.
Goes to the advanced topics rather fast. Contains up-to-date proofs for free inverse semigroups, topics on biordered sets, Isbell's zigzags , and some combinatorics of transformation semigroups.]
Semigroup expansions using the derived category, kernel, and Malcev products
Three new classes of expansions are defined in this paper. More precisely, three different expansions are associated to each semigroup variety V. It is shown that several previously defined
Radicals for Fitting pseudovarieties of groups are in- vestigated from a profinite viewpoint in order to describe Malcev products on the left by the corresponding local pseudovariety of semigroups.