# Equidivisible pseudovarieties of semigroups

@article{Almeida2016EquidivisiblePO,
title={Equidivisible pseudovarieties of semigroups},
author={Jorge Almeida and Alfredo Costa},
journal={Publicationes Mathematicae Debrecen},
year={2016},
volume={90},
pages={435-453}
}
• Published 1 March 2016
• Mathematics
• 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…
10 Citations
Bases for pseudovarieties closed under bideterministic product
• Mathematics
Algebra universalis
• 2019
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.
• Mathematics
• 2019
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
• Mathematics
Portugaliae Mathematica
• 2018
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
• Computer Science, Mathematics
Publicacions Matemàtiques
• 2019
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
• Mathematics
• 2018
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
• Computer Science, Mathematics
ICALP
• 2017
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
• Computer Science, Mathematics
Log. Methods Comput. Sci.
• 2020
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

## References

SHOWING 1-10 OF 29 REFERENCES
Representations of relatively free profinite semigroups, irreducibility, and order primitivity
• Mathematics
• 2015
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
SOME PSEUDOVARIETY JOINS INVOLVING GROUPS AND LOCALLY TRIVIAL SEMIGROUPS
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
• Mathematics
• 2009
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
• Mathematics, Computer Science
Int. J. Algebra Comput.
• 2001
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
• Computer Science, Mathematics
ArXiv
• 2017
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.
on SEMIGROUPS
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
CHARACTERIZATION OF GROUP RADICALS WITH AN APPLICATION TO MAL'CEV PRODUCTS
• Mathematics
• 2010
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.