show/hide this revision's text 2 Added some tags, since it was on the frontpage anyway
show/hide this revision's text 1

Projective dimension of zero module

Is there any consensus on what the projective dimension of the zero module should be? Here are three statements one commonly encounters in textbooks, sometimes with or without the condition $M\neq 0$:

(1) $\mbox{pd}(M)\leq n$ iff $\mbox{Ext}^{n+1}(M,-)=0$

(2) $\mbox{pd}(M)=0$ iff $M$ is projective

(3) $\mbox{grade}(M):=\infty$ if $M=0$

If one attempts to define $\mbox{pd}((0))$ by extending one of these results, (1), (2), (3) suggest $\mbox{pd}=-1, 0, \infty$, respectively.