Auslander–Buchsbaum formula

E223665

The Auslander–Buchsbaum formula is a fundamental result in commutative algebra that relates the projective dimension of a finitely generated module over a Noetherian local ring to the depth of the module and the depth of the ring.

All labels observed (3)

How this entity was disambiguated

Statements (48)

Predicate Object
instanceOf mathematical theorem ⓘ
theorem in commutative algebra ⓘ
appliesTo Noetherian local ring ⓘ
finitely generated module ⓘ
area algebra ⓘ
assumption M has finite projective dimension ⓘ
M is a finitely generated R-module ⓘ
R is a Noetherian local ring ⓘ
category homological algebra results ⓘ
conclusion projective dimension of M equals depth(R) minus depth_R(M) ⓘ
context homological algebra ⓘ
local algebra ⓘ
field commutative algebra ⓘ
historicalPeriod 20th century mathematics ⓘ
holdsWhen the projective dimension of the module is finite ⓘ
implies modules of finite projective dimension over a regular local ring are free ⓘ
involvesIdeal maximal ideal m of R ⓘ
involvesInvariant depth(R) ⓘ
depth_R(M) ⓘ
pd_R(M) ⓘ
involvesRing local ring (R, m) ⓘ
isFundamentalResultIn commutative algebra ⓘ
languageOfFormulation ring theory ⓘ
namedAfter David Buchsbaum ⓘ
Maurice Auslander ⓘ
relatedConcept Cohen–Macaulay ring ⓘ
Ext functor ⓘ
Tor functor ⓘ
global dimension ⓘ
regular local ring ⓘ
relatedTo Auslander–Buchsbaum theorem ⓘ
Serre’s characterization of regular local rings ⓘ
relatesConcept depth of a module ⓘ
depth of a ring ⓘ
projective dimension ⓘ
requires Noetherian hypothesis on the ring ⓘ
local hypothesis on the ring ⓘ
statement For a Noetherian local ring (R, m) and a finitely generated R-module M of finite projective dimension, pd_R(M) + depth_R(M) = depth(R). ⓘ
symbolicForm pd_R(M) + depth_R(M) = depth(R) ⓘ
usedFor characterizing regular local rings via projective dimension ⓘ
relating homological and depth invariants of modules ⓘ
usedIn classification of modules over regular local rings ⓘ
computations of projective dimension ⓘ
study of depth and Cohen–Macaulay modules ⓘ
usesConcept depth ⓘ
homological dimension ⓘ
projective resolution ⓘ
regular sequence ⓘ

How these facts were elicited

Referenced by (10)

Full triples — surface form annotated when it differs from this entity's canonical label.

Hilbert’s syzygy theorem → relatedTo → Auslander–Buchsbaum formula ⓘ
Auslander–Buchsbaum formula → statement → For a Noetherian local ring (R, m) and a finitely generated R-module M of finite projective dimension, pd_R(M) + depth_R(M) = depth(R). ⓘ
linked to: Auslander–Buchsbaum formula
Auslander–Buchsbaum formula → relatedTo → Auslander–Buchsbaum theorem ⓘ
linked to: Auslander–Buchsbaum formula
Eisenbud’s Commutative Algebra → topic → Auslander–Buchsbaum formula ⓘ
Maurice Auslander → notableFor → Auslander–Buchsbaum formula ⓘ
Maurice Auslander → notableFor → Auslander–Buchsbaum theorem ⓘ
linked to: Auslander–Buchsbaum formula
Maurice Auslander → hasConceptNamedAfter → Auslander–Buchsbaum formula ⓘ
Maurice Auslander → hasConceptNamedAfter → Auslander–Buchsbaum theorem ⓘ
linked to: Auslander–Buchsbaum formula
David Buchsbaum → notableWork → Auslander–Buchsbaum formula ⓘ
David Buchsbaum → coDeveloperOf → Auslander–Buchsbaum formula ⓘ