Results 1 
9 of
9
Ash's type II theorem, profinite topology and Malcev products Part I
"... 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 Ma ..."
Abstract

Cited by 43 (9 self)
 Add to MetaCart
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 gH 1 H 2 \Delta \Delta \Delta Hn , where each H i is a finitely generated subgroup of G. This significantly extends classical results by M. Hall. Final...
Hyperdecidability of Pseudovarieties of Orthogroups
 Glasgow Math. J
"... Let W denote the intersection with the pseudovariety of completely regular semigroups of the Mal'cev product B fl m V of the pseudovariety of bands with a pseudovariety of completely regular semigroups. It is shown that the (pseudo)word problem for W is reduced to that for V in such a way that deci ..."
Abstract

Cited by 8 (8 self)
 Add to MetaCart
Let W denote the intersection with the pseudovariety of completely regular semigroups of the Mal'cev product B fl m V of the pseudovariety of bands with a pseudovariety of completely regular semigroups. It is shown that the (pseudo)word problem for W is reduced to that for V in such a way that decidability is preserved in case say only terms (i.e., terms involving only multiplication and the (! \Gamma 1)power) are considered. It is also shown that, if V is a hyperdecidable (respectively reducible) pseudovariety of groups, then so is W. 1 Introduction Motivated by the KrohnRhodes complexity problem [22], the search for uniform algorithms for computing semidirect products of pseudovarieties has led to substantial research in the theory of finite semigroups. Even though there is no universal solution, since the semidirect product of decidable pseudovarieties is not necessarily decidable [1], under suitable assumptions on the factors, the semidirect product might be decidable. The no...
A Conjecture on the Concatenation Product
"... In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Malcev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure  this oper ..."
Abstract

Cited by 7 (2 self)
 Add to MetaCart
In a previous paper, the authors studied the polynomial closure of a variety of languages and gave an algebraic counterpart, in terms of Malcev products, of this operation. They also formulated a conjecture about the algebraic counterpart of the boolean closure of the polynomial closure  this operation corresponds to passing to the upper level in any concatenation hierarchy . Although this conjecture is probably true in some particular cases, we give a counterexample in the general case. Another counterexample, of a different nature, was independently given recently by Steinberg. Taking these two counterexamples into account, we propose a modified version of our conjecture. We show in particular that a solution to our new conjecture would give a solution of the decidability of the levels 2 of the StraubingThérien hierarchy and of the dotdepth hierarchy. Consequences for the other levels are also discussed.
Finite Semigroups as Categories, Ordered Semigroups Or Compact Semigroups
, 1994
"... this article, I would like to emphasize the role of three of these tools: topology, partial orders and categories. The three parts are relatively independent ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
this article, I would like to emphasize the role of three of these tools: topology, partial orders and categories. The three parts are relatively independent
Covers for Monoids
"... . In this contribution to the structure theory of semigroups, we propose a unified generalisation of a string of results on group extensions, originating on the one hand in the seminal structure and covering theorems of McAlister and on the other, in Ash's celebrated solution of the Rhodes conjectur ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
. In this contribution to the structure theory of semigroups, we propose a unified generalisation of a string of results on group extensions, originating on the one hand in the seminal structure and covering theorems of McAlister and on the other, in Ash's celebrated solution of the Rhodes conjecture in finite semigroup theory. McAlister proved that each inverse monoid admits an Eunitary cover, and gave a structure theorem for Eunitary inverse monoids. Subsequent generalisations extended one or both results to orthodox monoids (McAlister, Szendrei, Takizawa), regular monoids (Trotter), Edense semigroups in which the idempotents form a semilattice (Margolis and Pin, Fountain), and Edense semigroups in which the idempotents form a subsemigroup (Almeida, Pin and Weil, Zhonghao Jiang). We show that any Edense monoid admits a Dunitary Edense cover and we provide a structure theorem for Dunitary Edense monoids, in terms of groups acting on a category. Here D(M) is the least weakly s...
On the equation V * G = ΕV
"... This note uses some recent powerful tools related with semidirect products V W of pseudovarieties of semigroups, particularly when the second factor is the pseudovariety G of all finite groups, to give syntactic proofs of equalities of the form V G = EV, where EV denotes the pseudovariety consisti ..."
Abstract
 Add to MetaCart
This note uses some recent powerful tools related with semidirect products V W of pseudovarieties of semigroups, particularly when the second factor is the pseudovariety G of all finite groups, to give syntactic proofs of equalities of the form V G = EV, where EV denotes the pseudovariety consisting of the finite semigroups whose idempotents generate subsemigroups from V. Subpseudovarieties V of DS are considered, including all subpseudovarieties of LI, DA, DS itself, and J, the latter providing a new proof of a result of Henckell and Rhodes. 1. Introduction Since the publication of Eilenberg's treatise [13], motivated by earlier developments stemming from applications in computer science, the theory of finite semigroups has evolved mainly in the form of their classification in pseudovarieties. For later developments, see the introductory book by Pin [23] and the first author's book [1]. From the early beginnings, several operators on pseudovarieties associated with natural operator...
Semidirect Products With the Pseudovariety of All Finite Groups
, 2000
"... This is a survey of recent results related to semidirect products of an arbitrary pseudovariety with the pseudovariety of all nite groups. The main avour is the establishment of links between various operators on pseudovarieties, some obviously computable, others known not to be so. This not only le ..."
Abstract
 Add to MetaCart
This is a survey of recent results related to semidirect products of an arbitrary pseudovariety with the pseudovariety of all nite groups. The main avour is the establishment of links between various operators on pseudovarieties, some obviously computable, others known not to be so. This not only leads to decidability results but does so in a sort of uniform way which has a structural tint even though the arguments are mostly syntactical.
unknown title
"... This paper is devoted to the study of the bideterministic concatenation product, a variant of the concatenation product. We give an algebraic characterization of the varieties of languages closed under this product. More precisely, let V be a variety of monoids, V the corresponding variety of langua ..."
Abstract
 Add to MetaCart
This paper is devoted to the study of the bideterministic concatenation product, a variant of the concatenation product. We give an algebraic characterization of the varieties of languages closed under this product. More precisely, let V be a variety of monoids, V the corresponding variety of languages and ˆ V the smallest variety containing V and the bideterministic products of two languages of V. We give an algebraic description of the variety of monoids bV corresponding to ˆ V. For instance, we compute b V when V is one of the following varieties: the variety of idempotent and commutative monoids, the variety of monoids which are semilattices of groups of a given variety of groups, the variety of Rtrivial and idempotent monoids. In particular, we show that the smallest variety of languages closed under bideterministic product and containing the language {1}, corresponds to the variety of Jtrivial monoids with commuting idempotents. Similar results were known for the other variants of the concatenation product, but the corresponding algebraic operations on