1: \begin{definition}

2: Theorem~\ref{thm:onto} implies that $\Aut(F_n)$ acts on $H^{\otimes n}$ for any cocommutative Hopf algebra $H$. Let $\rho_{H}\colon \Aut(F_n)\to\End_{\F}(H^{\otimes n})$ denote this action.

3: \end{definition}

4: