An algorithm to recognize echelon subgroups of a free group

Dario Ascari

We provide an algorithm that, given a finite set of generators for a subgroup $H$ of a finitely generated free group $F$, determines whether $H$ is echelon or not and, in case of a…