Auslander–Buchsbaums formel
Inom kommutativ algebra, en del av matematiken, är Auslander–Buchsbaums formel, introducerad av , ett resultat som säger att om "R" är en kommutativ Noethersk lokal ring och "M" en nollskild ändligtgenererad "R"-modul av ändlig projektiv dimension, då är

: formula_1

Här betyder pd projektiva dimensionen av modulen och djup djupet av modulen.
studies