Nielsen transformation

A Nielsen transformation is an elementary operation on a set of generators of a free group: replacing a generator by its inverse, replacing one generator by its product with another, or swapping two generators. Jakob Nielsen proved in 1921 that every automorphism of a free group is a composition of Nielsen transformations, establishing that the automorphism group of a free group is finitely generated by these elementary moves. This result predated the geometric understanding of free groups by decades, providing a purely combinatorial description of their symmetries.

Nielsen transformations are the algebraic analogue of cut-and-paste moves on a tree. The theorem that they generate all automorphisms is the first hint that the symmetries of a free group are fundamentally geometric — even when expressed in purely algebraic language.