Skip to main content
1 of 2

Property of IA automorphisms of free groups

For $n \in\mathbb{N}$ define:

  • $X_n=\{x_1,\ldots,x_n\}$,
  • $F(X_n)$ the free group on $X_n$,
  • $\varphi:F(X_n)\to F(X_{n-1})$ an epimorphism defined by $x_i\stackrel{\varphi}{\mapsto} x_i$ for $1\le i\le n-1$ and $x_n\stackrel{\varphi}{\mapsto} 1$.

Is it true that for every IA automorphism $\alpha\in Aut(F(X_n))$ the map $x_i \mapsto \varphi(\alpha(x_i))$ for $1\le i\le n-1$ defines an element in $Aut(F(X_{n-1}))$?