The isomorphism problem for groups enveloped by right-angled Artin groups

A group is enveloped by a right-angled Artin group if it embeds in a right-angled Artin group. The enveloped-group isomorphism conjecture. The isomorphism problem for groups enveloped by right-angled Artin groups is solvable. Here, solvability means that there is an algorithm deciding whether two finite descriptions define isomorphic groups in this class. The conjecture is posed as a condition needed to extend the paper's generalized isomorphism results from the treated class of mapping-class subgroups to arbitrary finitely generated subgroups; the source does not establish it.