 Core graph of a subgroup

The core of a based covering graph is the union of all reduced loops through its base vertex. A subgroup of a finitely generated free group is finitely generated exactly when its core graph is finite.