1: \begin{abstract}

2: We generalize the combinatorial approaches of Rapaport and Higgins--Lyndon

3: to the Whitehead algorithm. We show that for every automorphism $\varphi$

4: of a free group $F$ and every word $u\in F$ there exists a finite

5: multiset of words $S_{u,\varphi}$ satisfying the following property:

6: For every cyclic word $w$, the number of times $u$ appears as a

7: subword of $\varphi\left(w\right)$ depends only on the appearances

8: of words in $S_{u,\varphi}$ as subwords of $w$. We use this fact

9: to construct a faithful representation of $\text{Out}\left(F_{n}\right)$

10: on an inverse limit of $\mathbb{Z}$-modules, so that each automorphism

11: is represented by sequence of finite rectangular matrices, which can

12: be seen as successively better approximations of the automorphism. 

13: \end{abstract}