Auslander–Buchsbaum theorem

The Auslander–Buchsbaum theorem is a fundamental result in the field of commutative algebra, specifically in the study of modules over local rings and their projective dimensions. It provides a connection between the dimensions of modules and their resolutions.