183e9694a64e84c9.tex
1: \begin{abstract}
2:  We construct a class of finitely presented groups where the
3:   isomorphism problem is solvable but the commensurability
4:   problem is unsolvable. Conversely,
5:   we construct a class of finitely presented
6:   groups within which the commensurability problem is solvable but the isomorphism problem is unsolvable.
7:   These are first examples of such a contrastive
8:   complexity behavior with respect to the isomorphism problem.
9: \end{abstract}
10: