On Pointlike Sets and Joins of Pseudovarieties

In this paper we give a criterion for a subset of a semigroup to be pointlike for the join or wreath product of two pseudovarieties. As a consequence we obtain a criterion for membership in the join of two pseudovarieties. Applications include pointlikes for J ∨ G.

[1]  John L. Rhodes,et al.  Undecidability of the identity problem for finite semigroups , 1992, Journal of Symbolic Logic.

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

[3]  Imre Simon,et al.  Piecewise testable events , 1975, Automata Theory and Formal Languages.

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

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

[6]  Bernhard Banaschewski,et al.  The Birkhoff Theorem for varieties of finite algebras , 1983 .

[7]  Karsten Henckell,et al.  Pointlike sets: the finest aperiodic cover of a finite semigroup , 1988 .

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

[9]  Raymond E. Miller,et al.  Varieties of Formal Languages , 1986 .

[10]  Jan Reiterman,et al.  The Birkhoff theorem for finite algebras , 1982 .

[11]  Pascal Weil,et al.  Profinite categories and semidirect products , 1998 .

[12]  Pascal Weil,et al.  Reduced Factorizations in Free Profinite Groups and Join Decompositions of Pseudovarieties , 1994, Int. J. Algebra Comput..

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

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

[15]  Jorge Almeida,et al.  Implicit operations on finite J-trivial semigroups and a conjecture of I. Simon , 1991 .

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

[17]  Luis Ribes,et al.  The Pro-P Topology of a Free Group and Algorithmic Problems in Semigroups , 1994, Int. J. Algebra Comput..