Deje $R$ $S$ ser regular los anillos, y $f: R\rightarrow S$ un surjection que induce un isomorfismo en tangente espacios. Es $f$ necesariamente un isomorfismo?
Creo que la respuesta debería ser que sí, que se basa en cómo esta configuración se utiliza en un papel, pero no veo por qué no.
La motivación es mostrar que la finalización de el anillo local de un determinado esquema es una potencia de la serie ring.
