English

Divisibility classes of ultrafilters and their patterns

Logic 2025-06-03 v2

Abstract

A divisibility relation on ultrafilters on the set N\mathbb{N} of natural numbers is defined as follows: F~G{\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G} if and only if every set in F\cal F upward closed for divisibility also belongs to G\cal G. 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 ~\widetilde{\mid}-increasing chain of ultrafilters. Using this we characterize which patterns can actually appear as patterns of an ultrafilter. Defining the ==_\sim-divisibility classes by identifying mutually divisible ultrafilters, in the respective quotient order (βN/=,~)(\beta\mathbb{N}/=_\sim,\widetilde{\mid}) we identify singleton classes and consider their patterns. Finally, we give a sufficient condition for a ==_\sim-divisibility class to have an immediate predecessor.

Keywords

Cite

@article{arxiv.2412.19753,
  title  = {Divisibility classes of ultrafilters and their patterns},
  author = {Boris Šobot},
  journal= {arXiv preprint arXiv:2412.19753},
  year   = {2025}
}