Un problema básico es determinar condiciones sobre formula_6 de manera que se pueda definir una estructura de grupo en formula_66 compatible con la estructura de formula_19, lo que, en general, no será posible.