Permita que$X$ sea un esquema irreductible y$Y \to X$ un morfismo de estado finito. ¿Hay alguna tapa de étale finita$Z \to X$ que trivializes$Y$ (es decir,$Y \times_X Z$ es una unión de copias de$Z$) tal que$Z$ también es irreductible?
Ya sé que la declaración correspondiente para "conectado" en lugar de "irreductible" es verdadera.
