Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Projective modules

  1. Aug 22, 2008 #1
    Please help me to prove that for a projective module P there exists a free module F, such that P +F =F.

    Here + denotes direct sum = denotes isomorphic.

  2. jcsd
  3. Aug 22, 2008 #2


    User Avatar

    Did you really mean to write P + F = F? It's a standard result that a module is projective if and only if there is a module Q and free module F such that P + Q = F. Can you prove that?

    It does seem to follow that there exists a free module F' with P + F' = F', although I've never seen it stated like that before.
  4. Sep 5, 2008 #3
    I have seen this called Eilenberg's trick. The idea is that Q+P=F1 where Q is projective and F1 is free. Now let F=F1+F1+F1.. a countable number of times.

    Then, P+F is isomorphic to P+Q+P+Q+P+Q.. which is isomorphic to F.
  5. Sep 7, 2008 #4


    User Avatar

    That's what I was thinking of, although I didn't know it was called Eilenberg's trick.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Projective modules
  1. Modules in Macaulay2 (Replies: 0)

  2. What is a module? (Replies: 4)