Más en general, si formula_264 con cada formula_265 en formula_24, se dice que formula_24 es un grupo finitamente generado.