Direct Sum of Projective and Free Modules In Kevin Ventullo's answer on Mathoverflow it is mentioned that if $F$ is a free module on infinitely many generators and $P$ is a projective module, then $P \oplus F$ is again free.
However, I cannot see why this should be true.
Could you please show me why this holds?
Thank you very much for your help!

I wasn't aware of this result before, and I believe as you have stated it it's false, but for some specific pairs $P$, $F$ it makes sense using the fact that a projective is a summand of a free.  Specifically, let $F$ be free on $\kappa$ generators, where $\kappa$ is infinite, and suppose also that $P\oplus P' = F'$, where $F'$ is free on a set of generators with cardinality $\kappa' \leq \kappa$.  Then because $\kappa' \leq \kappa$ and $\kappa$ is infinite, we may write $F$ as an infinite sum of copies of $F'$:
\begin{align*}
 F = \bigoplus_iF' = \bigoplus_i(P\oplus P') = (\bigoplus_iP)\oplus(\bigoplus_i P')
\end{align*}
so that
\begin{align*}
 P\oplus F = P\oplus\left((\bigoplus_iP)\oplus(\bigoplus_i P')\right) = \left(P\oplus\bigoplus_iP\right)\oplus\bigoplus_i P' = (\bigoplus_iP)\oplus(\bigoplus_i P') = F.
\end{align*}
This trick doesn't work if $\kappa' > \kappa$, and I would guess that the result is actually false in that case.
