Definition 29.33.13. Let $d \geq 0$ be an integer. We say a morphism of schemes $f : X \to S$ is smooth of relative dimension $d$ if $f$ is smooth and $\Omega _{X/S}$ is finite locally free of constant rank $d$.

There are also:

• 2 comment(s) on Section 29.33: Smooth morphisms

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).