Freeness criteria via vanishing of Tor

Abstract

We investigate some aspects of the module $L$ equipped with the property that $To{r}_1^R(L,F)=0$ implies that $F$ is free. This has some applications.