The algebra of binary trees is affine complete
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- November 2020
- DOI:
- 10.48550/arXiv.2011.03925
- arXiv:
- arXiv:2011.03925
- Bibcode:
- 2020arXiv201103925A
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- 06A99;
- 08A30;
- 08B20
- E-Print:
- 9 pages, 1 figure