Abstract

Let G be a group, and let X be an infinite transitive G-space. A free ultrafilter U on X is called G-selective if, for any G-invariant partition P of X, either one cell of P is a member of U, or there is a member of U which meets each cell of P in at most one point. We show that in ZFC with no additional set-theoretical assumptions there exists a G-selective ultrafilter on X. We describe all G-spaces X such that each free ultrafilter on X is G-selective, and we prove that a free ultrafilter U on ω is selective if and only if U is G-selective with respect to the action of any countable group G of permutations of ω. A free ultrafilter U on X is called G-Ramsey if, for any G-invariant coloring χ:[X]2→{0,1}, there is U∈U such that [U]2 is χ-monochromatic. We show that each G-Ramsey ultrafilter on X is G-selective. Additional theorems give a lot of examples of ultrafilters on Z that are Z-selective but not Z-Ramsey.