\begin{equation*}
\DeclareMathOperator\Coim{Coim}
\DeclareMathOperator\Coker{Coker}
\DeclareMathOperator\Ext{Ext}
\DeclareMathOperator\Hom{Hom}
\DeclareMathOperator\Im{Im}
\DeclareMathOperator\Ker{Ker}
\DeclareMathOperator\Mor{Mor}
\DeclareMathOperator\Ob{Ob}
\DeclareMathOperator\Sh{Sh}
\DeclareMathOperator\SheafExt{\mathcal{E}\mathit{xt}}
\DeclareMathOperator\SheafHom{\mathcal{H}\mathit{om}}
\DeclareMathOperator\Spec{Spec}
\newcommand\colim{\mathop{\mathrm{colim}}\nolimits}
\newcommand\lim{\mathop{\mathrm{lim}}\nolimits}
\newcommand\Qcoh{\mathit{Qcoh}}
\newcommand\Sch{\mathit{Sch}}
\newcommand\QCohstack{\mathcal{QC}\!\mathit{oh}}
\newcommand\Cohstack{\mathcal{C}\!\mathit{oh}}
\newcommand\Spacesstack{\mathcal{S}\!\mathit{paces}}
\newcommand\Quotfunctor{\mathrm{Quot}}
\newcommand\Hilbfunctor{\mathrm{Hilb}}
\newcommand\Curvesstack{\mathcal{C}\!\mathit{urves}}
\newcommand\Polarizedstack{\mathcal{P}\!\mathit{olarized}}
\newcommand\Complexesstack{\mathcal{C}\!\mathit{omplexes}}
\newcommand\Pic{\mathop{\mathrm{Pic}}\nolimits}
\newcommand\Picardstack{\mathcal{P}\!\mathit{ic}}
\newcommand\Picardfunctor{\mathrm{Pic}}
\newcommand\Deformationcategory{\mathcal{D}\!\mathit{ef}}
\end{equation*}
Lemma 10.155.11 . A Noetherian domain of characteristic zero is N-1 if and only if it is N-2 (i.e., Japanese).
Proof.
This is clear from Lemma 10.155.8 since every field extension in characteristic zero is separable.
$\square$
Comments (0)
There are also: