Lemma 15.43.9. Let $A \to B$ be a flat local homomorphism of Noetherian local rings such that $\mathfrak m_ A B = \mathfrak m_ B$ and $\kappa (\mathfrak m_ A) = \kappa (\mathfrak m_ B)$. Then $A \to B$ induces an isomorphism $A^\wedge \to B^\wedge $ of completions.
Proof. By Algebra, Lemma 10.97.7 we see that $B^\wedge $ is the $\mathfrak m_ A$-adic completion of $B$ and that $A^\wedge \to B^\wedge $ is finite. Since $A \to B$ is flat we have $\text{Tor}_1^ A(B, \kappa (\mathfrak m_ A)) = 0$. Hence we see that $B^\wedge $ is flat over $A^\wedge $ by Lemma 15.27.5. Thus $B^\wedge $ is a free $A^\wedge $-module by Algebra, Lemma 10.78.5. Since $A^\wedge \to B^\wedge $ induces an isomorphism $\kappa (\mathfrak m_ A) = A^\wedge /\mathfrak m_ A A^\wedge \to B^\wedge /\mathfrak m_ A B^\wedge = B^\wedge /\mathfrak m_ B B^\wedge = \kappa (\mathfrak m_ B)$ by our assumptions (and Algebra, Lemma 10.96.3), we see that $B^\wedge $ is free of rank $1$. Thus $A^\wedge \to B^\wedge $ is an isomorphism. $\square$
Comments (1)
Comment #9914 by Branislav Sobot on