pith. machine review for the scientific record. sign in

arxiv: 2604.09714 · v2 · submitted 2026-04-08 · 🧮 math.GM

Recognition: unknown

Gertsch quotient living in the "poor man's adele ring" mathcal{A}: Kurepa-Bell-Wilson congruence

Francis Atta Howard
Authors on Pith no claims yet

Pith reviewed 2026-05-10 17:16 UTC · model grok-4.3

classification 🧮 math.GM
keywords Kurepa-Bell-Wilson congruenceGertsch quotientpoor man's adele ringWilson's theoremleft factorialBell numbersprime moduli
0
0 comments X

The pith

The Kurepa-Bell-Wilson congruence generates the non-zero Gertsch quotient G_p that resides in the poor man's adele ring modulo p for large primes.

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

The paper begins with Wilson's theorem relating the left factorial K_p to the Bell number Bell_{p-1} and rearranges it into the Kurepa-Bell-Wilson congruence (K_p + 1)/p ≡ Bell_{p-1}/p + W_p mod p. From this congruence it extracts the Gertsch quotient G_p and shows that the quotient is nonzero. For sufficiently large primes the quotient then belongs to the poor man's adele ring A when reduced modulo p. A sympathetic reader would care because the construction turns a classical prime congruence into an explicit element inside a ring that treats different primes uniformly.

Core claim

Wilson's theorem states K_p ≡ Bell_{p-1} - 1 mod p for prime p ≥ 3. The Kurepa-Bell-Wilson congruence is the rearranged form (K_p + 1)/p ≡ Bell_{p-1}/p + W_p mod p. This congruence directly produces the nonzero Gertsch quotient G_p, which for larger primes lies inside the poor man's adele ring A when considered modulo p.

What carries the argument

The Gertsch quotient G_p extracted from the Kurepa-Bell-Wilson congruence, which is shown to be nonzero and to belong to the poor man's adele ring A modulo p.

If this is right

  • Wilson's theorem can be rewritten in the KBW form for every prime p ≥ 3.
  • The extracted Gertsch quotient G_p is nonzero for those primes.
  • G_p belongs to the poor man's adele ring A when reduced modulo p.
  • Arithmetic involving left factorials and Bell numbers can be performed inside A using this quotient.

Where Pith is reading between the lines

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

  • The same extraction might be attempted for other combinatorial sequences that satisfy similar prime congruences.
  • The poor man's adele ring could serve as a setting for studying simultaneous congruences across multiple primes.
  • Explicit calculation of G_p for the first few primes would give concrete numerical checks of the claimed nonzeroness.

Load-bearing premise

The Kurepa-Bell-Wilson congruence is taken to hold for every prime p at least 3 and the resulting quotient is assumed both nonzero and an element of the poor man's adele ring.

What would settle it

Compute both sides of the displayed KBW congruence for any chosen prime p greater than 3 and check whether their difference is exactly divisible by p and whether the extracted quotient is nonzero.

read the original abstract

Wilson's theorem is notably related to left factorials, expressed as $K_p \equiv \mathbf{Bell}_{p-1} - 1 \pmod p$, for prime $p\geq3$. This study examines a Kurepa-Bell-Wilson congruence (\textbf{KBW}), $\frac{K_p + 1}{p}\equiv \frac{ \mathbf{Bell}_{p-1}}{p}+ W_p \pmod{p}$, and demonstrates that it naturally generates the non-zero "Gertsch quotient ($\mathbb{G}_p$)," which, for larger primes modulo $p$ resides in the poor man's adele ring $\mathcal{A}$ .

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

2 major / 0 minor

Summary. The manuscript presents Wilson's theorem in the form K_p ≡ Bell_{p-1} - 1 (mod p) for primes p ≥ 3 and introduces a Kurepa-Bell-Wilson congruence (K_p + 1)/p ≡ Bell_{p-1}/p + W_p (mod p). It asserts that this congruence naturally generates a non-zero Gertsch quotient G_p which, for larger primes, resides in the newly introduced poor man's adele ring A (modulo p).

