Complete reducibility of the pseudovariety LS1

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

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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
Complete reducibility of the pseudovariety LS1.pdf	In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.	426.61 KB	Adobe PDF	Download

Send Feedback

Authors

Costa, José Carlos

Nogueira, Conceição

Abstract(s)

In this paper we prove that the pseudovariety LSl of local semilattices is completely κ-reducible, where κ is the implicit signature consisting of the multiplication and the ω-power. Informally speaking, given a finite equation system with rational constraints, the existence of a solution by pseudowords of the system over LSl implies the existence of a solution by κ-words of the system over LSl satisfying the same constraints.

Description

Palavras-chave: Semigroup; pseudovariety; pseudoword; system of equations; implicit signature; complete tameness; complete reducibility; local semillatice; infinite word.

Keywords

Semigroup pseudovariety pseudoword system of equations implicit signature complete tameness

URI

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

Citation

Costa, José Carlos; Nogueira, Conceição (2009). Complete Reducibility of the Pseudovariety Ls1. International Journal of Algebra and Computation. https://doi.org/10.1142/s021819670900507x.