Self-divisible ultrafilters and congruences in $\beta \mathbb{Z}$

Mauro Di Nasso, Lorenzo Luperi Baglini, Rosario Mennuni +2

We introduce self-divisible ultrafilters, which we prove to be precisely those $w$ such that the weak congruence relation ${\equiv }_w$ introduced by Šobot is an equivalence relation…