Abstract
A function on an algebra is congruence preserving if for any congruence, it maps congruent elements to congruent elements. We show that on a free monoid generated by at least three letters, a function from the free monoid into itself is congruence preserving if and only if it is of the form \({x \mapsto w_{0}xw_{1} \cdots w_{n-1}xw_n }\) for some finite sequence of words \({w_0,\ldots ,w_n}\). We generalize this result to functions of arbitrary arity. This shows that a free monoid with at least three generators is a (noncommutative) affine complete algebra. As far as we know, it is the first (nontrivial) case of a noncommutative affine complete algebra.
Similar content being viewed by others
References
Bhargava M.: Congruence preservation and polynomial functions from \({\mathbb{Z}_{n}}\) to \({\mathbb{Z}_{m}}\). Discrete Math. 173, 15–21 (1997)
Cégielski P., Grigorieff S., Guessarian I.: Integral difference ratio functions on integers. LNCS 8808, 277–291, Computing with New Resources, Essays dedicated to Jozef Gruska on the occasion of his 80th birthday, Calude C., Freivalds R., Kazuo I. (eds.), Springer (2014)
Cégielski P., Grigorieff S., Guessarian I.: Newton representation of functions over natural integers having integral difference ratios. Int. J. Number Theory 11, 2109–2139 (2015)
Grätzer G.: On Boolean functions (notes on lattice theory II). Rev. Math. Pures Appl. (Académie de la République Populaire Roumaine) 7, 693–697 (1962)
Grätzer G.: Boolean functions on distributive lattices. Acta Math. Hungar. 15, 193–201 (1964)
Grätzer G.: Universal Algebra, 2nd edn. Springer (1979)
Iskander A.: Algebraic functions on p-rings. Colloq. Math. 25, 37–41 (1972)
Kaarli K., PixleyA.F.: Polynomial Completeness in Algebraic Systems. Chapman & Hall/CRC (2001)
Kempner A.J.: Polynomials and their residue systems. Trans. Amer. Math. Soc. 22, 240–288 (1921)
Nöbauer W.: Affinvollständige Moduln. Mathematische Nachrichten 86, 85–96 (1978)
Plošsčica M., Haviar M.: Congruence-preserving functions on distributive lattices. Algebra Universalis 59, 179–196 (2008)
Werner H.: Produkte von KongruenzenKlassengeometrien universeller Algebren. Math. Z. 121, 111–140 (1971)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by M. Jackson.
This work was partially supported by TARMAC ANR agreement 12 BS02 007 01.
Rights and permissions
About this article
Cite this article
Cégielski, P., Grigorieff, S. & Guessarian, I. Congruence preserving functions on free monoids. Algebra Univers. 78, 389–406 (2017). https://doi.org/10.1007/s00012-017-0464-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-017-0464-x