Definition 10.134.5. Let $R \to S$ be a ring map. We say that $R \to S$ is a relative global complete intersection if we are given a presentation $S = R[x_1, \ldots , x_ n]/(f_1, \ldots , f_ c)$ such that every nonempty fibre has dimension $n - c$.
Post a comment
Your email address will not be published. Required fields are marked.
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).