Ext modules related to syzygies of the residue field

Let R be a commutative noetherian ring. In this paper, we find out close relationships between the module M being embedded in a module of projective dimension at most n and the (n+1)-torsionfreeness of the nth syzygy of M. As an application, when R is local with residue field k, we compute the dimensions as k-vector spaces of Ext modules related to syzygies of k.