A group G is said to be finitely generated if there exists a finite set of group generators for G.