When Are Torsionless Modules Projective?

Abstract

In this paper, we study the problem when a finitely generated torsionless module is projective. Let $Λ$ be an Artinian local algebra with radical square zero. Then a finitely generated torsionless $Λ$-module $M$ is projective if ${\rm Ext^1_Λ}(M,M)=0$. For a commutative Artinian ring $Λ$, a finitely generated torsionless $Λ$-module $M$ is projective if the following conditions are satisfied: (1) ${\rm Ext}^i_Λ(M,Λ)=0$ for $i=1,2,3$; and (2) ${\rm Ext}^i_Λ(M,M)=0$ for $i=1,2$. As a consequence of this result, we have that for a commutative Artinian ring $Λ$, a finitely generated Gorenstein projective $Λ$-module is projective if and only if it is selforthogonal.

10 pages