TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES

Costa, José Carlos; Nogueira, Conceição

http://hdl.handle.net/10400.8/14656

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
TAMENESS_OF_JOINS_INVOLVING_THE_PSEUDOVARIETY_OF_L (1).pdf		362.25 KB	Adobe PDF	Download

Send Feedback

Authors

Costa, José Carlos

Nogueira, Conceição

Abstract(s)

In this paper we prove that, if V is a κ-tame pseudovariety which satisfies the pseudoidentity xyω+1z = xyz, then the pseudovariety join LSl ∨ V is also κ-tame. Here, LSl denotes the pseudovariety of local semilattices and κ denotes the implicit signature consisting of the multiplication and the (ω – 1)-power. As a consequence, we deduce that LSl ∨ V is decidable. In particular the joins LSl ∨ Ab, LSl ∨ G, LSl ∨ OCR and LSl ∨ CR are decidable.

Keywords

Semigroup Local semillatice Tame pseudovariety Join of pseudovarieties Pseudoword Graph equation system

URI

http://hdl.handle.net/10400.8/14656

Citation

Costa, J. C. and Nogueira, C., “Tameness of joins involving the pseudovariety of local semilattices”, International Journal of Algebra and Computation 7 (2012) 1250060 (35 pages).