On the hyperdecidability of semidirect products of pseudovarieties

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

Authors

Almeida, J (Author) FCUP; Silva, PV (Author) FCUP

Journal

Title: Communications in Algebra

Vol. 26 No. 12

Pages: 4065-4077

ISSN: 0092-7872

Publisher: Taylor & Francis

Indexing

ISI Web of Knowledge - 9 Citations

ISI Web of Science

Scopus - 10 Citations

Scientific classification

FOS: Natural sciences > Mathematics

Other information

Authenticus ID: P-001-8WC

DOI: 10.1080/00927879808826395

Abstract (EN): The notion of hyperdecidability has been introduced as a tool which is particularly suited for granting decidability of semidirect products. It is shown in this paper that the semidirect product of an hyperdecidable pseudovariety with a pseudovariety whose finitely generated tree objects are finite and effectively computable is again hyperdecidable. As instances of this result, one obtains, for example, the hyperdecidability of the pseudovarieties of all finite completely simple semigroups and of all finite bands of left groups.

Language: English

Type (Professor's evaluation): Scientific