Lemma 10.68.5. Let $R, S$ be local rings. Let $R \to S$ be a flat local ring homomorphism. Let $x_1, \ldots , x_ r$ be a sequence in $R$. Let $M$ be an $R$-module. The following are equivalent

1. $x_1, \ldots , x_ r$ is an $M$-regular sequence in $R$, and

2. the images of $x_1, \ldots , x_ r$ in $S$ form a $M \otimes _ R S$-regular sequence.

Proof. This is so because $R \to S$ is faithfully flat by Lemma 10.39.17. $\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).