Results 1  10
of
45
Profinite semigroups, Mal'cev products and identities
 J. ALGEBRA
, 1996
"... We compute a set of identities defining the Mal'cev product of pseudovarieties of finite semigroups or finite ordered semigroups. We also characterize the pointlike subsets of a finite semigroup by means of a relational morphism into a profinite semigroup. Finally, we apply our results to the p ..."
Abstract

Cited by 42 (17 self)
 Add to MetaCart
(Show Context)
We compute a set of identities defining the Mal'cev product of pseudovarieties of finite semigroups or finite ordered semigroups. We also characterize the pointlike subsets of a finite semigroup by means of a relational morphism into a profinite semigroup. Finally, we apply our results to the proof of the decidability of the Mal'cev products of a decidable pseudovariety with the pseudovarieties of nilpotent and of J trivial semigroups.
Closed subgroups in proV topologies and the extension problem for inverse automata
 INT. J. ALGEBRA COMPUT
, 1999
"... We relate the problem of computing the closure of a finitely generated subgroup of the free group in the proV topology, where V is a pseudovariety of finite groups, with an extension problem for inverse automata which can be stated as follows: given partial onetoone maps on a finite set, can they ..."
Abstract

Cited by 39 (7 self)
 Add to MetaCart
We relate the problem of computing the closure of a finitely generated subgroup of the free group in the proV topology, where V is a pseudovariety of finite groups, with an extension problem for inverse automata which can be stated as follows: given partial onetoone maps on a finite set, can they be extended into permutations generating a group in V? The two problems are equivalent when V is extensionclosed. Turning to practical computations, we modify Ribes and Zalesski i's algorithm to compute the prop closure of a finitely generated subgroup of the free group in polynomial time, and to effectively compute its pronilpotent closure. Finally, we apply our results to a problem in finite monoid theory, the membership problem in pseudovarieties of inverse monoids which are Mal'cev products of semilattices and a pseudovariety of groups.
Möbius functions and semigroup representation theory. II. Character formulas and multiplicities
 Adv. Math
"... Abstract. We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota’s theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idemp ..."
Abstract

Cited by 33 (8 self)
 Add to MetaCart
(Show Context)
Abstract. We generalize the character formulas for multiplicities of irreducible constituents from group theory to semigroup theory using Rota’s theory of Möbius inversion. The technique works for a large class of semigroups including: inverse semigroups, semigroups with commuting idempotents, idempotent semigroups and semigroups with basic algebras. Using these tools we are able to give a complete description of the spectra of random walks on finite semigroups admitting a faithful representation by upper triangular matrices over the complex numbers. These include the random walks on chambers of hyperplane arrangements studied by Bidigaire, Hanlon, Rockmere, Brown and Diaconis. Applications are also given to decomposing tensor powers and exterior products of rook matrix representations of inverse semigroups, generalizing
Profinite Methods in Semigroup Theory
 Int. J. Algebra Comput
, 2000
"... this paper. The extended bibliography given below shows other important contributions by Azevedo, Costa, Delgado, Pin, Teixeira, Volkov, Weil and Zeitoun. ..."
Abstract

Cited by 21 (2 self)
 Add to MetaCart
(Show Context)
this paper. The extended bibliography given below shows other important contributions by Azevedo, Costa, Delgado, Pin, Teixeira, Volkov, Weil and Zeitoun.
On the Decidability of Iterated Semidirect Products With Applications to Complexity
, 1997
"... The notion of hyperdecidability has been introduced by the first author as a tool to prove decidability of semidirect products of pseudovarieties of semigroups. In this paper we consider some stronger notions which lead to improved decidability results allowing us in turn to establish the decidab ..."
Abstract

Cited by 20 (9 self)
 Add to MetaCart
