Intersections of automorphism fixed subgroups in the free group of rank three. (English) Zbl 1054.20009

Let \(F_n\) be a free group of finite rank \(n\). A subgroup \(H\) of \(F_n\) is called ‘1-auto-fixed’ when there exists an automorphism \(\varphi\) of \(F_n\) such that \(H=\text{fix\,}\varphi=\{x\in F_n:\varphi x=x\}\). By definition an ‘auto-fixed’ subgroup of \(F_n\) is an arbitrary intersection of 1-auto-fixed subgroups.
It is shown that the intersection \(H\cap K\) of each 1-auto-fixed subgroup \(H\) with any finitely generated subgroup \(K\) of \(F_n\) has rank not exceeding \(n\). Thus the author generalises the celebrated theorem of Bestvina-Handel showing that a 1-auto-fixed subgroup of \(F_n\) has rank at most \(n\).
It is also shown that in the case of the group \(F_3\) any auto-fixed subgroup is in fact 1-auto-fixed. A similar assertion is valid in the case of the group \(F_2\) and remains open for the groups \(F_n\) for \(n\geq 4\).


20E05 Free nonabelian groups
20F28 Automorphism groups of groups
20E36 Automorphisms of infinite groups
20E07 Subgroup theorems; subgroup growth
Full Text: DOI arXiv EuDML EMIS


[1] G M Bergman, Supports of derivations, free factorizations, and ranks of fixed subgroups in free groups, Trans. Amer. Math. Soc. 351 (1999) 1531 · Zbl 0926.20016
[2] M Bestvina, M Feighn, M Handel, The Tits alternative for \(\mathrm{Out}(F_n)\) I: Dynamics of exponentially-growing automorphisms, Ann. of Math. \((2)\) 151 (2000) 517 · Zbl 0984.20025
[3] M Bestvina, M Feighn, M Handel, The Tits alternative for \(\mathrm{Out}(F_n)\) II: A Kolchin type theorem, Ann. of Math. \((2)\) 161 (2005) 1 · Zbl 1139.20026
[4] M Bestvina, M Handel, Train tracks and automorphisms of free groups, Ann. of Math. \((2)\) 135 (1992) 1 · Zbl 0757.57004
[5] D J Collins, E C Turner, All automorphisms of free groups with maximal rank fixed subgroups, Math. Proc. Cambridge Philos. Soc. 119 (1996) 615 · Zbl 0849.20018
[6] W Dicks, E Ventura, The group fixed by a family of injective endomorphisms of a free group, Contemporary Mathematics 195, American Mathematical Society (1996) · Zbl 0845.20018
[7] J L Dyer, G P Scott, Periodic automorphisms of free groups, Comm. Algebra 3 (1975) 195 · Zbl 0304.20029
[8] W Imrich, E C Turner, Endomorphisms of free groups and their fixed points, Math. Proc. Cambridge Philos. Soc. 105 (1989) 421 · Zbl 0675.20024
[9] I Kapovich, A Myasnikov, Stallings foldings and subgroups of free groups, J. Algebra 248 (2002) 608 · Zbl 1001.20015
[10] R C Lyndon, P E Schupp, Combinatorial group theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 89, Springer (1977) · Zbl 0368.20023
[11] W Magnus, A Karrass, D Solitar, Combinatorial group theory: Presentations of groups in terms of generators and relations, Interscience Publishers, New York-London-Sydney (1966) · Zbl 0138.25604
[12] A Martino, E Ventura, A description of auto-fixed subgroups in a free group, Topology 43 (2004) 1133 · Zbl 1056.20017
[13] A Martino, E Ventura, Fixed subgroups are compressed in free groups, Comm. Algebra 32 (2004) 3921 · Zbl 1069.20015
[14] A Martino, E Ventura, On automorphism-fixed subgroups of a free group, J. Algebra 230 (2000) 596 · Zbl 0965.20013
[15] J R Stallings, Whitehead graphs on handlebodies, de Gruyter (1999) 317 · Zbl 1127.57300
[16] E C Turner, Test words for automorphisms of free groups, Bull. London Math. Soc. 28 (1996) 255 · Zbl 0852.20022
[17] E Ventura, On fixed subgroups of maximal rank, Comm. Algebra 25 (1997) 3361 · Zbl 0893.20025
[18] J H C Whitehead, On certain sets of elements in a free group, Proc. London. Math. Soc. 4148 · Zbl 0013.24801
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.