pith. sign in

arxiv: 2308.13428 · v3 · submitted 2023-08-25 · 🧮 math.RA · math.NT

On the arithmetic of the join rings over finite fields

Sunil K. Chebolu , Jonathan Merzel , J\'an Min\'a\v{c} , Tung T. Nguyen , Federico Pasini , Nguy\^en Duy T\^an This is my paper

Pith reviewed 2026-05-24 07:58 UTC · model grok-4.3

classification 🧮 math.RA math.NT
keywords join ringsgroup ringsfinite fieldsunit groupsMersenne primesFermat primeszeta functionprimitive roots
0
0 comments X

The pith

The join of group rings over finite fields has the property that every unit order divides a fixed number precisely when Mersenne and Fermat primes emerge in the structure.

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

The paper studies join rings that interpolate between matrix rings and group rings. It introduces a generalized augmentation map to decompose the join ring into simpler pieces. This decomposition yields an explicit formula for the zeta function and information about the unit group. The central result classifies exactly which join rings over finite fields have all unit orders dividing one fixed integer. In this classification Mersenne and Fermat primes appear as the decisive arithmetic data.

Core claim

We construct a generalized augmentation map that gives a structural decomposition of the join ring. The decomposition permits computation of the zeta function of the join of group rings. The join ring also serves as a natural setting for simultaneous primitive roots. We then characterize the join rings over finite fields in which the order of every unit divides a fixed number, and Mersenne and Fermat primes arise in this characterization.

What carries the argument

The generalized augmentation map, which decomposes the join ring and makes the unit-group order and zeta function computable.

If this is right

  • The zeta function of any join of group rings is determined by the images under the generalized augmentation map.
  • The order of the unit group of the join ring can be read off from the decomposition.
  • Simultaneous primitive roots for a set of primes correspond to generators of the unit group of the join ring.
  • The bounded-order condition on units holds over finite fields only when the relevant primes are Mersenne or Fermat primes.

Where Pith is reading between the lines

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

  • The same decomposition technique may apply to other rings that interpolate between matrices and groups.
  • Rings satisfying the bounded-unit-order condition supply new examples of torsion unit groups whose orders are controlled by classical primes.
  • The appearance of Mersenne and Fermat primes suggests possible links to other arithmetic questions involving the same primes, such as the existence of primitive roots in certain extensions.

Load-bearing premise

The generalized augmentation map produces a structural decomposition of the join ring that is compatible with the computation of the zeta function and the order of the unit group.

What would settle it

Exhibit a finite field and collection of groups such that every unit in the join ring has order dividing some fixed N, yet the field is unrelated to Mersenne or Fermat primes in the manner the characterization predicts.

read the original abstract

Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we have previously introduced and studied certain foundational properties of the join ring $\mathcal{J}_{G_1, G_2, \ldots, G_d}(R)$. This ring bridges two extreme worlds: matrix rings $M_n(R)$ on one end, and group rings $R[G]$ on the other. The construction of this ring was motivated by various problems in graph theory, network theory, nonlinear dynamics, and neuroscience. In this paper, we continue our investigations of this ring, focusing more on its arithmetic properties. We begin by constructing a generalized augmentation map that gives a structural decomposition of this ring. This decomposition allows us to compute the zeta function of the join of group rings. We show that the join of group rings is a natural home for studying the concept of simultaneous primitive roots for a given set of primes. This concept is related to the order of the unit group of the join of group rings. Finally, we characterize the join of group rings over finite fields with the property that the order of every unit divides a fixed number. Remarkably, Mersenne and Fermat primes unexpectedly emerge within the context of this exploration.

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 / 3 minor

Summary. The manuscript continues prior work on the join ring construction J_{G1,...,Gd}(R) that interpolates between matrix rings and group rings. It defines a generalized augmentation map yielding a structural decomposition, uses the decomposition to compute the zeta function of joins of group rings, relates the unit group to simultaneous primitive roots, and gives a characterization of those join rings over finite fields in which every unit has order dividing a fixed integer, with Mersenne and Fermat primes appearing in the resulting arithmetic conditions.

Significance. If the decomposition and characterization are correct, the work supplies a new algebraic setting in which number-theoretic phenomena (orders of units, primitive roots, and special primes) arise naturally from a construction motivated by applications in graph theory and networks; the explicit link to Mersenne/Fermat primes is a concrete, falsifiable outcome that strengthens the arithmetic content.

