Proposition 15.79.6. Let $R$ be a Noetherian ring. The following are equivalent
$R$ is regular of finite dimension,
$D_{perf}(R)$ has a strong generator, and
$R$ is a strong generator for $D_{perf}(R)$.
Proof. This is a formal consequence of Lemmas 15.78.1, 15.79.2, and 15.79.5 as well as Derived Categories, Lemma 13.36.6. $\square$
Comments (0)