The dual of the grade of a module (Q1095231)

E-dimension of a module M, denoted E-dim M, is the least n such that \(Ext^ n(E,M)\neq 0\) for some injective E. We prove that if R is a left coherent ring, \(_ RM_ S\) an R-finitely presented bimodule, and \(G_ S\) an injective module such that \(Hom_ S(M,G)\neq 0\), then \[ \text{grade}_ R M\leq E-\dim _ R Hom_ S(M,G)\leq \text{proj.}\dim_ R M. \] If \(G_ S\) is an injective cogenerator of S, then grade \(_ R M = E-\dim_ R Hom_ S(M,G)\). In particular, if k is the residue field of an n-dimensional regular local ring, then \(E-\dim k=n\).