On Auslander's depth formula

Abstract

We show that if Auslander's depth formula holds for non-zero Tor-independent modules over Cohen-Macaulay local rings of dimension 1, then it holds for such modules over any Cohen-Macaulay local ring. More generally, we show that the depth formula for non-zero Tor-independent modules that have finite Cohen-Macaulay dimension over depth 1 local rings implies the depth formula for such modules over any positive depth local ring.