Profinite Congruences and Unary Algebras

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

Authors

Almeida, J (Author) FCUP; Klíma, O (Author) Other

Journal

Title: Journal of Multiple-Valued Logic and Soft Computing

Vol. 42

Pages: 265-297

ISSN: 1542-3980

Publisher: Old City Publishing, Inc.

Indexing

ISI Web of Knowledge - 0 Citations

Scopus - 0 Citations

Other information

Authenticus ID: P-00W-QE5

Abstract (EN): Profinite congruences on profinite algebras determining profinite quotients are difficult to describe. In particular, no constructive description is known of the least profinite congruence containing a given binary relation on the algebra. On the other hand, closed congruences and fully invariant congruences can be described constructively. In a previous paper, we conjectured that fully invariant closed congruences on a relatively free profinite algebra are always profinite. Here, we show that our conjecture fails for unary algebras and that closed congruences on relatively free profinite semigroups are not necessarily profinite. As part of our study of unary algebras, we establish an adjunction between profinite unary algebras and profinite monoids. We also show that the Polish representation of the free profinite unary algebra is faithful.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 33