Sean formula_1 un grupo de Lie y formula_37 un