A note on the automorphism group of the rank two free group (Q1970973)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A note on the automorphism group of the rank two free group
scientific article

    Statements

    A note on the automorphism group of the rank two free group (English)
    0 references
    0 references
    20 September 2000
    0 references
    If \(\Phi\) is the free group on two free generators \(\xi\) and \(\eta\), then the automorphisms which fix the commutator \(\lambda=[\eta,\xi]=\eta^{-1}\xi^{-1}\eta\xi\) form a subgroup \(F\) of the automorphism group of \(\Phi\). It was proved by Nielsen that an endomorphism of \(\Phi\) which fixes \(\lambda\) is actually an automorphism. In this note the author studies the group \(F\) and gives a characterization of its elements. The main theorem states that the mapping \(\xi\mapsto\alpha\), \(\eta\mapsto\beta\) defines an automorphism in \(F\) if and only if the elements \(\eta\alpha\xi^{-1}\), \(\xi\beta\eta^{-1}\) and \(\eta\beta\alpha\xi^{-1}\) are all palindromes. An element \(w\in\Phi\) is called palindrome if \(\widetilde ww=1\), where \(\widetilde w\) is the element which arises from \(w\) by replacing \(\xi\) by \(\xi^{-1}\) and \(\eta\) by \(\eta^{-1}\). He also gives a criterion for an element \(\alpha\in\Phi\) to be primitive (i.e., part of a basis of \(\Phi\)) in terms of certain palindromes. The method of proofs is combinatorial.
    0 references
    rank two free group
    0 references
    automorphisms
    0 references
    automorphism groups
    0 references
    endomorphisms
    0 references
    palindromes
    0 references
    primitive elements
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references