formula_3 por un grupo topológico formula_1 tal que formula_1