Intersection problem for Droms RAAGs
Group Theory
2018-07-10 v3
Abstract
We solve the subgroup intersection problem (SIP) for any RAAG G of Droms type (i.e., with defining graph not containing induced squares or paths of length 3): there is an algorithm which, given finite sets of generators for two subgroups H,K of G, decides whether is finitely generated or not, and, in the affirmative case, it computes a set of generators for . Taking advantage of the recursive characterization of Droms groups, the proof consists in separately showing that the solvability of SIP passes through free products, and through direct products with free-abelian groups. We note that most of RAAGs are not Howson, and many (e.g. F_2 x F_2) even have unsolvable SIP.
Cite
@article{arxiv.1709.01155,
title = {Intersection problem for Droms RAAGs},
author = {Jordi Delgado and Enric Ventura and Alexander Zakharov},
journal= {arXiv preprint arXiv:1709.01155},
year = {2018}
}
Comments
33 pages, 12 figures (revised following the referee's suggestions)