Lemma 86.10.3. Let $A$ be a Noetherian ring. Let $I \subset A$ be an ideal. Let $B$ be an $I$-adically complete $A$-algebra with $A/I \to B/IB$ of finite type. The equivalent conditions of Lemma 86.8.2 are also equivalent to

there exists a finite type $A$-algebra $C$ such that $\mathop{\mathrm{Spec}}(C) \to \mathop{\mathrm{Spec}}(A)$ is étale over $\mathop{\mathrm{Spec}}(A) \setminus V(I)$ and such that $B \cong C^\wedge $.

## Comments (0)