Selective and Ramsey ultrafilters on G-spaces

DOI10.1215/00294527-3839090zbMATH Open1368.05150OpenAlexW3099097099MaRDI QIDQ2013398FDOQ2013398

Authors: Oleksandr Petrenko, Igor V. Protasov 

Publication date: 17 August 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Abstract: Let $G$ be a group, $X$ be an infinite transitive $G$-space. A free ultrafilter $UU$ on $X$ is called $G$-selective if, for any $G$-invariant partition $PP$ of $X$, either one cell of $PP$ is a member of $UU$, or there is a member of $UU$ which meets each cell of $PP$ in at most one point. We show (Theorem 1) that in ZFC with no additional set-theoretical assumptions there exists a $G$-selective ultrafilter on $X$, describe all $G$-spaces $X$ (Theorem 2) such that each free ultrafilter on $X$ is $G$-selective, and prove (Theorem 3) that a free ultrafilter $UU$ on $omega$ is selective if and only if $UU$ is $G$-selective with respect to the action of any countable group $G$ of permutations of $omega$. A free ultrafilter $UU$ on $X$ is called $G$-Ramsey if, for any $G$-invariant coloring $chi:[G{]}^{2}o0,1$, there is $UinUU$ such that $[U{]}^2$ is $chi$-monochrome. By Theorem 4, each $G$-Ramsey ultrafilter on $X$ is $G$-selective. Theorems 5 and 6 give us a plenty of $mathbbZ$-selective ultrafilters on $mathbbZ$ (as a regular $mathbbZ$-space) but not $mathbbZ$-Ramsey. We conjecture that each $mathbbZ$-Ramsey ultrafilter is selective.

Full work available at URL: https://arxiv.org/abs/1310.1827

Recommendations

• Ultrafilters on \(G\)-spaces
• Ultrafilters and decompositions of Abelian groups
• Extremal ultrafilters and topologies on groups
• Selective but not Ramsey
• Countably compact groups from a selective ultrafilter

zbMATH Keywords

\(G\)-space\(G\)-selective and \(G\)-Ramsey ultrafiltersStone-Čech compactification

Mathematics Subject Classification ID

Ramsey theory (05D10) Transformation groups and semigroups (topological aspects) (54H15)

Cited In (5)

• Ultrafilters on \(G\)-spaces
• Selective but not Ramsey
• Title not available (Why is that?)
• Selective ultrafilters and 𝜔→(𝜔)^{𝜔}
• Metrically Ramsey ultrafilters

This page was built for publication: Selective and Ramsey ultrafilters on \(G\)-spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2013398)