Available in electronic format
Available in print format
Proceedings of the American Mathematical Society
Proceedings of the American Mathematical Society
ISSN 1088-6826 (e) ISSN 0002-9939 (p)
     

Specker's theorem for Nöbeling's group

Author(s): Andreas Blass
Journal: Proc. Amer. Math. Soc. 130 (2002), 1581-1587.
MSC (2000): Primary 20K20; Secondary 03E25, 03E35, 03E60, 03E75, 20K25, 20K30, 20K45
Posted: October 23, 2001
Retrieve article in: PDF DVI PostScript
This article is available free of charge

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:

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: 10.1090/S0002-9939-01-06222-0
PII: S 0002-9939(01)06222-0
Received by editor(s): October 13, 2000
Received by editor(s) in revised form: December 18, 2000
Posted: 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.
Copyright of article: Copyright 2001, American Mathematical Society


  AMS Website Logo Small Comments: webmaster@ams.org
© Copyright 2008, American Mathematical Society
Privacy Statement
Search the AMSPowered by Google