minor comments (3)
  1. The abstract states that the generalized augmentation map 'gives a structural decomposition' and 'allows us to compute the zeta function,' but does not indicate the precise form of the map or the resulting direct-sum decomposition; adding the explicit definition and the resulting isomorphism in the main text would make the subsequent zeta-function calculation easier to follow.
  2. The characterization of join rings over finite fields is described as involving Mersenne and Fermat primes, yet no statement of the precise fixed integer or the field characteristic appears in the abstract; a brief theorem statement or example in the introduction would clarify the scope of the result.
  3. The relation between the order of the unit group and simultaneous primitive roots is asserted but not quantified; including the explicit formula for |U(J_{G1,...,Gd}(F_q))| or the relevant Euler totient expression would strengthen the connection.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work on the arithmetic properties of join rings, including the generalized augmentation map, zeta functions, simultaneous primitive roots, and the characterization involving Mersenne and Fermat primes. The recommendation for minor revision is noted. However, the report lists no specific major comments under the MAJOR COMMENTS section.

Circularity Check

1 steps flagged

Minor self-citation to prior definition of join ring; central results use new map and are independent

specific steps
  1. self citation load bearing [Abstract]
    "Given a collection {G_i}_{i=1}^d of finite groups and a ring R, we have previously introduced and studied certain foundational properties of the join ring J_{G1,G2,…,Gd}(R)."

    The foundational definition and properties of the join ring are cited to the authors' own prior work, but because the present paper introduces an original generalized augmentation map and performs independent arithmetic derivations, the citation supports only the setup and is not load-bearing for the central characterization or zeta-function results.

full rationale

The paper references its authors' earlier work solely for the foundational definition of the join ring J_{G1,...,Gd}(R). It then constructs a new generalized augmentation map, derives the zeta function, studies simultaneous primitive roots, and characterizes unit orders over finite fields, with Mersenne/Fermat primes appearing as derived phenomena. No equation reduces a claimed prediction or characterization to a fitted input by construction, no uniqueness theorem is imported from self-citation, and the self-citation is not load-bearing for the arithmetic claims. This is a standard minor self-reference with independent new content.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The paper relies on the prior definition of the join ring and on standard facts from ring theory and finite-field arithmetic; no free parameters or new postulated entities are visible in the abstract.

axioms (1)
  • standard math Standard axioms of associative rings, groups, and finite fields
    Invoked throughout the construction of the join ring and the augmentation map.
invented entities (1)
  • Join ring J_{G1,...,Gd}(R) no independent evidence
    purpose: Hybrid construction bridging matrix rings and group rings
    Central object introduced in the authors' previous work; independent evidence is the earlier paper referenced in the abstract.

