show/hide this revision's text 2 added 78 characters in body

Here is a complete answer; I think it is more or less what Steve wrote in his comment, except I don't understand the appearance of $\mathbb{R}$ there. If $I$ is the infinite index set, let $L=\mathbb{Z}^{(I)}\subset P$ be the obvious free submodule. Then $\mathrm{Ext}^1(P,\mathbb{Z})=\mathrm{Ext}^1(P/L,\mathbb{Z})$.

EDIT: the last formula is wrong, see Martin's and Steve's comments below.

Now $P/L$ has a big divisible subgroup $D$, whose inverse image in $P$ consists of maps $I\to\mathbb{Z}$ converging to zero in $\widehat{\mathbb{Z}}$ (the profinite completion of $\mathbb{Z}$). (For instance, if $I=\mathbb{N}$ take the sequence $n\mapsto n!$). Since $P/L$ is torsion-free (imediate), $D$ is a nonzero $\mathbb{Q}$-vector space. Since $D$ is divisible it is a direct summand of $P/L$; hence, $P/L$ admits $\mathbb{Q}$ as a direct summand. But it is well known (and easy to see) that $\mathrm{Ext}^1(\mathbb{Q}/\mathbb{Z},\mathbb{Z})\cong\widehat{\mathbb{Z}}$, hence $\mathrm{Ext}^1(\mathbb{Q},\mathbb{Z})=\widehat{\mathbb{Z}}/{\mathbb{Z}}\neq0$.

show/hide this revision's text 1

Here is a complete answer; I think it is more or less what Steve wrote in his comment, except I don't understand the appearance of $\mathbb{R}$ there. If $I$ is the infinite index set, let $L=\mathbb{Z}^{(I)}\subset P$ be the obvious free submodule. Then $\mathrm{Ext}^1(P,\mathbb{Z})=\mathrm{Ext}^1(P/L,\mathbb{Z})$.

Now $P/L$ has a big divisible subgroup $D$, whose inverse image in $P$ consists of maps $I\to\mathbb{Z}$ converging to zero in $\widehat{\mathbb{Z}}$ (the profinite completion of $\mathbb{Z}$). (For instance, if $I=\mathbb{N}$ take the sequence $n\mapsto n!$). Since $P/L$ is torsion-free (imediate), $D$ is a nonzero $\mathbb{Q}$-vector space. Since $D$ is divisible it is a direct summand of $P/L$; hence, $P/L$ admits $\mathbb{Q}$ as a direct summand. But it is well known (and easy to see) that $\mathrm{Ext}^1(\mathbb{Q}/\mathbb{Z},\mathbb{Z})\cong\widehat{\mathbb{Z}}$, hence $\mathrm{Ext}^1(\mathbb{Q},\mathbb{Z})=\widehat{\mathbb{Z}}/{\mathbb{Z}}\neq0$.