Let be a local ring and a finitely generated -module. The complete intersection dimension of –defined by Avramov, Gasharov and Peeva, and denoted –is a homological invariant whose finiteness implies that is similar to a module over a complete intersection. It is related to the classical projective dimension and to Auslander and Bridger’s Gorenstein dimension by the inequalities . Using Blanco and Majadas’ version of complete intersection dimension for local ring homomorphisms, we prove the following generalization of a theorem of Avramov and Foxby: Given local ring homomorphisms and such that has finite Gorenstein dimension, if has finite complete intersection dimension, then the composition has finite Gorenstein dimension. This follows from our result stating that, if has finite complete intersection dimension, then is -reflexive and is in the Auslander class for each semidualizing -complex .

生成讲解博客的中文版本

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