En el álgebra abstracta extender un grupo formula_1 con otro formula_2