Projective dimension/Definition

The minimal length of a finite projective resolution of a module.