Jump to content

Automorphism group of a free group

From Wikipedia, the free encyclopedia

In mathematical group theory, the automorphism group of a free group is a discrete group of automorphisms of a free group. The quotient by the inner automorphisms is the outer automorphism group of a free group, which is similar in some ways to the mapping class group of a surface.

Presentation

[edit]

Jakob Nielsen (1924) showed that the automorphisms defined by the elementary Nielsen transformations generate the full automorphism group of a finitely generated free group. Nielsen, and later Bernhard Neumann used these ideas to give finite presentations of the automorphism groups of free groups. This is also described in (Magnus, Karrass & Solitar 2004, p. 131, Th 3.2).

The automorphism group of the free group with ordered basis [ x1, …, xn ] is generated by the following 4 elementary Nielsen transformations:

  • Switch x1 and x2
  • Cyclically permute x1, x2, …, xn, to x2, …, xn, x1.
  • Replace x1 with x1−1
  • Replace x1 with x1·x2

These transformations are the analogues of the elementary row operations. Transformations of the first two kinds are analogous to row swaps, and cyclic row permutations. Transformations of the third kind correspond to scaling a row by an invertible scalar. Transformations of the fourth kind correspond to row additions.

Transformations of the first two types suffice to permute the generators in any order, so the third type may be applied to any of the generators, and the fourth type to any pair of generators.

Nielsen gave a rather complicated finite presentation using these generators, described in (Magnus, Karrass & Solitar 2004, p. 165, Section 3.5).

See also

[edit]

References

[edit]
  • Magnus, Wilhelm; Karrass, Abraham; Solitar, Donald (2004), Combinatorial Group Theory, New York: Dover Publications, ISBN 978-0-486-43830-6, MR 0207802
  • Nielsen, Jakob (1921), "Om regning med ikke-kommutative faktorer og dens anvendelse i gruppeteorien", Math. Tidsskrift B (in Danish), 1921: 78–94, JFM 48.0123.03
  • Nielsen, Jakob (1924), "Die Isomorphismengruppe der freien Gruppen", Mathematische Annalen (in German), 91: 169–209, doi:10.1007/BF01556078, JFM 50.0078.04
  • Vogtmann, Karen (2002), "Automorphisms of free groups and outer space" (PDF), Proceedings of the Conference on Geometric and Combinatorial Group Theory, Part I (Haifa, 2000), Geometriae Dedicata, 94: 1–31, doi:10.1023/A:1020973910646, ISSN 0046-5755, MR 1950871