The notion of hyperdecidability has been introduced by the first author as a tool to prove decidability of semidirect products of pseudovarieties of semigroups. In this paper we consider some stronger notions which lead to improved decidability results allowing us in turn to establish the decidability of some iterated semidirect products. Roughly speaking, the decidability of a semidirect product follows from a mild, commonly verified property of the first factor plus the stronger property for all the other factors. A key role in this study is played by intermediate free semigroups (relatively free objects of expanded type lying between relatively free and relatively free profinite objects). As an application of the main results, the decidability of the KrohnRhodes (group) complexity is shown to follow from nonalgorithmic abstract properties likely to be satisfied by the pseudovariety of all finite aperiodic semigroups, thereby suggesting a new approach to answer (affirmativ...
Hyperdecidable Pseudovarieties and the Calculation of Semidirect Products
 Internat. J. Algebra Comput
"... This note introduces the notion of a hyperdecidable pseudovariety. This notion appears naturally in trying to prove decidability of the membership problem of semidirect products of pseudovarieties of semigroups. It turns out to be a generalization of a notion introduced by C. J. Ash in connection ..."
Abstract

Cited by 19 (7 self)
 Add to MetaCart
(Show Context)
This note introduces the notion of a hyperdecidable pseudovariety. This notion appears naturally in trying to prove decidability of the membership problem of semidirect products of pseudovarieties of semigroups. It turns out to be a generalization of a notion introduced by C. J. Ash in connection with his proof of the "type II" theorem. The main results in this paper include a formulation of the definition of a hyperdecidable pseudovariety in terms of free profinite semigroups, the equivalence with Ash's property in the group case, the behaviour under the operator g of taking the associated global pseudovariety of semigroupoids, and the decidability of V W in case gV is decidable and has a given finite vertexrank and W is hyperdecidable. A further application of this notion which is given establishes that the join of a hyperdecidable pseudovariety with a locally finite pseudovariety with computable free objects is again hyperdecidable. 1. Introduction A typical problem in...
Finite state automata: A geometric approach
 Trans. Amer. Math. Soc
"... Abstract. Recently, finite state automata, via the advent of hyperbolic and automatic groups, have become a powerful tool in geometric group theory. This paper develops a geometric approach to automata theory, analogous to various techniques used in combinatorial group theory, to solve various probl ..."
Abstract

Cited by 19 (11 self)
 Add to MetaCart
(Show Context)
Abstract. Recently, finite state automata, via the advent of hyperbolic and automatic groups, have become a powerful tool in geometric group theory. This paper develops a geometric approach to automata theory, analogous to various techniques used in combinatorial group theory, to solve various problems on the overlap between group theory and monoid theory. For instance, we give a geometric algorithm for computing the closure of a rational language in the profinite topology of a free group. We introduce some geometric notions for automata and show that certain important classes of monoids can be described in terms of the geometry of their Cayley graphs. A long standing open question, to which the answer was only known in the simplest of cases (and even then was nontrivial), is whether it is true, for a pseudovariety of groups H, thataJtrivial coextension of a group in H must divide a semidirect product of a Jtrivial monoid and a group in H. We show the answer is affirmative if H is closed under extension, and may be negative otherwise. 1.
On the extension problem for partial permutations
 PROC. AMER. MATH. SOC
, 2003
"... A family of pseudovarieties of solvable groups is constructed, each of which has decidable membership and undecidable extension problem for partial permutations. Included are a pseudovariety U satisfying no nontrivial group identity and a metabelian pseudovariety Q. For each of these pseudovarietie ..."
Abstract

Cited by 14 (2 self)
 Add to MetaCart
(Show Context)
A family of pseudovarieties of solvable groups is constructed, each of which has decidable membership and undecidable extension problem for partial permutations. Included are a pseudovariety U satisfying no nontrivial group identity and a metabelian pseudovariety Q. For each of these pseudovarieties V, the inverse monoid pseudovariety Sl∗V has undecidable membership problem. As a consequence, it is proved that the pseudovariety operators ∗, ∗∗, m○, ♦, ♦n, andP do not preserve decidability. In addition, several joins, including A ∨ U, are shown to be undecidable.
On an algorithm to decide whether a free group is a free factor of another
, 2006
"... We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in the rank of F. We show that the latter dependency can be m ..."
Abstract

Cited by 12 (9 self)
 Add to MetaCart
(Show Context)
We revisit the problem of deciding whether a finitely generated subgroup H is a free factor of a given free group F. Known algorithms solve this problem in time polynomial in the sum of the lengths of the generators of H and exponential in the rank of F. We show that the latter dependency can be made exponential in the rank difference rank(F) − rank(H), which often makes a significant change.