The Failure of Cancellation Laws for Equidecomposability Types

Truss, J. K.

Canadian journal of mathematics, Tome 42 (1990) no. 4, pp. 590-606

Résumé

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 x 1, x 2,...,xn , y 1, y 2, ...y n in B such that x is the disjoint union of the x i , y is the disjoint union of the y i , and for each i there is a member of G taking x i to y i . The equivalence classes under ∼ are called equidecomposability types. Addition of equidecomposability types is given by (x) + (y) = (x V y) provided x ∧ y = 0. An example is given of a complete Boolean algebra B and a group G of automorphisms of B with X, Y ∊ B 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.

Détail

DOI : 10.4153/CJM-1990-031-5

Mots-clés : Equidecomposability types, cancellation law, Boolean algebra, 06E99, 03E25

Bibliographie

[1] 1. Tarski, A., Cancellation Laws in the Arithmetic of Cardinals, Fund Math. 36 (1949), 77–92. Google Scholar

[2] 2. Tarski, A., Cardinal Algebras, New York, 1949. Google Scholar

[3] 3. Truss, J.K., Cancellation Laws for Surjective Cardinals, Annals of Pure and Applied Logic 27 (1984), 165–207. Google Scholar

[4] 4. Truss, J.K., Convex Sets of Cardinals, Proc. London Math. Soc. 27 (1973), 577–599. Google Scholar

[5] 5. Wagon, S., The Banach-Tarski Paradox, Cambridge University Press 1985. Google Scholar