SEMIDIRECT PRODUCTS OF CATEGORIES AND APPLICATIONS

This paper oers denitions for the semidirect product of categories, Cayley graphs for categories, and the kernel of a relational morphism of categories which will allow us to construct free (pronite) objects for the semidirect product of two (pseudo)varieties of categories analogous to the monoid case. The main point of this paper is to prove g(V W) = gV gW. Previous attempts at this have contained errors which, the author feels, are due to an incorrect usage of the wreath product. In this paper we make no use of wreath products, but use instead representations of the free objects. Analogous results hold for semigroups and semigroupoids. We then give some applications by computing pseudoidentities for various semidirect products of pseudovarieties. A further application will appear in a forthcoming joint work with Almeida where we compute nite iterated semidirect products such as A G J G J ::: G J. We obtain analogous results for the two-sided semidirect product. This paper also recovers the incorrectly proven result of Jones and Pustejovsky needed to prove that DS is local. We conclude by showing that our semidirect product can be used to classify split exten- sions of groupoids, generalizing the classical theory for groups.

[1]  Peter R. Jones,et al.  Locality of DS and associated varieties , 1995 .

[2]  Peter R. Jones,et al.  Local Varieties of Completely Regular Monoids , 1992 .

[3]  Jean-François Rey.  Le produit en bloc de c-varietes et le theoreme du noyau : une unification des approches , 1995 .

[4]  Jorge Almeida.  A Syntactical Proof of Locality of da , 1996, Int. J. Algebra Comput..

[5]  Jorge Almeida,et al.  Finite Semigroups and Universal Algebra , 1995 .

[6]  John Rhodes,et al.  The kernel of monoid morphisms , 1989 .

[7]  Karsten Henckell,et al.  Ash's Type II Theorem, Profinite Topology and Malcev Products: Part I , 1991, Int. J. Algebra Comput..

[8]  Jorge Almeida,et al.  On finitely based pseudovarieties of the forms V ∗ D and V ∗ Dn , 2000 .

[9]  Benjamin Steinberg,et al.  On Pointlike Sets and Joins of Pseudovarieties , 1998, Int. J. Algebra Comput..

[10]  Bret Tilson,et al.  Categories as algebra: An essential ingredient in the theory of monoids , 1987 .

[11]  Jorge Almeida.  Hyperdecidable Pseudovarieties and the Calculation of Semidirect Products , 1999, Int. J. Algebra Comput..

[12]  Peter R. Jones.  Profinite categories, implicit operations and pseudovarieties of categories , 1996 .

[13]  Jorge Almeida,et al.  On the Decidability of Iterated Semidirect Products with Applications to Complexity , 2000 .

[14]  Robert Knast.  Some Theorems on Graph Congruences , 1983, RAIRO Theor. Informatics Appl..

[15]  Luis Ribes,et al.  On The Profinite Topology on a Free Group , 1993 .

[16]  Christopher J. Ash,et al.  Inevitable Graphs: a Proof of the Type II Conjecture and some Related Decision Procedures , 1991, Int. J. Algebra Comput..