Core decision problems for two-relator groups

Decide the word problem, conjugacy problem, and isomorphism problem for the class of finitely presented groups with two defining relations.

Background

While Magnus’s methods provide solutions for one-relator groups, analogous algorithms for two-relator groups have proved elusive. Even the finiteness problem and structural classification of finite two-relator groups remain largely unknown.