The Stacks project

Definition 10.109.10. Let $R$ be a ring. The ring $R$ is said to have finite global dimension if there exists an integer $n$ such that every $R$-module has a resolution by projective $R$-modules of length at most $n$. The minimal such $n$ is then called the global dimension of $R$.