Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

Specker's theorem for Nöbeling's group


Author: Andreas Blass
Journal: Proc. Amer. Math. Soc. 130 (2002), 1581-1587
MSC (2000): Primary 20K20; Secondary 03E25, 03E35, 03E60, 03E75, 20K25, 20K30, 20K45
DOI: https://doi.org/10.1090/S0002-9939-01-06222-0
Published electronically: October 23, 2001
MathSciNet review: 1887001
Full-text PDF

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

  • 1. R. Baire, Sur les fonctions de variables réelles, Ann. Mat. Pura Appl. (3) 3 (1899) 1-122.
  • 2. L. Fuchs, Infinite Abelian Groups, vol. II, Academic Press (1973). MR 50:2362
  • 3. N. Lusin and W. Sierpinski, Sur un ensemble non mesurable B, Journal de Mathématiques, $9^{\text{e}}$ série 2 (1923) 53-72.
  • 4. Y. Moschovakis, Descriptive Set Theory, North-Holland, Studies in Logic 100 (1980). MR 82e:03002
  • 5. J. Mycielski, On the axiom of determinateness, Fund. Math. 53 (1964) 205-224. MR 28:4991
  • 6. G. Nöbeling, Verallgemeinerung eines Satzes von Herrn E. Specker, Invent. Math. 6 (1968) 41-55. MR 38:233
  • 7. S. Shelah, Can you take Solovay's inaccessible away?, Israel J. Math. 48 (1984) 1-47. MR 86g:03082a
  • 8. R. Solovay, A model of set theory in which every set is Lebesgue measurable, Ann. Math. 92 (1970) 1-56. MR 42:64
  • 9. E. Specker, Additive Gruppen von Folgen ganzer Zahlen, Portugaliae Math. 9 (1950) 131-140. MR 12:587b
  • 10. M. Talagrand, Compacts de fonctions mesurables et filtres non mesurables, Studia Math. 67 (1980) 13-43. MR 82e:28009

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC (2000): 20K20, 03E25, 03E35, 03E60, 03E75, 20K25, 20K30, 20K45

Retrieve articles in all journals with MSC (2000): 20K20, 03E25, 03E35, 03E60, 03E75, 20K25, 20K30, 20K45


Additional Information

Andreas Blass
Affiliation: Department of Mathematics, University of Michigan, Ann Arbor, Michigan 48109–1109
Email: ablass@umich.edu

DOI: https://doi.org/10.1090/S0002-9939-01-06222-0
Received by editor(s): October 13, 2000
Received by editor(s) in revised form: December 18, 2000
Published electronically: October 23, 2001
Additional Notes: This work was partially supported by NSF grant DMS–0070723. The author thanks the Mittag-Leffler Institute for supporting a visit in October 2000, during which this paper was written.
Communicated by: Carl G. Jockusch, Jr.
Article copyright: © Copyright 2001 American Mathematical Society

American Mathematical Society