Set ideals with complete symmetry group and partition ideals. (English) Zbl 1021.20005
Summary: For a wide class of set ideals (including, for example, all uniform ideals), a criterion of completeness of their symmetry groups is provided in terms of ideal quotients (polars). We apply it to partition ideals, and derive the extended Sierpiński-Erdős duality principle. We demonstrate that if the measure and category ideals \(I_0\) and \(I_1\) on the real line \(\mathbb{R}\) are partition (or, equivalently, if just \(I_0\) is partition), then not only are they isomorphic via an involution, but they also have complete (and distinct) symmetry groups coinciding, respectively, with the symmetry groups of the polars \(I^\bot_0\) and \(I^\bot_1\). The measure and category ideals on \(\mathbb{R}\) (and in more general spaces) are partition (Oxtoby) ideals assuming Martin’s axiom. In this case their polars are, respectively, the ideals generated by \(\mathfrak c\)-Sierpiński and \(\mathfrak c\)-Lusin sets. It is well known that the isomorphism of the measure and category ideals is not provable in ZFC. We show that the isomorphism of their symmetry groups is likewise unprovable.
MSC:
20B35 | Subgroups of symmetric groups |
03E05 | Other combinatorial set theory |
03E35 | Consistency and independence results |
03E50 | Continuum hypothesis and Martin’s axiom |