Finitely generated subgroup