Data di Pubblicazione:
2023
Citazione:
SELF-DIVISIBLE ULTRAFILTERS AND CONGRUENCES IN βZ / M. Di Nasso, L. Luperi Baglini, R. Mennuni, M. Pierobon, M. Ragosta. - In: THE JOURNAL OF SYMBOLIC LOGIC. - ISSN 0022-4812. - (2023), pp. 1-18. [Epub ahead of print] [10.1017/jsl.2023.51]
Abstract:
We introduce self-divisible ultrafilters, which we prove to be precisely those w such that the weak congruence relation w introduced by Sobot is an equivalence relation on βZ. We provide several examples and additional characterisations; notably we show that w is self-divisible if and only if ≡w coincides with the strong congruence relation s w, if and only if the quotient (βZ,⊕)/≡s w is a profinite group. We also construct an ultrafilter w such that ≡w fails to be symmetric, and describe the interaction between the aforementioned quotient and the profinite completion Z of the integers.
Tipologia IRIS:
01 - Articolo su periodico
Keywords:
congruence; divisibility; nonstandard integers; profinite integers; tensor product; ultrafilters
Elenco autori:
M. Di Nasso, L. Luperi Baglini, R. Mennuni, M. Pierobon, M. Ragosta
Link alla scheda completa: