injective resolution of z