Finitely generated profinite group

Definition
A finitely generated profinite group is a group that is both a finitely generated group and a profinite group.