The Stacks project

Proof. Choose an affine neighbourhood $\mathop{\mathrm{Spec}}(A) \subset Y$ of $\eta$. Choose an affine open $\mathop{\mathrm{Spec}}(B) \subset X$ mapping into $\mathop{\mathrm{Spec}}(A)$ via the morphism $f$. Let $\mathfrak p \subset A$ be the minimal prime corresponding to $\eta$. Let $B_{red}$ be the quotient of $B$ by the nilradical $\sqrt{(0)}$. The algebraic content of the lemma is that $C = B_{red} \otimes _ A \kappa (\mathfrak p)$ is reduced. Denote $I \subset A$ the nilradical so that $A_{red} = A/I$. Denote $\mathfrak p_{red} = \mathfrak p/I$ which is a minimal prime of $A_{red}$ with $\kappa (\mathfrak p) = \kappa (\mathfrak p_{red})$. Since $A \to B_{red}$ and $A \to \kappa (\mathfrak p)$ both factor through $A \to A_{red}$ we have $C = B_{red} \otimes _{A_{red}} \kappa (\mathfrak p_{red})$. Now $\kappa (\mathfrak p_{red}) = (A_{red})_{\mathfrak p_{red}}$ is a localization by Algebra, Lemma 10.25.1. Hence $C$ is a localization of $B_{red}$ (Algebra, Lemma 10.12.15) and hence reduced. $\square$