¿Hay un grupo $G$ con la propiedad de que $G$ es un colector suave, el mapa de multiplicación de $G$ es suave, pero el mapa de inversión de $G$ no es suave?
Respuesta
¿Demasiados anuncios?
Robert L. Bryant "Una introducción a los grupos de mentiras y geometría sinfónica" requiere en la definición de un grupo de mentiras sólo que el mapa de multiplicación sea suave, y luego demuestra que el mapa de inversión debe ser suave también. (Proposición 1, página 14.)
