Andre Arnold ; Patrick Cegielski ; Serge Grigorieff ; Irene Guessarian
-
The algebra of binary trees is affine complete
dmtcs:6890 -
Discrete Mathematics & Theoretical Computer Science,
November 4, 2021,
vol. 23 no. 2, special issue in honour of Maurice Pouzet
-
https://doi.org/10.46298/dmtcs.6890
The algebra of binary trees is affine completeArticle
Authors: Andre Arnold ; Patrick Cegielski ; Serge Grigorieff ; Irene Guessarian
NULL##NULL##NULL##NULL
Andre Arnold;Patrick Cegielski;Serge Grigorieff;Irene Guessarian
A function on an algebra is congruence preserving if, for any congruence, it
maps pairs of congruent elements onto pairs of congruent elements. We show that
on the algebra of binary trees whose leaves are labeled by letters of an
alphabet containing at least three letters, a function is congruence preserving
if and only if it is polynomial.