Theoret. Comput. Sci. 409 (2008), 461--470; doi:10.1016/j.tcs.2008.09.011.


Christian Kassel and Christophe Reutenauer

A palindromization map for the free group

Mathematics Subject Classification (2000): 20E05, 20F10, 20F36, 20M05, 68R15

Abstract. We define a self-map Pal: F2 --> F2 of the free group on two generators a, b, using automorphisms of F2 that form a group isomorphic to the braid group B3. The map Pal restricts to de Luca's right iterated palindromic closure on the submonoid generated by a, b, and is continuous for the profinite topology on F2 . The values of Pal are palindromes and coincide with the elements g of F2 such that abg is conjugate to bag.

Résumé. Nous définissons une application Pal: F2 --> F2 du groupe libre sur deux générateurs a, b vers lui-même à l'aide d'automorphisms de F2 qui forment un groupe isomorphe au groupe de tresses B3. L'application Pal est continue pour la topologie profinie de F2 et sa restriction au sous-monoïde engendré par a, b coïncide avec la "right iterated palindromic closure" d'Aldo de Luca. L'image de Pal est constituée de palindromes et est égale à l'ensemble des éléments g de F2 tels que abg et bag soient conjugués.


Downloadable pdf and ps files from arXiv:0802.4359 /Téléchargeable d'arXiv:0802.4359

(22 septembre 2008)