Equations on Semidirect Products of Commutative Semigroups

UNCG Author/Contributor (non-UNCG co-authors, if there are any, appear on document)

Francine Blanchet-Sadri, Professor (Creator)

Institution

The University of North Carolina at Greensboro (UNCG )

Web Site: http://library.uncg.edu/

Abstract: In this paper; we study equations on semidirect products of commutative semigroups. Let Comq,r denote the pseudovariety of all finite semigroups that satisfy the equations xy = yx and x^{r + q} = xr. The pseudovariety Com_1,1 is the pseudovariety of all finite semilattices. We consider the product pseudovariety Com_q,r * Com_q',r' generated by all semidirect products of the form S * T with S ∈ Com_q,r and T ∈ Com_q',r'. We give an algorithm to decide when an equation holds in Com_q,r * Com_q',r'. Finite complete sets of equations are described for all the products Com_q,r * Com_q',r' which provide polynomial time algorithms to test membership. Our results imply finite complete sets of equations for G_com * Com_1,1 and (Com∩ A) * Com_1,1 (among others). Here; G_com denotes the pseudovariety of all finite commutative groups; Com the pseudovariety of all finite commutative semigroups and A the pseudovariety of all finite aperiodic semigroups.

Equations on Semidirect Products of Commutative Semigroups
PDF (Portable Document Format)
244 KB
Created on 3/30/2011
Views: 2050

Additional Information

Publication

Semigroup Forum 55(1), 80-88.

Language: English

Date: 1997

Keywords

Mathematics, Computer science, Products, Commutative

Email this document to