Definition 16.2.1. Let $R \to A$ be a ring map. The singular ideal of $A$ over $R$, denoted $H_{A/R}$ is the unique radical ideal $H_{A/R} \subset A$ with
\[ V(H_{A/R}) = \{ \mathfrak q \in \mathop{\mathrm{Spec}}(A) \mid R \to A \text{ not smooth at }\mathfrak q\} \]
Comments (0)
There are also: