1: \begin{abstract}

2: Let $F$ be a finitely generated free group and let $H\sgr F$ be a finitely generated subgroup. Given an element $g\in F$, we study the ideal $\fI_g$ of equations for $g$ with coefficients in $H$, i.e. the elements $w(x)\in H*\gen{x}$ such that $w(g)=1$ in $F$. The ideal $\fI_g$ is a normal subgroup of $H*\gen{x}$, and we provide an algorithm, based on Stallings folding operations, to compute a finite set of generators for $\fI_g$ as a normal subgroup.

3: 

4: We provide an algorithm to find an equation in $\fI_g$ with minimum degree, i.e. an equation $w(x)$ such that its cyclic reduction contains the minimum possible number of occurrences of $x$ and $x^{-1}$; this answers a question of A. Rosenmann and E. Ventura. % (see \cite{Rosenmann1}).

5: More generally, we provide an algorithm that, given $d\in\bN$, determines whether $\fI_g$ contains equations of degree $d$ or not, and we give a characterization of the set of all the equations of that specific degree. We define the set $D_g$ of all integers $d$ such that $\fI_g$ contains equations of degree $d$; we show that $D_g$ coincides, up to a finite set, either with the set of non-negative even numbers or with the set of natural numbers.

6: 

7: Finally, we provide examples to illustrate the techniques introduces in this paper. We discuss the case where $\rank{H}=1$. We prove that both kinds of sets $D_g$ can actually occur. The examples also show that the equations of minimum possible degree aren't in general enough to generate the whole ideal $\fI_g$ as a normal subgroup.

8: \end{abstract}