Significance. If the ring A were rigorously constructed and the membership of G_p verified by explicit derivation, the work could suggest a novel way to embed classical prime congruences into a custom ring, potentially linking left factorials, Bell numbers, and Wilson's theorem to adele-like structures. At present the absence of these steps leaves the significance difficult to assess.

major comments (2)
  1. Abstract: the claim that the KBW congruence 'naturally generates' the non-zero Gertsch quotient G_p and that G_p 'resides in' the poor man's adele ring A is stated without an explicit definition of G_p, without a definition or axiom list for A, and without any derivation showing why the quotient satisfies the ring axioms or the stated congruence. This is load-bearing for the central claim.
  2. Abstract and subsequent sections introducing A: because G_p is defined directly from the KBW congruence, the assertion that G_p lies in A reduces to a property of quantities already present in the input congruence; the manuscript supplies no independent verification that the membership holds or that A is a ring under the operations used.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying areas where the presentation of definitions and derivations can be strengthened. We agree that the abstract and the introduction of the poor man's adele ring require greater explicitness to make the central claims fully self-contained. We will revise the manuscript to address these points directly.

read point-by-point responses

  1. Referee: Abstract: the claim that the KBW congruence 'naturally generates' the non-zero Gertsch quotient G_p and that G_p 'resides in' the poor man's adele ring A is stated without an explicit definition of G_p, without a definition or axiom list for A, and without any derivation showing why the quotient satisfies the ring axioms or the stated congruence. This is load-bearing for the central claim.

    Authors: We accept this observation. The abstract is intentionally concise, but the full text defines G_p directly from the rearranged KBW congruence as the integer residue class satisfying the displayed relation and introduces A as the ring of residue classes modulo p equipped with componentwise addition and multiplication inherited from the p-adic integers truncated at the first power. Nevertheless, we agree that an explicit axiom list for A and a short derivation verifying that G_p is nonzero and lies in A should appear already in the abstract or immediately after the statement of the KBW congruence. In the revised manuscript we will insert these elements. revision: yes

  2. Referee: Abstract and subsequent sections introducing A: because G_p is defined directly from the KBW congruence, the assertion that G_p lies in A reduces to a property of quantities already present in the input congruence; the manuscript supplies no independent verification that the membership holds or that A is a ring under the operations used.

    Authors: We agree that an independent verification is necessary. The manuscript constructs A by taking the set of all integer sequences (a_p) indexed by primes p that are congruent to a fixed residue modulo p and endowing it with componentwise operations; the KBW relation then forces G_p to be the nonzero class in the p-component. We will add a short lemma in the revised version that (i) confirms A is closed under these operations and satisfies the ring axioms, and (ii) shows explicitly that the residue produced by the KBW congruence is nonzero for p > some explicit bound and belongs to the p-component of A. revision: yes

Circularity Check

1 steps flagged

Gertsch quotient G_p defined directly from KBW congruence; membership in A asserted without independent derivation or ring construction

specific steps
  1. self definitional [Abstract]
    "This study examines a Kurepa-Bell-Wilson congruence (KBW), (K_p + 1)/p ≡ (Bell_{p-1})/p + W_p mod p, and demonstrates that it naturally generates the non-zero 'Gertsch quotient (G_p)', which, for larger primes modulo p resides in the poor man's adele ring A."

    The KBW congruence is introduced as the starting point. G_p is then said to be generated by it, and the residence of G_p in A is presented as the demonstrated outcome. Because the text supplies neither an independent construction of the ring A nor a separate verification that the generated G_p satisfies the ring properties, the membership claim reduces directly to the definition of G_p from the KBW inputs.

full rationale

