Showing a group is isomorphic to a group with known presentation

Let $H$ be a group with presentation $\langle h_1, \dots, h_n \mid r_1 = \dots = r_m = 1\rangle$. If there are $g_1, \dots, g_n \in G$ which satisfy the relations $r_1, \dots, r_m$, when is $\varphi : H \to G$ generated by $\varphi(h_i) = g_i$ an isomorphism? In particular, is there an effective way to check that the elements $g_i$ don't satisfy any additional relations?

• By Von Dyck's theorem, such a map is surjective onto $\langle g_1,\cdots,g_n\rangle$. If $G\neq\langle g_1,\cdots,g_n\rangle$, then certainly $\varphi$ cannot be an isomorphism. On the other hand, if $G=\langle g_1,\cdots,g_n\rangle$, it reduces to checking the kernel of the map $\varphi$. I do not know any efficient ways to do this, and suspect that it's difficult. – KReiser Sep 26 '13 at 4:17

If we could effectively to check that $g_i$ don't satisfy additional relations, then we can decide whether $G\cong H$. But the problem of isomorphism is undecidable.
• In particular, it is unsolvable when $G$ is the trivial group. – Derek Holt Sep 26 '13 at 12:48
• Of course, if we know that $H$ and $G$ belong to specific classes of groups, then not all is lost! – user1729 Sep 27 '13 at 13:18