Si el conjunto "S" es finito, un grupo "G" =  se dice finitamente generado.