\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.154.3 . Let $(R, \mathfrak m)$ be a complete local ring. If $\mathfrak m$ is a finitely generated ideal then $R$ is Noetherian.
Proof.
See Lemma 10.96.5 .
$\square$
Comments (0)