variedades, formula_1 un grupo de Lie y que la acción