No CrossRef data available.
Published online by Cambridge University Press: 22 January 2016
All rings that occur in this note will be assumed to be commutative with unity and all modules will be finitely generated and unitary.
The grade of a module M over a noetherian local ring R is defined to be the length of a maximal R-sequence contained in the annihilator of M. If M has finite projective dimension it is well-known that grade M ≤ proj. dim M. We can say more when R is a regular local ring.