Lemma 15.10.3. Let $(A, I)$ be a Zariski pair. Let $A \to B$ be a flat, integral, finitely presented ring map such that $A/I \to B/IB$ is an isomorphism. Then $A \to B$ is an isomorphism.

Proof. The ring map $A \to B$ is finite by Algebra, Lemma 10.36.5. Hence $B$ is finitely presented as an $A$-module by Algebra, Lemma 10.36.23. Hence $B$ is a finite locally free $A$-module by Algebra, Lemma 10.78.2. Since the module $B$ has rank $1$ along $V(I)$ (see rank function described in Algebra, Lemma 10.78.2), and as $(A, I)$ is a Zariski pair, we conclude that the rank is $1$ everywhere. It follows that $A \to B$ is an isomorphism: it is a pleasant exercise to show that a ring map $R \to S$ such that $S$ is a locally free $R$-module of rank $1$ is an isomorphism (hint: look at local rings). $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).