6
$\begingroup$

I'm able to prove it for finitely generated modules, by appealing to the characterization of a projective module as a summand of a free module, and the fact that finite-rank free modules are isomorphic to their duals.

Is it true for all modules? I have seen seemingly conflicting evidence both ways (mostly against, by observations like the dual of the direct sum of countably many copies of $\mathbb{Z}$ is not free (but could it still be projective?).)

  • 1
    No, it can't be projective because for abelian groups, projective is equivalent to free (since a subgroup of a free abelian group is always free, hence a direct summand of a free abelian group is itself free abelian).2012-02-22
  • 0
    Okay, so then let's move away from $\mathbb{Z}$-modules to arbitrary $\mathbb{R}$-modules.2012-02-22
  • 0
    Oh, right, I guess that's a counterexample then.2012-02-22
  • 0
    This is rather curious. You get several Google hits for the phrase "dual of a projective module is projective" but I guess they all work under additional assumptions...?2012-02-22
  • 1
    @QiaochuYuan: It's true for finitely generated (as noted by Bean); that would account for lots of Google hits in and of itself.2012-02-22
  • 0
    I got some other special cases that had geometric interpretations, I think.2012-02-22

1 Answers 1

2

Let $P = \bigoplus_{\mathbb{N}}\mathbb{Z}$. Then the dual $\text{Hom}(\bigoplus_{\mathbb{N}}\mathbb{Z},\mathbb{Z})$ is not free.

Assume it is projective,and hence there is some $B$ such that $\text{Hom}(\bigoplus_{\mathbb{N}}\mathbb{Z},\mathbb{Z}) \oplus B$ is free. As Arturo points out subgroups of free Abelian groups are free and so $\text{Hom}(\bigoplus_{\mathbb{N}}\mathbb{Z},\mathbb{Z})$ must be free - which is a contradiction.

  • 3
    I think the hardest part would be to show that $\prod_{\mathbb{N}} \mathbb{Z}$ not free!2012-02-22
  • 0
    Looks like there's a proof here http://crazyproject.wordpress.com/2011/05/03/direct-products-of-free-modules-need-not-be-free/2012-02-22
  • 0
    You can also take a look at [this answer](http://math.stackexchange.com/a/74829/660).2012-02-22