Lemma 85.8.3. Let $S$ be a scheme. Let $f : X \to Y$ be a morphism of formal algebraic spaces over $S$ which is representable by algebraic spaces and smooth (for example étale). Then $X_{red} = X \times _ Y Y_{red}$.

Proof. (The étale case follows directly from the construction of the underlying reduced algebraic space in the proof of Lemma 85.8.1.) Assume $f$ is smooth. Observe that $X \times _ Y Y_{red} \to Y_{red}$ is a smooth morphism of algebraic spaces. Hence $X \times _ Y Y_{red}$ is a reduced algebraic space by Descent on Spaces, Lemma 72.8.5. Then the univeral property of reduction shows that the canonical morphism $X_{red} \to X \times _ Y Y_{red}$ is an isomorphism. $\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).