pith. sign in

arxiv: 2605.17411 · v1 · pith:CYDDSQJ5new · submitted 2026-05-17 · 🧮 math.LO · math.CO

Combinatorics of Schur ultrafilters

S. Bardyla This is my paper

Pith reviewed 2026-05-19 22:38 UTC · model grok-4.3

classification 🧮 math.LO math.CO
keywords Schur ultrafilterscombinatorial characterizationcountable commutative groupsfree ultrafiltersP-pointscontinuum hypothesisgroup Z
0
0 comments X

The pith

Schur ultrafilters on countable commutative groups have a combinatorial characterization that permits constructing a free non-infinitary example on the integers and a free Schur P-point under the continuum hypothesis.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper gives a combinatorial characterization for what sets belong to a Schur ultrafilter on any countable commutative group. The characterization is then used to build a specific free Schur ultrafilter on the group of integers that does not qualify as infinitary Schur. Under the assumption of the continuum hypothesis the authors show there is also a free Schur P-point on the integers. A reader might care because these objects play a role in understanding infinite combinatorial structures and the classification of ultrafilters beyond basic existence. The results turn abstract properties into more concrete combinatorial conditions that can be checked or constructed directly.

Core claim

The paper establishes a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. This is applied to construct a free Schur ultrafilter on Z that is not infinitary Schur. Assuming the Continuum Hypothesis, the existence of a free Schur P-point on Z is established.

What carries the argument

The combinatorial characterization of membership in Schur ultrafilters, which reduces the ultrafilter property to conditions on sequences and their sums in the group.

If this is right

  • Schur ultrafilters on countable commutative groups can be described by combinatorial properties of their members.
  • A free Schur ultrafilter exists on Z that fails to be infinitary Schur.
  • Under the continuum hypothesis a free Schur P-point exists on Z.
  • The characterization applies uniformly to all countable commutative groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Similar characterizations could be sought for other ultrafilter types such as idempotent ultrafilters.
  • Without the continuum hypothesis it remains open whether a free Schur P-point on Z must exist.
  • The explicit construction on Z might be adaptable to other specific groups like the rationals.

Load-bearing premise

The continuum hypothesis is assumed in order to prove the existence of a free Schur P-point on Z.

What would settle it

An explicit description of a set that meets the combinatorial condition for being in a Schur ultrafilter but leads to a contradiction with the ultrafilter properties, or a proof that no free Schur ultrafilter on Z can avoid being infinitary Schur.

read the original abstract

In this paper, we provide a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, we construct a free Schur ultrafilter on $\mathbb Z$ that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on $\mathbb Z$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The paper provides a combinatorial characterization of the elements of Schur ultrafilters on countable commutative groups. Using this characterization, the authors construct a free Schur ultrafilter on Z that is not infinitary Schur. Assuming the Continuum Hypothesis, they establish the existence of a free Schur P-point on Z.

Significance. The combinatorial characterization supplies an explicit, direct description that supports concrete constructions inside ZFC for the non-infinitary example and a standard CH diagonalization for the P-point. These results clarify distinctions among classes of ultrafilters on countable groups and provide falsifiable, explicitly verifiable examples that advance the study of Schur ultrafilters in combinatorial set theory.

minor comments (1)
  1. The abstract could briefly indicate the precise definition of 'infinitary Schur' used in the construction on Z to orient readers unfamiliar with the distinction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our manuscript, the clear summary of its contributions, and the recommendation to accept. We appreciate the recognition of the combinatorial characterization and the explicit constructions in ZFC and under CH.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper supplies an explicit combinatorial characterization of membership in Schur ultrafilters on countable commutative groups. This characterization is then applied directly to construct a free non-infinitary-Schur ultrafilter on Z inside ZFC and, under CH, a free Schur P-point on Z via standard diagonalization. All steps are carried out by explicit set-theoretic constructions and combinatorial arguments; no parameter is fitted to data, no result is renamed as a prediction, and no load-bearing premise reduces to a self-citation or self-definition. The derivation remains self-contained against external combinatorial and set-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper works in ZFC set theory and invokes the Continuum Hypothesis as an additional assumption for one existence result. No free parameters or new postulated entities are indicated in the abstract.

axioms (1)
  • domain assumption Continuum Hypothesis
    Explicitly assumed to prove existence of a free Schur P-point on Z.

pith-pipeline@v0.9.0 · 5562 in / 1213 out tokens · 41907 ms · 2026-05-19T22:38:57.365957+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

9 extracted references · 9 canonical work pages · 1 internal anchor

  1. [1]

    Bardyla, P

    S. Bardyla, P. Zlatoˇ s,Schur ultrafilters and Bohr compactifications of topological groups, Israel J. Math. accepted (2025), arXiv.2409.07280

    work page arXiv 2025

  2. [2]

    Chodounsk´ y, O

    D. Chodounsk´ y, O. Guzm´ an,There are no P-points in Silver extensions,Israel J. Math.232(2019), 759–773

    work page 2019

  3. [3]

    M. Heule,Schur number five, AAAI’18/IAAI’18/EAAI’18: Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence and Thirtieth Innovative Applications of Artificial Intelligence Conference and Eighth AAAI Symposium on Educational Advances in Artificial Intelligence Article No.: 808, Pages 6598 - 6606, also available at https://arxiv.org/ab...

    work page internal anchor Pith review Pith/arXiv arXiv

  4. [4]

    Hindman, D

    N. Hindman, D. Strauss,Algebra in the Stone- ˇCech Compactification: Theory and Applications, Berlin, Boston: De Gruyter, 2012

    work page 2012

  5. [5]

    Kunen,Weak P-points inN ∗, Topology, Vol

    K. Kunen,Weak P-points inN ∗, Topology, Vol. II (Proc. Fourth Colloq., Budapest, 1978), Colloq. Math. Soc. J´ anos Bolyai, vol. 23, North-Holland, Amsterdam-New York, 1980, pp. 741–749

    work page 1978

  6. [6]

    Maclean,The Biggest Mathematical Proof Ever, Spektrum.de (HLF Blog), June 18, 2025

    S. Maclean,The Biggest Mathematical Proof Ever, Spektrum.de (HLF Blog), June 18, 2025. https://scilogs.spektrum.de/hlf/the-biggest-mathematical-proof-ever/

    work page 2025

  7. [7]

    Protasov,Ultrafilters and topologies on groups, Siberian

    I. Protasov,Ultrafilters and topologies on groups, Siberian. J. Math.34:5 (1993), 938–952. 9

    work page 1993

  8. [8]

    Wimmers,The Shelah P-point independence theorem, Israel J

    E. Wimmers,The Shelah P-point independence theorem, Israel J. Math.43:1 (1982), 28–48

    work page 1982

  9. [9]

    Zlatoˇ s,The Bohr compactification of an abelian group as a quotient of its Stone- ˇCech compactifi- cation, Semigroup Forum,101(2020), 497–506

    P. Zlatoˇ s,The Bohr compactification of an abelian group as a quotient of its Stone- ˇCech compactifi- cation, Semigroup Forum,101(2020), 497–506. Serhii Bardyla: University of Vienna, Institute of Mathematics, Vienna, Austria. Email address:sbardyla@gmail.com

    work page 2020