Sea formula_1 un grupo y sea formula_2 ¿Qué quiere decir que formula_3 genera a formula_1 ?