Diremos que un grupo "G" está generado por un conjunto "S", si es posible describir todo elemento de G como producto de la forma