On the hyperdecidability of pseudovarieties of groups

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

Authors

delgado, m (Author) FCUP

Journal

Title: International Journal of Algebra and Computation

Vol. 11

Pages: 753-771

ISSN: 0218-1967

Publisher: World Scientific

Indexing

ISI Web of Knowledge - 7 Citations

Scopus - 9 Citations

Scientific classification

FOS: Natural sciences > Mathematics

Other information

Authenticus ID: P-000-SJC

DOI: 10.1142/s0218196701000802

Abstract (EN): Clarifying the relation between Ash's (algebraic-combinatorial) proof and Ribes and Zalesskii's (topological) proof of the Rhodes Type II conjecture is an intriguing and interesting question which arose when both proofs appeared in the beginning of the 1990s. Attempting to contribute to this clarification, we observe that two sets, each playing a crucial role in one of the proofs, are in fact equal. The equality of these sets allows us to give an alternative proof of part of the main theorem of Ash's paper where the hyperdecidability of the pseudovariety of all finite groups is established.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 19