Automorphic orbits in free groups

Alexei G. Myasnikov, Vladimir Shpilrain

Research output: Contribution to journalArticlepeer-review

29 Scopus citations

Abstract

Let Fn be the free group of a finite rank n. We study orbits Orbφ (u), where u is an element of the group Fn, under the action of an automorphism φ. If an orbit like that is finite, we determine precisely what its cardinality can be if u runs through the whole group Fn, and φ runs through the whole group Aut(Fn). Another problem that we address here is related to Whitehead's algorithm that determines whether or not a given element of a free group of finite rank is an automorphic image of another given element. It is known that the first part of this algorithm (reducing a given free word to a free word of minimum possible length by elementary Whitehead automorphisms) is fast (of quadratic time with respect to the length of the word). On the other hand, the second part of the algorithm (applied to two words of the same minimum length) was always considered very slow. We give here an improved algorithm for the second part, and we believe this algorithm always terminates in polynomial time with respect to the length of the words. We prove that this is indeed the case if the free group has rank 2.

Original languageEnglish
Pages (from-to)18-27
Number of pages10
JournalJournal of Algebra
Volume269
Issue number1
DOIs
StatePublished - 1 Nov 2003

Fingerprint

Dive into the research topics of 'Automorphic orbits in free groups'. Together they form a unique fingerprint.

Cite this