In commutative and homological algebra, depth is an important invariant of rings and modules. Although depth can be defined more generally, the most common case considered is the case of modules over a commutative Noetherianlocal ring. In this case, the depth of a module is related with its projective dimension by the Auslander–Buchsbaum formula. A more elementary property of depth is the inequality