A palindromization map for the free group
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.
0