加载中…
For finitely generated modules and over a Gorenstein local ring , one has , i.e., the depth formula holds, if and are Tor-independent and Tate homology vanishes for all . We establish the same conclusion under weaker hypotheses: if and are -relative Tor-independent, then the vanishing of for all is enough for the depth formula to hold. We also analyze the depth of tensor products of modules and obtain a necessary condition for the depth formula in terms of -relative homology.

生成讲解博客的中文版本

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