How to prove that two groups with different presentations are isomorphic in a naive way?

One can define a presentation of a group naively (ala Dummit-Foote in Chapter 1.2), i.e., as a group generated by certain elements with certain relations such that all other relations follow from the given ones. (By "naively" I mean not formally (as being an appropriate quotient of the free group on some letters).) I was wondering, what exactly does one need to show in order to prove that two "naively presented groups" (with different presentations) are isomorphic?

• That's a very hard problem and there is (and there can be) no formal algorithm to do that in general, let alone a user-friendly one. – Arnaud Mortier Aug 25 '18 at 17:18
• In general, it is an almost hopeless problem. In some particular cases, it can be a rather challenging problem – DonAntonio Aug 25 '18 at 17:26
• The trivial group can have impressively complex presentations...and ti can be very, very tough to prove the group is the trivial one. – DonAntonio Aug 25 '18 at 17:40
• @user437309 If I'm interprating what you mean correctly, it would mean to show that the relations are basically the same on a basically same set of generators. If we restrict ourselves to finite sets of generators and relations, it could, in principle, be possible to prove the minimal set of (irredundant) generators in both groups has the same cardinality and the relations in one imply the relations in the other, and the other way around – DonAntonio Aug 25 '18 at 17:53
• You use Tietze transformations. It can be proved that if the groups are isomorphic then it can be proved in this way. – Derek Holt Aug 25 '18 at 17:58