Definition 10.109.2. Let $R$ be a ring. Let $M$ be an $R$-module. We say $M$ has finite projective dimension if it has a finite length resolution by projective $R$-modules. The minimal length of such a resolution is called the projective dimension of $M$.
Comments (0)
There are also: