Hyperdecidability of pseudovarieties of orthogroups

• Type: Article in International Scientific Journal
• Date: 2001

Authors

Almeida, J (Author) FCUP; Trotter, PG (Author) Other

Journal

Title: Glasgow Mathematical Journal

Vol. 43

Pages: 67-83

ISSN: 0017-0895

Publisher: Cambridge University Press

Indexing

ISI Web of Knowledge - 9 Citations

Scopus - 7 Citations

Scientific classification

FOS: Natural sciences > Mathematics

Other information

Authenticus ID: P-000-X59

Abstract (EN): Let W denote the intersection with the pseudovariety of completely regular semigroups of the Mal'cev product of the pseudovariety of bands with a pseudovariety V of completely regular semigroups. It is shown that the (pseudo)-word problem for W is reduced to that for V in such a way that decidability is preserved in the case in which terms involving only multiplication and weak inversion are considered. It is also shown that, if V is a hyperdecidable (respectively canonically reducible) pseudovariety of groups, then so is W.

Language: English

Type (Professor's evaluation): Scientific