Ésta es la continuación de una pregunta anterior: ¿Implica formalmente etale plano ? Después de algunos comentarios que recibí en MO me di cuenta de que esto fue respondido negativamente por una respuesta a una pregunta anterior ¿Existe algún ejemplo de morfismo formalmente suave que no sea suave . Sin embargo, el ejemplo sencillo implica un anillo noetheriano (de hecho, un anillo perfecto; éstos rara vez son noetherianos a menos que sean un campo).
Así que mi reto es proporcionar un ejemplo de un mapa formalmente etale de noetheriano esquemas que no es plano, o de lo contrario prueba que para mapas de esquemas noetherianos formalmente etale implica plano.
