Divisibility in beta βN and *N

Boris Šobot


The paper first covers several properties of the extension of the divisibility relation to a set *N of nonstandard integers, including an analogue of the basic theorem of arithmetic. After that, a connection is established with the divisibility in the Stone–Čech compactification βN, proving that the divisibility of ultrafilters introduced by the author is equivalent to divisibility of some elements belonging to their respective monads in an enlargement. Some earlier results on ultrafilters on lower levels on the divisibility hierarchy are illuminated by nonstandard methods. Using limits by ultrafilters we obtain results on ultrafilters above these finite levels, showing that for them a distribution by levels is not possible.

Received 16 July 2018

AMS subject classification: Primary 54D80; Secondary 11U10, 03H15, 54D35

Słowa kluczowe: divisibility, nonstandard integer, Stone-Cech compactification, ultrafilter

[1] V. Benci, M. Di Nasso, M. Forti, Hausdorff nonstandard extensions, Bol. Soc. Parana. Mat. 20 (2002), 9–20.

[2] M. Di Nasso, On the foundations of nonstandard mathematics, Sci. Math. Jpn. 50:1 (1999), 131–160.

[3] M. Di Nasso, M. Forti, Topological and nonstandard extensions, Monatsh. Math. 144 (2005), 89–112.

[4] M. Di Nasso, M. Forti, Hausdorff ultrafilters, Proc. Amer. Math. Soc. 134:6 (2006), 1809–1818.

[5] C.W. Henson, Foundations of nonstandard analysis, In: Nonstandard Analysis: Theory and Applications, L.O. Arkeryd et al. (eds.), Kluwer Academic Publishers, 1997.

[6] N. Hindman, D. Strauss, Algebra in the Stone–Čech compactification, theory and applications, 2nd revised and extended edition, De Gruyter, 2012.

[7] W.A.J. Luxemburg, A general theory of monads, In: Applications of Model Theory to Algebra, Analysis and Probability, W.A.J. Luxemburg (ed.), Holt, Rinehart and Winston, 1968, pp. 18–86.

[8] S.-A. Ng, H. Render, The Puritz order and its relationship to the Rudin-Keisler order, In: Reuniting the antipodes – Constructive and nonstandard views of the continuum, P. Schuster, U. Berger, H. Osswald (eds.), Kluwer Academic Publishers, 2001, pp. 157–166.

[9] C. Puritz, Skies, constellations and monads, in: Contributions to non-standard analysis, W.A.J. Luxemburg, A. Robinson (eds.), North Holland, 1972, pp. 215–243.

[10] B. Sobot, Divisibility in the Stone–Čech compactification, Rep. Math. Logic 50 (2015), 53–66.

[11] B. ˇSobot, ˜| -divisibility of ultrafilters, submitted, arXiv: 1703.05999.