Definition 10.133.5. Let $k$ be a field. Let $S$ be a local $k$-algebra essentially of finite type over $k$. We say $S$ is a complete intersection (over $k$) if there exists a local $k$-algebra $R$ and elements $f_1, \ldots , f_ c \in \mathfrak m_ R$ such that
$R$ is essentially of finite type over $k$,
$R$ is a regular local ring,
$f_1, \ldots , f_ c$ form a regular sequence in $R$, and
$S \cong R/(f_1, \ldots , f_ c)$ as $k$-algebras.
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).