Exercice 23, § 4

Soient $A$ un anneau semi-local noethérien réduit, $R$ son anneau total des fractions, $\hat{A}$ le complété de $A$. Pour que $\hat{A}$ soit réduit, il faut et il suffit que $R \otimes_A \hat{A}$ soit réduit.