The paper's core claim is that the stated KBW congruence generates a non-zero G_p residing in the newly introduced poor man's adele ring A. The abstract presents the KBW congruence as given and then asserts that it 'naturally generates' G_p with the stated membership property. No separate definition of A, explicit formula for G_p, or derivation verifying that the generated quotient satisfies ring axioms or the membership condition is supplied in the provided text. This reduces the central result to a restatement of the input congruence by construction, matching the self-definitional pattern. The derivation chain therefore lacks independent content beyond the initial congruence and the naming of G_p and A.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 2 invented entities

The claim rests on the unproven assertion that the KBW congruence holds and on two newly introduced entities whose definitions and properties are not supplied in the abstract.

axioms (1)
  • standard math Wilson's theorem holds for primes p >= 3
    Invoked in the first sentence of the abstract as the starting point for the KBW congruence.
invented entities (2)
  • Gertsch quotient G_p no independent evidence
    purpose: Non-zero quantity generated by the KBW congruence
    Newly named object whose explicit definition is not given in the abstract.
  • poor man's adele ring A no independent evidence
    purpose: Ring in which G_p resides for large primes
    Newly introduced ring structure with no prior definition or construction supplied.

pith-pipeline@v0.9.0 · 5413 in / 1421 out tokens · 43524 ms · 2026-05-10T17:16:04.913905+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

