pith:CYDDSQJ5
Combinatorics of Schur ultrafilters
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.
arxiv:2605.17411 v1 · 2026-05-17 · math.LO · math.CO
Add to your LaTeX paper
\usepackage{pith}
\pithnumber{CYDDSQJ5AB2WJSDSEBSNAN562N}
Prints a linked badge after your title and injects PDF metadata. Compiles on arXiv. Learn more · Embed verified badge
Record completeness
Claims
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 Z that is not infinitary Schur. Moreover, assuming the Continuum Hypothesis, we establish the existence of a free Schur P-point on Z.
The Continuum Hypothesis is assumed to obtain the free Schur P-point on Z; the combinatorial characterization itself is taken as the basis for the explicit construction on Z.
Combinatorial characterization of Schur ultrafilters on countable commutative groups, plus construction of a free non-infinitary Schur ultrafilter on Z and existence of a free Schur P-point on Z under CH.
References
Formal links
Receipt and verification
| First computed | 2026-05-20T00:03:57.108542Z |
|---|---|
| Builder | pith-number-builder-2026-05-17-v1 |
| Signature | Pith Ed25519
(pith-v1-2026-05) · public key |
| Schema | pith-number/v1.0 |
Canonical hash
160639413d007564c8722064d037bed3405ac9ef4d8b498096449136c42fe738
Aliases
· · · · ·Agent API
Verify this Pith Number yourself
curl -sH 'Accept: application/ld+json' https://pith.science/pith/CYDDSQJ5AB2WJSDSEBSNAN562N \
| jq -c '.canonical_record' \
| python3 -c "import sys,json,hashlib; b=json.dumps(json.loads(sys.stdin.read()), sort_keys=True, separators=(',',':'), ensure_ascii=False).encode(); print(hashlib.sha256(b).hexdigest())"
# expect: 160639413d007564c8722064d037bed3405ac9ef4d8b498096449136c42fe738
Canonical record JSON
{
"metadata": {
"abstract_canon_sha256": "739b65df6b0a353ed61d7e613714c22e5c7325cd1e7f14b7c8c87f77b3ea43ac",
"cross_cats_sorted": [
"math.CO"
],
"license": "http://creativecommons.org/licenses/by/4.0/",
"primary_cat": "math.LO",
"submitted_at": "2026-05-17T12:14:30Z",
"title_canon_sha256": "c71b0c9bc65c4e3b4f7fb680deaf3fb659c788203362814cdd55921d47f9d32f"
},
"schema_version": "1.0",
"source": {
"id": "2605.17411",
"kind": "arxiv",
"version": 1
}
}