Definition 10.134.1. A ring map $R \to S$ is called syntomic, or we say $S$ is a flat local complete intersection over $R$ if it is flat, of finite presentation, and if all of its fibre rings $S \otimes _ R \kappa (\mathfrak p)$ are local complete intersections, see Definition 10.133.1.
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).