Specker’s theorem for Nöbeling’s group

Blass, Andreas

doi:10.1090/S0002-9939-01-06222-0

Specker’s theorem for Nöbeling’s group
HTML articles powered by AMS MathViewer

by Andreas Blass PDF

Proc. Amer. Math. Soc. 130 (2002), 1581-1587 Request permission

Abstract:

Specker proved that the group $\mathbb {Z}^{\aleph _0}$ of integer-valued sequences is far from free; all its homomorphisms to $\mathbb {Z}$ factor through finite subproducts. Nöbeling proved that the subgroup $\mathcal {B}$ consisting of the bounded sequences is free and therefore has many homomorphisms to $\mathbb {Z}$. We prove that all “reasonable” homomorphisms $\mathcal {B}\to \mathbb {Z}$ factor through finite subproducts. Among the reasonable homomorphisms are all those that are Borel with respect to a natural topology on $\mathcal {B}$. In the absence of the axiom of choice, it is consistent that all homomorphisms are reasonable and therefore that Specker’s theorem applies to $\mathcal {B}$ as well as to $\mathbb {Z}^{\aleph _0}$.

References

R. Baire, Sur les fonctions de variables réelles, Ann. Mat. Pura Appl. (3) 3 (1899) 1–122.
László Fuchs, Infinite abelian groups. Vol. II, Pure and Applied Mathematics. Vol. 36-II, Academic Press, New York-London, 1973. MR 0349869
N. Lusin and W. Sierpiński, Sur un ensemble non mesurable B, Journal de Mathématiques, $9^{\text {e}}$ série 2 (1923) 53–72.
Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709
Jan Mycielski, On the axiom of determinateness, Fund. Math. 53 (1963/64), 205–224. MR 161787, DOI 10.4064/fm-53-2-205-224
G. Nöbeling, Verallgemeinerung eines Satzes von Herrn E. Specker, Invent. Math. 6 (1968), 41–55 (German). MR 231907, DOI 10.1007/BF01389832
Saharon Shelah, Can you take Solovay’s inaccessible away?, Israel J. Math. 48 (1984), no. 1, 1–47. MR 768264, DOI 10.1007/BF02760522
Robert M. Solovay, A model of set-theory in which every set of reals is Lebesgue measurable, Ann. of Math. (2) 92 (1970), 1–56. MR 265151, DOI 10.2307/1970696
Charles Hopkins, Rings with minimal condition for left ideals, Ann. of Math. (2) 40 (1939), 712–730. MR 12, DOI 10.2307/1968951
Michel Talagrand, Compacts de fonctions mesurables et filtres non mesurables, Studia Math. 67 (1980), no. 1, 13–43 (French). MR 579439, DOI 10.4064/sm-67-1-13-43