32 research outputs found
Semigroups whith idempotent stabilizers and applications to automata theory
We show that every finite semigroup is a quotient of a finite semigroup in which every right stabilizer satisfies the identities x = x^2 and xy = xyx. This result has several consequences. We first give a geometrical application : every finite transformation semigroup has a fixpoint-free covering (a transformation semigroup is fixpoint-free if every element which stabilizes a point is idempotent). Next we use our result and a result of I. Simon on congruences on paths to obtain a purely algebraic proof of a deep theorem of McNaughton on infinite words. Finally, we give an algebraic proof of a theorem of Brown on a finiteness condition for semigroups
On factorisation forests
The theorem of factorisation forests shows the existence of nested
factorisations -- a la Ramsey -- for finite words. This theorem has important
applications in semigroup theory, and beyond. The purpose of this paper is to
illustrate the importance of this approach in the context of automata over
infinite words and trees. We extend the theorem of factorisation forest in two
directions: we show that it is still valid for any word indexed by a linear
ordering; and we show that it admits a deterministic variant for words indexed
by well-orderings. A byproduct of this work is also an improvement on the known
bounds for the original result. We apply the first variant for giving a
simplified proof of the closure under complementation of rational sets of words
indexed by countable scattered linear orderings. We apply the second variant in
the analysis of monadic second-order logic over trees, yielding new results on
monadic interpretations over trees. Consequences of it are new caracterisations
of prefix-recognizable structures and of the Caucal hierarchy.Comment: 27 page
Quivers of monoids with basic algebras
We compute the quiver of any monoid that has a basic algebra over an
algebraically closed field of characteristic zero. More generally, we reduce
the computation of the quiver over a splitting field of a class of monoids that
we term rectangular monoids (in the semigroup theory literature the class is
known as ) to representation theoretic computations for group
algebras of maximal subgroups. Hence in good characteristic for the maximal
subgroups, this gives an essentially complete computation. Since groups are
examples of rectangular monoids, we cannot hope to do better than this.
For the subclass of -trivial monoids, we also provide a semigroup
theoretic description of the projective indecomposables and compute the Cartan
matrix.Comment: Minor corrections and improvements to exposition were made. Some
theorem statements were simplified. Also we made a language change. Several
of our results are more naturally expressed using the language of Karoubi
envelopes and irreducible morphisms. There are no substantial changes in
actual result
Ash's type II theorem, profinite topology and Malcev products
This paper is concerned with the many deep and far reaching consequences of Ash's positive solution of the type II conjecture for finite monoids. After rewieving the statement and history of the problem, we show how it can be used to decide if a finite monoid is in the variety generated by the Malcev product of a given variety and the variety of groups. Many interesting varieties of finite monoids have such a description including the variety generated by inverse monoids, orthodox monoids and solid monoids. A fascinating case is that of block groups. A block group is a monoid such that every element has at most one semigroup inverse. As a consequence of the cover conjecture - also verified by Ash - it follows that block groups are precisely the divisors of power monoids of finite groups. The proof of this last fact uses earlier results of the authors and the deepest tools and results from global semigroup theory. We next give connections with the profinite group topologies on finitely generated free monoids and free groups. In particular, we show that the type II conjecture is equivalent with two other conjectures on the structure of closed sets (one conjecture for the free monoid and another one for the free group). Now Ash's theorem implies that the two topological conjectures are true and independently, a direct proof of the topological conjecture for the free group has been recently obtained by Ribes and Zalesskii. An important consequence is that a rational subset of a finitely generated free group G is closed in the profinite topology if and only if it is a finite union of sets of the form gH1H2... Hn, where each Hi is a finitely generated subgroup of G. This significantly extends classical results by M. Hall. Finally we return to the roots of this problem and give connections with the complexity theory of finite semigroups. We show that the largest local complexity function in the sense of Rhodes and Tilson is computable
The linear nature of pseudowords
Given a pseudoword over suitable pseudovarieties, we associate to it a labeled linear order determined by the factorizations of the pseudoword. We show that, in the case of the pseudovariety of aperiodic finite semigroups, the pseudoword can be recovered from the labeled linear order.The work of the first, third, and fourth authors was partly supported by the Pessoa French-Portuguese project “Separation in automata theory: algebraic, logical, and combinatorial aspects”. The
work of the first three authors was also partially supported respectively
by CMUP (UID/MAT/ 00144/2019), CMUC (UID/MAT/00324/2019),
and CMAT (UID/MAT/ 00013/2013), which are funded by FCT (Portugal) with national (MCTES) and European structural funds (FEDER), under the partnership agreement PT2020. The work of the fourth author was partly supported by ANR 2010 BLAN 0202 01 FREC and by
the DeLTA project ANR-16-CE40-000