Hostname: page-component-586b7cd67f-r5fsc Total loading time: 0 Render date: 2024-11-24T20:52:02.955Z Has data issue: false hasContentIssue false

GLOBALS OF PSEUDOVARIETIES OF COMMUTATIVE SEMIGROUPS: THE FINITE BASIS PROBLEM, DECIDABILITY AND GAPS

Published online by Cambridge University Press:  20 January 2009

Jorge Almeida
Affiliation:
Centro de Matemática, Faculdade de Ciências, Universidade do Porto, 4099-002 Porto, PT
Assis Azevedo
Affiliation:
Centro de Matemática, Universidade do Minho, Braga, PT
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Whereas pseudovarieties of commutative semigroups are known to be finitely based, the globals of monoidal pseudovarieties of commutative semigroups are shown to be finitely based (or of finite vertex rank) if and only if the index is 0, 1 or $\omega$. Nevertheless, on these pseudovarieties, the operation of taking the global preserves decidability. Furthermore, the gaps between many of these globals are shown to be big in the sense that they contain chains which are order isomorphic to the reals.

AMS 2000 Mathematics subject classification: Primary 20M07; 20M05

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 2001