1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
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)