Commutativity in series of ordinals: a study of invariants
HTML articles powered by AMS MathViewer
- by J. L. Hickman PDF
- Trans. Amer. Math. Soc. 248 (1979), 411-434 Request permission
Abstract:
It is well known that two ordinals are additively commutative if and only if they are finite multiples of some given ordinal, and it is very easy to extend this result to any finite sequence of ordinals. However, no necessary and sufficient conditions for the commutativity of a series of ordinals seem to be known when the length of that series is infinite, although sufficient conditions for certain cases have been given by Sierpiński and Ginsburg. In this paper we present such necessary and sufficient conditions. The general problem is split into five distinct cases: those in which the length of the series is a regular initial ordinal, a singular initial ordinal, an infinite, noninitial prime component, an infinite successor ordinal, and an infinite limit ordinal that is not a prime component. These are dealt with respectively in the second through to the sixth sections of the paper, and it turns out that in every case our criteria can be expressed in terms of an ordinal parameter, which is in fact an invariant of the series in question. This concept of invariance is introduced in the first section, which also contains several lemmas and a slight strengthening of the original Sierpiński-Ginsburg result. The final section of this paper differs from the preceding four sections in two aspects. Firstly, the proofs of its two main results are merely sketched, since they contain no arguments that have not previously appeared in some form or other. Secondly, we have not given any explicit determination of the ordinal parameter introduced in this section, since we felt that such a determination would prolong the paper intolerably and encroach upon work done by J. A. H. Anderson: we have therefore simply referred to Anderson’s interesting paper.References
- John A. H. Anderson, The minimum sum of an arbitrary family of ordinals, J. London Math. Soc. (2) 7 (1974), 429–434. MR 332485, DOI 10.1112/jlms/s2-7.3.429
- S. Ginsburg, On the distinct sums of $\lambda$-type transfinite series obtained by permuting the elements of a fixed $\lambda$-type series, Fund. Math. 39 (1952), 131–132 (1953). MR 55403, DOI 10.4064/fm-39-1-131-132
- J. L. Hickman, A problem on series of ordinals, Fund. Math. 81 (1973), no. 1, 49–56. MR 332487, DOI 10.4064/fm-81-1-49-56
- J. L. Hickman, Concerning the number of sums obtainable from a countable series of ordinals by permutations that preserve the order-type, J. London Math. Soc. (2) 9 (1974/75), 239–244. MR 363910, DOI 10.1112/jlms/s2-9.2.239
- J. L. Hickman, Some results on series of ordinals, Z. Math. Logik Grundlagen Math. 23 (1977), no. 1, 1–18. MR 485386, DOI 10.1002/malq.19770230102
- Wacław Sierpiński, Sur les séries infinies de nombres ordinaux, Fund. Math. 36 (1949), 248–253 (French). MR 35807, DOI 10.4064/fm-36-1-248-253 —, Cardinal and ordinal numbers, Warszawa, 1965.
Additional Information
- © Copyright 1979 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 248 (1979), 411-434
- MSC: Primary 04A10
- DOI: https://doi.org/10.1090/S0002-9947-1979-0522267-5
- MathSciNet review: 522267