Lemma 37.58.15. Let $i : Z \to Y$ and $j : Y \to X$ be immersions of schemes. Assume

1. $X$ is locally Noetherian,

2. $j \circ i$ is a regular immersion, and

3. $i$ is perfect.

Then $i$ and $j$ are regular immersions.

Proof. Since $X$ (and hence $Y$) is locally Noetherian all 4 types of regular immersions agree, and moreover we may check whether a morphism is a regular immersion on the level of local rings, see Divisors, Lemma 31.20.8. Thus the result follows from Divided Power Algebra, Lemma 23.7.5. $\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).