Lemma 10.112.8. Let $R \to S$ be a local homomorphism of local Noetherian rings. Assume

1. $R$ is regular,

2. $S/\mathfrak m_ RS$ is regular, and

3. $R \to S$ is flat.

Then $S$ is regular.

Proof. By Lemma 10.112.7 we have $\dim (S) = \dim (R) + \dim (S/\mathfrak m_ RS)$. Pick generators $x_1, \ldots , x_ d \in \mathfrak m_ R$ with $d = \dim (R)$, and pick $y_1, \ldots , y_ e \in \mathfrak m_ S$ which generate the maximal ideal of $S/\mathfrak m_ RS$ with $e = \dim (S/\mathfrak m_ RS)$. Then we see that $x_1, \ldots , x_ d, y_1, \ldots , y_ e$ are elements which generate the maximal ideal of $S$ and $e + d = \dim (S)$. $\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).