Hostname: page-component-848d4c4894-4hhp2 Total loading time: 0 Render date: 2024-05-31T14:31:05.640Z Has data issue: false hasContentIssue false

The Failure of Cancellation Laws for Equidecomposability Types

Published online by Cambridge University Press:  20 November 2018

J. K. Truss*
Affiliation:
Department of Pure Mathematics, University of Leeds, Leeds LS2 9JT, England
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Let B be a Boolean algebra and G a group of automorphisms of B. Define an equivalence relation ∼ on B by letting x ∼ y if there are x1, x2,…,xn, y1, y2, …yn in B such that x is the disjoint union of the xi, y is the disjoint union of the yi, and for each i there is a member of G taking xi to yi. The equivalence classes under ∼ are called equidecomposability types. Addition of equidecomposability types is given by (x) + (y) = (x V y) provided xy = 0. An example is given of a complete Boolean algebra B and a group G of automorphisms of B with X, YB such that (X) + (X) = (Y) + (Y) but (X) ≠ (Y), answering a question of Wagon (see [5 p. 231 problem 14]). Moreover B may be taken to be the algebra of Borel subsets of Cantor space modulo sets of the first category. It is also remarked that in this case equidecomposability types do not form a weak cardinal algebra.

Type
Research Article
Copyright
Copyright © Canadian Mathematical Society 1990

References

1. Tarski, A., Cancellation Laws in the Arithmetic of Cardinals, Fund Math. 36 (1949), 7792.Google Scholar
2. Tarski, A., Cardinal Algebras, New York, 1949.Google Scholar
3. Truss, J.K., Cancellation Laws for Surjective Cardinals, Annals of Pure and Applied Logic 27 (1984), 165207.Google Scholar
4. Truss, J.K., Convex Sets of Cardinals, Proc. London Math. Soc. 27 (1973), 577599.Google Scholar
5. Wagon, S., The Banach-Tarski Paradox, Cambridge University Press 1985.Google Scholar