1: \begin{abstract}

2: The {\bf Hanna Neumann conjecture} states that if $F$ is a free group,

3: then for all nontrivial finitely generated subgroups $H,K \leqslant

4: F$,

5: \begin{eqnarray}

6: \rank(H \cap K)-1 \leqslant \left[\rank(H)-1\right] \left[\rank(K)-1\right] \nonumber

7: \end{eqnarray}

8: Where most papers to date have considered a direct graph theoretic

9: interpretation of the conjecture, here we consider the use of

10: monomorphisms.  We illustrate the effectiveness of this approach with

11: two results.  First, we show that for any finitely generated groups $H,

12: K \leqslant F$ either the pair $H,K$ or the pair $H^{-},K$ satisfy the

13: Hanna Neumann conjecture; here ${}^{-}$ denotes the automorphism which

14: sends each generator of $F$ to its inverse.  Next, using particular

15: monomorphisms from $F$ to $F_2$, we obtain that if the Hanna Neumann

16: conjecture is false then there is a counterexample $H, K \leq F_2$

17: having the additional property that all the branch vertices in the

18: foldings of $H$ and $K$ are of degree $3$, and all degree $3$ vertices

19: have the same local structure or ``type''.

20: \end{abstract}

21: