ee2fdb1848edd043.tex
1: \begin{abstract}
2:   Profinite congruences on profinite algebras determining profinite
3:   quotients are difficult to describe. In particular, no constructive
4:   description is known of the least profinite congruence containing a
5:   given binary relation on the algebra. On the other hand, closed
6:   congruences and fully invariant congruences can be described
7:   constructively. In a previous paper, we conjectured that fully
8:   invariant closed congruences on a relatively free profinite algebra
9:   are always profinite. Here, we show that our conjecture fails for
10:   unary algebras and that closed congruences on relatively free
11:   profinite semigroups are not necessarily profinite. As part of our
12:   study of unary algebras, we establish an adjunction between
13:   profinite unary algebras and profinite monoids. We also show that
14:   the Polish representation of the free profinite unary algebra is
15:   faithful.
16: \end{abstract}
17: