Presentations of infinite index subgroups Suppose we have a finitely presented group $G$ with a concrete presentation and a subgroup $H$, generated by a finite set of elements from $G$. How to find the presentation for $H$?
If $H$ has finite index we can use Reidemeister-Schreier procedure.
But what if $H$ has infinite index? What methods exist? 
Are there some methods if $H$ is normal?
 A: The following answer will only be about decidability results or, more often, undecidability results.  Of course, if you have a particular group in mind, it may be that something positive can be said.  I will leave others to talk about practical algorithms.
Let $G=\langle X\mid R \rangle$ be a finitely presented group, $S$ a finite subset and $H=\langle S\rangle$.
As you mentioned recursive presentations in your comment, let me mention that there is a naive algorithm that always finds a recursive presentation for $H$: just enumerate all words in $S$ that happen to lie in $\langle\langle R \rangle\rangle$.  Of course, as there are finitely presented groups that are not coherent, $H$ may not be finitely presentable, so this is the best you can hope for.
Even if you assume that $H$ is finitely presentable, as Misha says, there is no algorithm to compute a finite presentation for $H$.  This follows immediately from the undecidability of the word problem: if you could compute a presentation for $\langle w\rangle$ then, in particular, you could determine whether or not $w=1$. 
Of course, the next thing to wonder is whether there are examples with solvable word problem.  Collins constructed a group with solvable word problem and unsolvable order problem --- that is, you can tell whether or not an element $w$ is trivial, but you can't compute the order of $w$. Again, it follows that you can't compute a presentation for $\langle w\rangle$.
The examples so far are specially constructed to behave badly.  Bridson and I used work of Haglund and Wise to give examples which show that you can't compute presentations for finitely presentable subgroups even in 'naturally occurring' classes like automatic groups and matrix groups.  You can also look at Section 8 of our paper for a summary of positive results.  
