查看文章

Let R be a commutative ring. An R-module M is said to be super finitely presented if there is an exact sequence of R-modules where each P_i is finitely generated projective. In this article, it is shown that if R has the property (B) that every super finitely presented module has finite Gorenstein projective dimension, then every finitely generated Gorenstein projective module is super finitely presented. As an application of the notion of super finitely presented modules, we show that if R has the property (C) that every super finitely presented module has finite projective dimension, then R is K₀-regular, i.e., K₀(R[x₁,…, x_n]) ≅ K₀(R) for all n ≥ 1.