Extensions of an infinite product of copies of Z by Z The question is simple:
Let $P$ be an infinite direct product of copies of $\mathbb Z$. Do there exist any nontrivial extensions
$$0 \to \mathbb Z \to E \to P \to 0$$
in the category of commutative groups?
In other words, I am asking whether the group $\mathrm{Ext}^1(P,\mathbb Z)$ is trivial. The problem here is of course that the group $P$ is not a free group.
Already a funny thing happens with $\mathrm{Hom}(P,\mathbb Z)$. For any finite or infinite index set $I$, the canonical evaluation map
$$\bigoplus_{i\in I}\mathbb Z \to \mathrm{Hom}\Big(\mathrm{Hom}\Big(\bigoplus_{i\in I}\mathbb Z,\:\mathbb Z \Big),\:\mathbb Z \Big) \cong \mathrm{Hom}\Big(\prod_{i\in I}\mathbb Z,\:\mathbb Z \Big)$$
is an isomorphism! That is a nontrivial statement (due to??), whose proof is not a formality at all. Replacing $\mathbb Z$ by, say, $\mathbb Z/p\mathbb Z$, the corresponding statement is wrong for infinite $I$.
 A: 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$.
A: The answer is given in Theorem 5 of [Nunke, "Slender groups", Bull. AMS, 1961]: $\mathrm{Ext}^1(P,\mathbb{Z})$ is isomorphic to the direct sum of $2^{\mathfrak{c}}$ copies of $\mathbb{Q}$ and $2^{\mathfrak{c}}$ copies of $\mathbb{Q}/\mathbb{Z}$, where $\mathfrak{c}$ is the cardinality of the continuum. (In particular, it is very far from being trivial!) It is also stated as Exercise 2 of section 99 of [Fuchs, "Infinite Abelian Groups, Vol. II", 1973], which says that $\mathrm{Ext}^1(P,\mathbb{Z})$ is isomorphic to the direct product of $\mathfrak{c}$ copies of $\mathbb{Q}/\mathbb{Z}$, which one can see by the structure theory of divisible abelian groups is the same as the answer given by Nunke.
