Projective dimension: Difference between revisions