Core graph of a subgroup
= 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.