Dependence over subgroups of free groups

Amnon Rosenmann, Enric Ventura Capell

Given a finitely generated subgroup $H$ of a free group $F$, we present an algorithm which computes $g_1,\dots ,g_m\in F$, such that the set of elements $g\in F$, for which there e…