A Codimension Theorem for Pseudo-Noetherian Rings

M. Auslander and M. Bridger have shown that the depth of a Noetherian local ring is the sum of the Gorenstein dimension and the depth of any given nonzero finitely generated module of finite Gorenstein dimension. In this paper it is demonstrated that this result remains true when suitably interpreted for the class of coherent rings herein entitled pseudo-Noetherian rings. This class contains, among others, all Noetherian rings and valuation domains as well as non-Noetherian local rings of infinite depth.