Global dimension

Summary

The global dimension of a ring is the supremum of the projective dimensions of all its modules. It is $0$ for fields and $1$ for principal ideal domains that are not fields. It is $n$ for a polynomial ring in $n$ variables over a field. By Serre's theorem, a Noetherian local ring has finite global dimension exactly when it is a regular local ring.