P-sets and minimal right ideals in ℕ*
Recall that a P-set is a closed set X such that the intersection of countably many neighborhoods of X is again a neighborhood of X. We show that if 𝔱 = 𝔠 then there is a minimal right ideal of (βℕ,+) that is also a P-set. We also show that the existence of such P-sets implies the existence of P-points; in particular, it is consistent with ZFC that no minimal right ideal is a P-set. As an application of these results, we prove that it is both consistent with and independent of ZFC that the shift map and its inverse are (up to isomorphism) the unique chain transitive autohomeomorphisms of ℕ*.
- 03E17: Cardinal characteristics of the continuum
- 22A15: Structure of topological semigroups
- 37B99: None of the above, but in this section
- 03E35: Consistency and independence results
- 54D35: Extensions of spaces (compactifications, supercompactifications, completions, etc.)
- 06A07: Combinatorics of partially ordered sets