|
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 of integer-valued sequences is far from free; all its homomorphisms to factor through finite subproducts. Nöbeling proved that the subgroup consisting of the bounded sequences is free and therefore has many homomorphisms to . We prove that all ``reasonable'' homomorphisms factor through finite subproducts. Among the reasonable homomorphisms are all those that are Borel with respect to a natural topology on . In the absence of the axiom of choice, it is consistent that all homomorphisms are reasonable and therefore that Specker's theorem applies to as well as to .
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,
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
|