Divisibility classes of ultrafilters and their patterns
Abstract
A divisibility relation on ultrafilters on the set of natural numbers is defined as follows: if and only if every set in upward closed for divisibility also belongs to . Previously we isolated basic classes: powers of prime ultrafilters, and described the pattern of an ultrafilter, measuring the quantity of members of each basic class dividing a given ultrafilter. In this paper we define a topology on the set of basic classes which will allow us to calculate the pattern of the limit of a -increasing chain of ultrafilters. Using this we characterize which patterns can actually appear as patterns of an ultrafilter. Defining the -divisibility classes by identifying mutually divisible ultrafilters, in the respective quotient order we identify singleton classes and consider their patterns. Finally, we give a sufficient condition for a -divisibility class to have an immediate predecessor.
Cite
@article{arxiv.2412.19753,
title = {Divisibility classes of ultrafilters and their patterns},
author = {Boris Šobot},
journal= {arXiv preprint arXiv:2412.19753},
year = {2025}
}