Nielsen transformation

Definition

Definition with symbols

Let $F$ be the free group on $n$ generators. A Nielsen transformation with reference to $F$ is a transformation that starts off with a finite or countable subset (or sequence) in $F$ and outputs a changed subst (or sequence). For the transformation to qualify as a Nielsen transformation, it must be expressible as a composite of elementary Nielsen transformations.