The Auslander–Buchsbaum formula implies that a Noetherian local ring is regular if, and only if, it has finite global dimension.
Ur Auslander–Buchsbaums formel följer att en Noethersk lokal ring är regelbunden om och bara om den har ändlig global dimension.