Definition 10.137.1. A ring map $R \to S$ is smooth if it is of finite presentation and the naive cotangent complex $\mathop{N\! L}\nolimits _{S/R}$ is quasi-isomorphic to a finite projective $S$-module placed in degree $0$.
Definition 10.137.1. A ring map $R \to S$ is smooth if it is of finite presentation and the naive cotangent complex $\mathop{N\! L}\nolimits _{S/R}$ is quasi-isomorphic to a finite projective $S$-module placed in degree $0$.
Comments (0)