加载中…
We prove that a commutative noetherian ring is Gorenstein of dimension at most if is an upper bound on the G-levels of perfect -complexes. For local, we prove a formula for levels, with respect to injective or Gorenstein injective -modules, of -complexes with finitely generated homology; it mimics Bass’ classic formula for injective dimension of finitely generated -modules.

生成讲解博客的中文版本

生成AI智能校验的中文版本