The N-Prime Graph Question is equivalent to the Prime Graph Question

Brecht Verbeken

Abstract

Let $G$ be a finite group and let $V(\mathbb ZG)$ be the group of normalized units of its integral group ring. We prove that every $N$-prime arc of $V(\mathbb ZG)$ either already occurs in $G$ or admits commuting witnesses of distinct prime orders. Writing $A(Δ)$ for the arc set of a directed graph $Δ$, $E(Δ)$ for the edge set of an undirected graph, and $\operatorname{Sym}(E)$ for the two orientations of the edges in $E$, this is equivalent to the exact formula \[ A\bigl(Γ_{\mathrm N}(V(\mathbb ZG))\bigr) = A\bigl(Γ_{\mathrm N}(G)\bigr) \cup \operatorname{Sym}\!\bigl( E(Γ_{\mathrm{GK}}(V(\mathbb ZG))) \bigr). \] Consequently, the $N$-Prime Graph Question has an affirmative answer for $G$ if and only if the Prime Graph Question does.

Disclosure

“knowledgements The author is grateful to Ángel del Río and Emanuele Pacifici for carefully reading an earlier version of the manuscript, and for their helpful feedback and generous encouragement. Declaration on the use of automated tools OpenAI Codex and ChatGPT were used to assist with literature searches, manuscript organization, language editing, and LATEX preparation. The author verified the mathematical arguments and bibliographic information and assumes full responsibility”

PDF page 5
Classification
Rewriting existing author-written text
Multiplier
4
Verified

Structural counts

Pages 5 pdf
Theorems 1 source
Lemmas 2 source
Propositions 1 source
Corollaries 1 source
Definitions 0 source
Displayed equations 24 source
Bibliography entries 8 source
Appendix pages 0 estimated

Count notes

  • Source counts use the expanded primary TeX file nprime_pq_equivalence_proof.tex.
  • Appendix pages include the first PDF page with an explicit Appendix heading through the final page.