The Stacks project

Lemma 88.25.2. Assume we have

1. Noetherian affine schemes $X$, $X'$, and $Y$,

2. a closed subset $T \subset |X|$,

3. a morphism $f : X' \to X$ locally of finite type and étale over $X \setminus T$,

4. a morphism $h : Y \to X$,

5. a morphism $\alpha : Y_{/T} \to X'_{/T}$ over $X_{/T}$ (see proof for notation).

Then there exists an étale morphism $b : Y' \to Y$ of affine schemes which induces an isomorphism $b_{/T} : Y'_{/T} \to Y_{/T}$ and a morphism $a : Y' \to X'$ over $X$ such that $\alpha = a_{/T} \circ b_{/T}^{-1}$.