pith-pipeline@v0.9.0 · 5778 in / 1239 out tokens · 59480 ms · 2026-05-24T07:58:41.632750+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [1]

    Boesch and R

    F. Boesch and R. Tindell. Circulants and their connectiv ities. Journal of Graph Theory , 8(4):487–499, 1984

    work page 1984

  2. [2]

    R. C. Budzinski, T. T. Nguyen, J. Doan, J. Min´ aˇ c, T. J. Se jnowski, and L. E. Muller. Geometry unites synchrony, chimeras, and waves in nonlinear oscillator net works. Chaos: An Interdisciplinary Journal of Nonlinear Science, 32(3):031104, 2022

    work page 2022

  3. [3]

    J. F. Carlson. Modules and group algebras . Birkh¨ auser, 2012

    work page 2012

  4. [4]

    C.-Y. Chao. Circulant matrices (philip j. davis). SIAM Review , 24(3):356, 1982

    work page 1982

  5. [5]

    S. K. Chebolu. What is special about the divisors of 24? Mathematics Magazine , 85(5):366–372, 2012

    work page 2012

  6. [6]

    S. K. Chebolu and K. Lockridge. Fields with indecomposab le multiplicative groups. Expositiones Mathe- maticae, 34(2):237–242, 2016

    work page 2016

  7. [7]

    S. K. Chebolu, K. Lockridge, and G. Yamskulna. Character izations of mersenne and 2-rooted primes. Finite Fields and Their Applications , 35:330–351, 2015

    work page 2015

  8. [8]

    S. K. Chebolu and M. Mayers. What is special about the divi sors of 12? Mathematics Magazine, 86(2):143– 146, 2013

    work page 2013

  9. [9]

    S. K. Chebolu, J. L. Merzel, J. Min´ aˇ c, L. Muller, T. T. Ng uyen, F. W. Pasini, and N. D. Tˆ an. On the joins of group rings. Journal of Pure and Applied Algebra , 227(9):107377, 2023

    work page 2023

  10. [10]

    P. J. Davis. Circulant matrices. American Mathematical Soc., 2013

    work page 2013

  11. [11]

    J. Doan, J. Min´ aˇ c, L. Muller, T. T. Nguyen, and F. W. Pas ini. Joins of circulant matrices. Linear Algebra and its Applications , pages 190–209, 2022

    work page 2022

  12. [12]

    J. Doan, J. Min´ aˇ c, L. Muller, T. T. Nguyen, and F. W. Pas ini. On the spectrum of the joins of normal matrices and applications. arXiv e-prints arXiv:2207.04181 , 2022

    work page arXiv 2022

  13. [13]

    Elspas and J

    B. Elspas and J. Turner. Graphs with circulant adjacenc y matrices. Journal of Combinatorial Theory , 9(3):297–307, 1970

    work page 1970

  14. [14]

    T. Fukaya. Hasse zeta functions of non-commutative rin gs. Journal of Algebra , 208(1):304–342, 1998

    work page 1998

  15. [15]

    Gupta and M

    R. Gupta and M. R. Murty. A remark on Artin’s conjecture. Inventiones mathematicae , 78(1):127–130, 1984

    work page 1984

  16. [16]

    C. Hooley. On Artin’s conjecture. J. Reine Angew. Math , 225:209–220, 1967

    work page 1967

  17. [17]

    T. Hurley. Group rings and rings of matrices. Int. J. Pure Appl. Math , 31(3):319–335, 2006

    work page 2006

  18. [18]

    D. Johnson. The modular group-ring of a finite p-group. Proceedings of the American Mathematical Society, 68(1):19–22, 1978

    work page 1978

  19. [19]

    Kanemitsu and M

    S. Kanemitsu and M. Waldschmidt. Matrices of finite abel ian groups, finite Fourier transform and codes. Proc. 6th China-Japan Sem. Number Theory, World Sci. London -Singapore-New Jersey , pages 90–106, 2013

    work page 2013

  20. [20]

    Kasatkin and V

    D. Kasatkin and V. Nekorkin. Transient circulant clust ers in two-population network of Kuramoto os- cillators with different rules of coupling adaptation. Chaos: An Interdisciplinary Journal of Nonlinear Science, 31(7):073112, 2021. ON THE ARITHMETIC OF JOIN RINGS OVER FINITE FIELDS 21

    work page 2021

  21. [21]

    Kurokawa

    N. Kurokawa. On some euler products, i. Proceedings of the Japan Academy, Series A, Mathematical Sciences, 60(9):335–338, 1984

    work page 1984

  22. [22]

    Kurokawa

    N. Kurokawa. Special values of selberg zeta functions. Contemp. Math , 83:133–150, 1989

    work page 1989

  23. [23]

    Mih˘ ailescu

    P. Mih˘ ailescu. Primary cyclotomic units and a proof of Catalan’s conjecture. J. Reine Angew. Math. , 572:167–195, 2004

    work page 2004

  24. [24]

    C. P. Milies, S. K. Sehgal, and S. Sehgal. An introduction to group rings , volume 1. Springer Science & Business Media, 2002

    work page 2002

  25. [25]

    I. Murase. Semimagic squares and non-semisimple algeb ras. The American Mathematical Monthly , 64(3):168–173, 1957

    work page 1957

  26. [26]

    T. T. Nguyen, R. C. Budzinski, J. ¯Do` an, F. W. Pasini, J. Min´ aˇ c, and L. E. Muller. Equilibriain Kuramoto oscillator networks: An algebraic approach. SIAM Journal on Applied Dynamical Systems , 22(2):802–824, 2023

    work page 2023

  27. [27]

    T. T. Nguyen, R. C. Budzinski, F. W. Pasini, R. Delabays, J. Min´ aˇ c, and L. E. Muller. Broadcasting solutions on networked systems of phase oscillators. Chaos, Solitons & Fractals , 168:113166, 2023

    work page 2023

  28. [28]

    D. S. Passman and R. Passman. Infinite group rings , volume 6. M. Dekker, 1971

    work page 1971

  29. [29]

    R. S. Pierce. Associative algebras, volume 9 of Studies in the History of Modern Science . Springer-Verlag, New York-Berlin, 1982

    work page 1982

  30. [30]

    Ribenboim

    P. Ribenboim. Catalan ’s conjecture. Academic Press, Inc., Boston, MA, 1994

    work page 1994

  31. [31]

    A. Shalev. Lie dimension subgroups, lie nilpotency ind ices, and the exponent of the group of normalized units. Journal of the London Mathematical Society , 2(1):23–36, 1991

    work page 1991

  32. [32]

    Townsend, M

    A. Townsend, M. Stillman, and S. H. Strogatz. Dense netw orks that do not synchronize and sparse ones that do. Chaos: An Interdisciplinary Journal of Nonlinear Science , 30(8):083142, 2020. Illinois State University Email address : schebol@ilstu.edu Soka University Email address : jmerzel@soka.edu University of Western Ontario Email address : minac@uwo.ca...

    work page 2020