Lemma 10.110.8. Let $R$ be a Noetherian ring. The following are equivalent:

$R$ has finite global dimension $n$,

$R$ is a regular ring of dimension $n$,

there exists an integer $n$ such that all the localizations $R_{\mathfrak m}$ at maximal ideals are regular of dimension $\leq n$ with equality for at least one $\mathfrak m$, and

there exists an integer $n$ such that all the localizations $R_{\mathfrak p}$ at prime ideals are regular of dimension $\leq n$ with equality for at least one $\mathfrak p$.

## Comments (0)