MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 added 226 characters in body

This is a consequence of the following result: if $A \to B$ is a flat local homomorphism of local rings, $A$ and $B/\mathfrak{m}_AB$ are reduced, then $B$ is reduced. Keeping in mind that reduced is equivalent to $R_0$ and $S_1$, this follows from Theorem 23.9 in Matsumura's Commutative Ring Theory.

I don't know what the second question means.

[Edit] I just noticed that the hypotheses in the cited theorem are actually stronger, so that it would imply the result for schemes but not for analytic spaces, at least not immediately. I need to think about it some more.
show/hide this revision's text 2 deleted 9 characters in body

This is a consequence easily from of the following result: if $A \to B$ is a flat local homomorphism of local rings, $A$ and $B/\mathfrak{m}_AB$ are reduced, then $B$ is reduced. Keeping in mind that reduced is equivalent to $R_0$ and $S_1$, this follows from Theorem 23.9 in Matsumura's Commutative Ring Theory.

I don't know what the second question means.
show/hide this revision's text 1

This is a consequence easily from the following result: if $A \to B$ is a flat local homomorphism of local rings, $A$ and $B/\mathfrak{m}_AB$ are reduced, then $B$ is reduced. Keeping in mind that reduced is equivalent to $R_0$ and $S_1$, this follows from Theorem 23.9 in Matsumura's Commutative Ring Theory.

I don't know what the second question means.