Abstract
Cayley graphs of monoids defined through special confluent rewriting systems are known to be hyperbolic metric spaces which admit a compact completion given by irreducible finite and infinite words. In this paper, we prove that the fixed point submonoids for endomorphisms of these monoids which are boundary injective (or have bounded length decrease) are rational, with similar results holding for infinite fixed points. Decidability of these properties is proved, and constructibility is proved for the case of bounded length decrease. These results are applied to free products of cyclic groups, providing a new generalization for the case of infinite fixed points.
Similar content being viewed by others
References
Benois, M.: Descendants of regular language in a class of rewriting systems: algorithm and complexity of an automata construction. In: Proceedings RTA 87, LNCS, vol. 256, pp. 121–132. Springer, Berlin (1987)
Berstel J.: Transductions and Context-free Languages. Teubner, Stuttgart (1979)
Berstel J., Perrin D.: Theory of Codes. Academic Press, Dublin (1985)
Bestvina M., Handel M.: Train tracks and automorphisms of free groups. Ann. Math. 135, 1–51 (1992)
Book R.V., Otto F.: String-Rewriting Systems. Springer, New York (1993)
Cassaigne, J., Silva, P.V.: Infinite words and confluent rewriting systems: endomorphism extensions. Int. J. Alg. Comput. (to appear)
Cassaigne J., Silva P.V.: Infinite periodic points of endomorphisms over special confluent rewriting systems. Ann. Inst. Fourier. 59, 769–810 (2009)
Collins D.J., Turner E.C.: Efficient representatives for automorphisms of free products. Michigan Math. J. 41, 443–464 (1994)
Cooper D.: Automorphisms of free groups have finitely generated fixed point sets. J. Algebra 111, 453–456 (1987)
Gaboriau D., Jaeger A., Levitt G., Lustig M.: An index for counting fixed points of automorphisms of free groups. Duke Math. J. 93, 425–452 (1998)
Gersten S.M.: Fixed points of automorphisms of free groups. Adv. Math. 64, 51–85 (1987)
Goldstein R.Z., Turner E.C.: Monomorphisms of finitely generated free groups have finitely generated equalizers. Invent. Math. 82, 283–289 (1985)
Goldstein R.Z., Turner E.C.: Fixed subgroups of homomorphisms of free groups. Bull. London Math. Soc. 18, 468–470 (1986)
Lothaire M.: Combinatorics on Words. Addison-Wesley, Reading (1983)
Lyndon R.C., Schupp P.E.: Combinatorial Group Theory. Springer, Berlin (1977)
Maslakova, O.S.: The fixed point group of a free group automorphism. Algebra i Logika 42, 422–472 (2003). English translation in: Algebra and Logic 42, 237–265 (2003)
Perrin, D., Pin, J.-E.: Infinite Words: Automata, Semigroups, Logic and games, Pure and Applied Mathematics Series, vol. 141. Elsevier, Academic Press, Amsterdam (2004)
Sakarovitch J.: Éléments de Théorie des Automates. Vuibert, Paris (2003)
Silva P.V.: Rational subsets of partially reversible monoids. Theor. Comp. Sci. 409, 537–548 (2008)
Sykiotis, M.: Fixed subgroups of endomorphisms of free products. arXiv:math/0606159v1 (2006)
Ventura E.: Fixed subgroups of free groups: a survey. Contemp. Math. 296, 231–255 (2002)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by J. Wilson.
Rights and permissions
About this article
Cite this article
Silva, P.V. Fixed points of endomorphisms over special confluent rewriting systems. Monatsh Math 161, 417–447 (2010). https://doi.org/10.1007/s00605-009-0124-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00605-009-0124-0