Skip to main content
1 of 4
Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424

dual of Z^I for uncountable I

Let $I$ be an infinite set. There is a homomorphism of abelian groups $\mathbb{Z}^{(I)} \to \hom(\mathbb{Z}^I,\mathbb{Z})$ which sends the basis element $e_i$ to the projection $p_i$. If $I$ is countable, it's a famous result of Specker1 that this is actually an isomorphism. But what happens when $I$ is uncountable?

Clearly it is injective. Surjectivity means that $\phi \in \hom(\mathbb{Z}^I,\mathbb{Z})$ is determined by the values $\phi(e_i)$ and that these values vanisch for almost all $i$. I can't copy the proof for the countable case.

1 Ernst Specker, Additive Gruppe von Folgen ganzer Zahlen, Portigalie Math. 9 (1950), 131-140.

Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424