Abstract | ||
---|---|---|
In this paper we prove that, if V is kappa-tame pseudovariety which satisfies the pseudoidentity xy(omega+1)z = xyz, then the pseudovariety join LSI boolean OR V is also kappa-tame. Here, LSI denotes the pseudovariety of local semilattices and kappa denotes the implicit signature consisting of the multiplication and the (omega - 1)-power. As a consequence, we deduce that LSI boolean OR V is decidable. In particular the joins LSI boolean OR Ab, LSI boolean OR G, LSI boolean OR OCR and LSI boolean OR CR are decidable. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1142/S0218196712500609 | INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION |
Keywords | Field | DocType |
Semigroup, local semillatice, tame pseudovariety, join of pseudovarieties, pseudoword, graph equation system | Discrete mathematics,Combinatorics,Joins,Algebra,Decidability,Multiplication,Semigroup,Mathematics | Journal |
Volume | Issue | ISSN |
22 | 7 | 0218-1967 |
Citations | PageRank | References |
0 | 0.34 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
José Carlos Costa | 1 | 17 | 4.57 |
Conceição Nogueira | 2 | 4 | 1.29 |