4
$\begingroup$

Suppose $A$ noetherian and define

$G(A):=\{M: M$ is an $A$-module reflexive and Ext$^i_A(M,A)=$Ext$^i_A(M^*,A)=0$ for $i\geq1\}$

Why are projective modules contained in this class? Of course if $M$ is projective, then $\mathrm{Ext}^i_A(M,A)=0$. I don't understand why the other conditions hold. Could you tell me why?

(It's not clear to me that we need to suppose $M$ finitely generated.)

1 Answers 1

4

Not all projectives are in that class, for not all projectives are reflexive; for an example, take $A$ to be a field and let $M$ be an infinite dimensional vector space.

Finitely generated ones are, though, and then one can check easily that their duals are also projective.

  • 0
    I suggest you try to prove that yourself :-) You could start by proving that a finite direct sum of refle$x$ives is reflexive, and that a direct summand of a reflexive module is reflexive.2012-09-30