60 extracted references · 5 canonical work pages

  1. [1]

    Kurepa, D.-u.: On the left factorial function! n. Math. Balkanica1(1), 147–153 (1971)

    1971

  2. [2]

    Journal de th´ eorie des nombres de Bordeaux16(1), 1–17 (2004)

    Barsky, D., Benzaghou, B.: Nombres de bell et somme de factorielles. Journal de th´ eorie des nombres de Bordeaux16(1), 1–17 (2004)

    2004

  3. [3]

    Mathematics of Computation68(225), 403– 409 (1999)

    Zivkovic, M.: The number of primes. Mathematics of Computation68(225), 403– 409 (1999)

    1999

  4. [4]

    Publications de l’Institut Math´ ematique47(67), 24–32 (1990)

    Mijajlovi´ c,ˇZ.: On some formulas involving! n and the verification of the !n- hypothesis by use of computers. Publications de l’Institut Math´ ematique47(67), 24–32 (1990)

    1990

  5. [5]

    These de doctorat, Universit´ e de Neuchˆ atel (1999)

    Gertsch, A.: Congruences pour quelques suites classiques de nombres, sommes de factorielles et calcul ombral. These de doctorat, Universit´ e de Neuchˆ atel (1999)

    1999

  6. [6]

    arXiv preprint arXiv:2509.06077 (2025)

    Howard, F.A.: Partition functions and kurepa decomposition i: Algebraic compu- tation and some physical applications. arXiv preprint arXiv:2509.06077 (2025)

    work page arXiv 2025

  7. [7]

    Mathematics of Computation85(302), 3061–3068 (2016)

    Andreji´ c, V., Tatarevic, M.: Searching for a counterexample to kurepa’s conjec- ture. Mathematics of Computation85(302), 3061–3068 (2016)

    2016

  8. [8]

    Bulletin of the Australian Mathematical Society84(1), 153–158 (2011)

    Sun, Z.-W., Zagier, D.: On a curious property of bell numbers. Bulletin of the Australian Mathematical Society84(1), 153–158 (2011)

    2011

  9. [9]

    Nielsen, N.: Recherches sur les Nombres de Bernoulli vol. 10. Høst, ??? (1913)

    1913

  10. [10]

    Mathematics Magazine34(3), 131–146 (1961)

    Carlitz, L.: The staudt-clausen theorem. Mathematics Magazine34(3), 131–146 (1961)

    1961

  11. [11]

    Glaisher, J.: On the residues of the sums of the inverse powers of numbers in arithmetical progression. Quart. J. Math32(1), 900 (1900)

    1900

  12. [12]

    The Messenger of Mathematics43, 72–84 (1913)

    Beeger, N.: Quelques remarques sur les congruences rp- 1≡1 (mod p2) et (p- 1)!≡- 1 (mod p2). The Messenger of Mathematics43, 72–84 (1913)

    1913

  13. [13]

    The American mathematical monthly103(1), 40–50 (1996)

    Borwein, D., Borwein, J.M., Borwein, P.B., Girgensohn, R.: Giuga’s conjecture on primality. The American mathematical monthly103(1), 40–50 (1996)

    1996

  14. [14]

    manuscripta mathematica87(1), 501–510 (1995)

    Agoh, T.: On giuga’s conjecture. manuscripta mathematica87(1), 501–510 (1995)

    1995

  15. [15]

    Integers: Electronic Journal of Combinatorial Number Theory22(2022)

    Agoh, T.: Congruences related to the wilson quotient. Integers: Electronic Journal of Combinatorial Number Theory22(2022)

    2022

  16. [16]

    Japanese Journal 48 of Mathematics4(1), 1–25 (2009)

    Kontsevich, M.: Holonomic-modules and positive characteristic. Japanese Journal 48 of Mathematics4(1), 1–25 (2009)

    2009

  17. [17]

    preparation (2017)

    Kaneko, M., Zagier, D.: Finite multiple zeta values. preparation (2017)

    2017

  18. [18]

    Bulletin of the Australian Mathematical Society100(1), 34–40 (2019)

    Kaneko, M., Oyama, K., Saito, S.: Analogues of the aoki–ohno and le–murakami relations for finite multiple zeta values. Bulletin of the Australian Mathematical Society100(1), 34–40 (2019)

    2019

  19. [19]

    arXiv preprint arXiv:2109.12501 (2021)

    Kaneko, M., Murakami, T., Yoshihara, A.: On finite multiple zeta values of level two. arXiv preprint arXiv:2109.12501 (2021)

    work page arXiv 2021

  20. [20]

    Zhao, J.: Multiple Zeta Functions, Multiple Polylogarithms and Their Special Values vol. 12. World Scientific, ??? (2016)

    2016

  21. [21]

    Kyushu Journal of Mathematics70(1), 197–204 (2016)

    Murahara, H.: A note on finite real multiple zeta values. Kyushu Journal of Mathematics70(1), 197–204 (2016)

    2016

  22. [22]

    International Mathematics Research Notices2025(2), 281 (2025)

    Kaneko, M., Matsusaka, T., Seki, S.-i.: On finite analogues of euler’s constant. International Mathematics Research Notices2025(2), 281 (2025)

    2025

  23. [23]

    Published electronically at https://oeis.org/A309483 (2019)

    Inc., O.F.: Entry A309483 in The On-Line Encyclopedia of Integer Sequences ( Gertsch quotient). Published electronically at https://oeis.org/A309483 (2019). https://oeis.org/A309483

    2019

  24. [24]

    Владимиров, B.: Левые факториалы, числа Бернулли и гипотеза Курепы. Publ. Inst. Math.(Beograd)(NS)72(86), 11–22 (2002)

    2002

  25. [25]

    Hodge integrals and Gromov–Witten theory

    Faber, C., Pandharipande, R.: Hodge integrals and gromov-witten theory. arXiv preprint math/9810173 (1998)

    work page arXiv 1998

  26. [26]

    arXiv preprint arXiv:1101.5489 (2011)

    Faber, C., Pandharipande, R.: Tautological and non-tautological cohomology of the moduli space of curves. arXiv preprint arXiv:1101.5489 (2011)

    work page arXiv 2011

  27. [27]

    https://www2.math.kyushu-u.ac.jp/ mkaneko/papers-e.html

    Kaneko, M., Zagier, D.: On finite multiple zeta values. https://www2.math.kyushu-u.ac.jp/ mkaneko/papers-e.html

  28. [28]

    Published electronically at https://oeis.org/A003422 (2025)

    Inc., O.F.: Entry A003422 in The On-Line Encyclopedia of Integer Sequences (Left factorials). Published electronically at https://oeis.org/A003422 (2025). https://oeis.org/A003422

    2025

  29. [29]

    Bulletin of the Belgian Mathematical Society-Simon Stevin3(4), 467–475 (1996)

    Gertsch, A., Robert, A.M.: Some congruences concerning the bell numbers. Bulletin of the Belgian Mathematical Society-Simon Stevin3(4), 467–475 (1996)

    1996

  30. [30]

    Sc284, 637–639

    Radoux, C.: Une congruence pour les polynˆ omes pn (x) de fonction g´ en´ eratrice ex (ez- 1), comptes rendus acad. Sc284, 637–639

  31. [31]

    Journal of Number Theory133(5), 1564–1571 (2013) 49

    Sun, Y., Wu, X., Zhuang, J.: Congruences on the bell polynomials and the derangement polynomials. Journal of Number Theory133(5), 1564–1571 (2013) 49

    2013

  32. [32]

    Mezo, I.: The r-bell numbers. J. Integer Seq14(1), 1–14 (2011)

    2011

  33. [33]

    Howard, F.A.: r-kurepa numbers and kurepa conjecture

  34. [34]

    Mathematische Annalen 60(4), 471–490 (1905)

    Lerch, M.: Zur theorie des fermatschen quotienten. Mathematische Annalen 60(4), 471–490 (1905)

    1905

  35. [35]

    Mathematics of Computation66(217), 433–449 (1997)

    Crandall,R.,Dilcher,K.,Pomerance,C.:Asearchforwieferichandwilsonprimes. Mathematics of Computation66(217), 433–449 (1997)

    1997

  36. [36]

    Annals of Mathematics39(2), 350–360 (1938)

    Lehmer, E.: On congruences involving bernoulli numbers and the quotients of fermat and wilson. Annals of Mathematics39(2), 350–360 (1938)

    1938

  37. [37]

    In: Combinatorial and Additive Number Theory: CANT 2011 and 2012, pp

    Sondow, J.: Lerch quotients, lerch primes, fermat-wilson quotients, and the wieferich-non-wilson primes 2, 3, 14771. In: Combinatorial and Additive Number Theory: CANT 2011 and 2012, pp. 243–255. Springer, ??? (2014)

    2011

  38. [38]

    Published electronically at https://oeis.org/A007540 (2020)

    OEISFoundationInc.:EntryA007540inTheOn-LineEncyclopediaofIntegerSe- quences (Wilson quotient). Published electronically at https://oeis.org/A007540 (2020). https://oeis.org/A007540

    2020

  39. [39]

    Pacific J

    Carlitz, L.: Some theorems on bernoulli numbers of higher order. Pacific J. Math 2(2), 127–139 (1952)

    1952

  40. [40]

    Glaisher, J.: On the residues of the sums of products of the first p- 1 numbers, and their powers, to modulus p2 or p3. Quart. J. Math31, 321–353 (1900)

    1900

  41. [41]

    The Electronic Journal of Combinatorics, 1–65 (2014)

    Agoh, T.: Convolution identities for bernoulli and genocchi polynomials. The Electronic Journal of Combinatorics, 1–65 (2014)

    2014

  42. [42]

    Giuga, G.: Su Una Presumibile Proprieta Caratteristica dei Numeri Primi, (1950)

    1950

  43. [43]

    Koblitz, N.: P-adic Numbers, P-adic Analysis, and Zeta-Functions vol. 58. Springer, ??? (2012)

    2012

  44. [44]

    Nuclear Physics B530(3), 701–714 (1998)

    Getzler, E., Pandharipande, R.: Virasoro constraints and the chern classes of the hodge bundle. Nuclear Physics B530(3), 701–714 (1998)

    1998

  45. [45]

    Physics Letters B402(1-2), 71–80 (1997)

    Eguchi, T., Hori, K., Xiong, C.-S.: Quantum cohomology and virasoro algebra. Physics Letters B402(1-2), 71–80 (1997)

    1997

  46. [46]

    Journal of the American Mathematical Society13(2), 371–410 (2000)

    Bryan, J., Leung, N.: The enumerative geometry ofk3surfaces and modular forms. Journal of the American Mathematical Society13(2), 371–410 (2000)

    2000

  47. [47]

    preprint, Brandeis University (1999)

    Gessel, I.M.: On miki’s identity for bernoulli numbers. preprint, Brandeis University (1999)

    1999

  48. [48]

    arXiv preprint 50 math/9812026 (1998)

    Getzler, E.: The virasoro conjecture for gromov-witten invariants. arXiv preprint 50 math/9812026 (1998)

    work page arXiv 1998

  49. [49]

    Commentarii academiae scientiarum Petropolitanae7(1734-35), 150–156 (1740)

    Euler, L.: De progressionibus harmonicis observationes. Commentarii academiae scientiarum Petropolitanae7(1734-35), 150–156 (1740)

  50. [50]

    Bulletin of the American Mathematical Society50(4), 527–628 (2013)

    Lagarias, J.: Euler’s constant: Euler’s work and modern developments. Bulletin of the American Mathematical Society50(4), 527–628 (2013)

    2013

  51. [51]

    Filomat28(2), 319–327 (2014)

    Qi, F.: Explicit formulas for computing bernoulli numbers of the second kind and stirling numbers of the first kind. Filomat28(2), 319–327 (2014)

    2014

  52. [52]

    In: Applications of Fibonacci Numbers: Volume 5 Proceedings of ‘The Fifth International Conference on Fibonacci Num- bers and Their Applications’, The University of St

    Howard, F.: N¨ orlund’s number bn (n). In: Applications of Fibonacci Numbers: Volume 5 Proceedings of ‘The Fifth International Conference on Fibonacci Num- bers and Their Applications’, The University of St. Andrews, Scotland, July 20–July 24, 1992, pp. 355–366 (1993). Springer

    1992

  53. [53]

    The Fibonacci Quarterly32(4), 316–328 (1994)

    Howard, F.: Congruences and recurrences for bernoulli numbers of higher order. The Fibonacci Quarterly32(4), 316–328 (1994)

    1994

  54. [54]

    The Fibonacci Quarterly48(1), 4–12 (2010)

    Agoh, T., Dilcher, K.: Recurrence relations for n¨ orlund numbers and bernoulli numbers of the second kind. The Fibonacci Quarterly48(1), 4–12 (2010)

    2010

  55. [55]

    Arakawa, T., Ibukiyama, T., Kaneko, M., Zagier, D.: Bernoulli Numbers and Zeta Functions vol. 6. Springer, ??? (2014)

    2014

  56. [56]

    Journal of Number Theory7(2), 251–265 (1975)

    Johnson, W.: p-adic proofs of congruences for the bernoulli numbers. Journal of Number Theory7(2), 251–265 (1975)

    1975

  57. [57]

    Journal of number theory30(2), 226–237 (1988)

    Silverman, J.H.: Wieferich’s criterion and the abc-conjecture. Journal of number theory30(2), 226–237 (1988)

    1988

  58. [58]

    Mathematics of Computation83(290), 3071–3091 (2014)

    Costa, E., Gerbicz, R., Harvey, D.: A search for wilson primes. Mathematics of Computation83(290), 3071–3091 (2014)

    2014

  59. [59]

    Published electronically at https://oeis.org/A014127 (2020)

    Inc., O.F.: Entry A014127 in The On-Line Encyclopedia of Integer Sequences (Mi- rimanoff primes). Published electronically at https://oeis.org/A014127 (2020). https://oeis.org/A014127

    2020

  60. [60]

    Published electronically at https://oeis.org/A001220 (2020)

    Inc., O.F.: Entry A001220 in The On-Line Encyclopedia of Integer Sequences ( Wieferich prime). Published electronically at https://oeis.org/A001220 (2020). https://oeis.org/A001220 51

    2020