The DOI matches its DataCite record; 2 of the 2 references it cites were found in a registry or an index; none of the 75 sources its claims cite is checked for support yet.
The Erdős--Ginzburg--Ziv theorem for finite groups
Open accessAbstract
Let $G$ be a finite group, and let $p$ be the smallest prime divisor of $|G|$. The Gao constant $\mathsf{E}(G)$ is the least integer $\ell$ such that every sequence over $G$ of length $\ell$ contains a subsequence of length $|G|$ whose terms can be ordered to have product equal to the identity. In 1961, Erdős, Ginzburg and Ziv proved that every sequence of $2n-1$ integers has an $n$-term subsequence whose sum is divisible by $n$; equivalently, $\mathsf{E}(C_n)\leq 2n-1$, where $C_n$ denotes the cyclic group of order $n$. In this paper, we prove that $\mathsf{E}(G)\leq |G|+|G|/p-1$ whenever $G$ contains no cyclic subgroup of index $p$. Consequently, every finite non-cyclic group satisfies $\mathsf{E}(G)\leq |G|+|G|/p+p-2$, with equality if and only if $G$ contains a cyclic subgroup of index $p$. This establishes the conjectured upper bound for the Gao constant and provides a complete characterization of the equality case.
Overview
CoChat Summary
TL;DR
The paper proves that for a finite non-cyclic group \(G\), with \(p\) the smallest prime divisor of \(|G|\), the Gao constant satisfies \(E(G)\le |G|+|G|/p+p-2\), with equality if and only if \(G\) has a cyclic subgroup of index \(p\). This establishes Conjectures 1.1 and 1.2 and gives a complete characterization of the equality case.
Key findings
- If \(G\) is finite non-cyclic and has no cyclic subgroup of index \(p\), then \(E(G)\le |G|+|G|/p-1\); if \(G\) is non-solvable, then \(E(G)\le 3|G|/2-1\).
- Consequently, every finite non-cyclic group satisfies \(E(G)\le |G|+|G|/p+p-2\), with equality if and only if \(G\) has a cyclic subgroup of index \(p\).
- Moreover, \(E(G)\le 3|G|/2\), with equality if and only if \(G\) has a cyclic subgroup of index \(2\). Thus Conjectures 1.1 and 1.2 both hold.
- The solvable case reduces a minimal counterexample to five configurations (S1)–(S5), which are then excluded; the non-solvable case reduces to non-abelian simple groups, for which \(E(S)\le 3|S|/2-1\) is proved.
Methods
- Pure finite-group and zero-sum combinatorics proof; no empirical sample or data. The paper studies the Gao constant \(E(G)\), the small Davenport constant \(d(G)\), and product-one sequences over finite groups.
- The proof splits into solvable and non-solvable cases. For solvable groups, a minimal counterexample is reduced to five configurations and ruled out. For non-solvable groups, the problem is reduced to non-abelian finite simple groups, then handled by bounded-height and high-multiplicity arguments.
- The argument uses Olson’s theorem, Gao’s theorem, Reiher’s theorem, DeVos–Goddyn–Mohar setpartition bounds, Kneser/Cauchy–Davenport results, representation-degree bounds, orbit-growth estimates, and the classification of finite simple groups, with many case tables.
Limitations
- The paper states no limitations section.
- Evident from the text: the proof is highly technical and depends on the classification of finite simple groups, extensive case-by-case analysis, and many numerical tables, which may make independent verification demanding.
- The paper’s AI usage note states that AI tools were used to assist with literature searches, proofs in the finite simple group sections, and language editing.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Verification
Claims the paper makes
0 Valid · 26 Not valid · 67 Not checked · 213 Own results and interpretations
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In particular, if G is non-solvable, then E ( G ) ≤ 3 | G | / 2 -1 .”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper reports from its own data — it cites no other source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In this paper, we prove that E ( G ) ≤ | G | + | G | /p -1 whenever G contains no cyclic subgroup of index p .”
- Also stated in: § 1. Introduction · p. 2 · plain
“Theorem 1.4. Let G be a finite non-cyclic group, and let p be the smallest prime divisor of | G | . If G has no cyclic subgroup of index p , then”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Also stated in: § 1. Introduction · p. 2 · plain
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“Lemma 13.1. Let G be non-abelian simple, and suppose that ⟨ C, x ⟩ = G . Suppose that every maximal subgroup containing ⟨ C, xCx -1 ⟩ is the only member of its G -conjugacy class containing C . Then”
plainstates a cause- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
A result the paper states — it cites no source for it, so there is none to check. The quote shows it is in the paper.
In the paper
“In the high-multiplicity setting, if G = PSL 2 (8) and ord( a ) = 3 , then 1 ∈ Π 504 ( S ) .”
plain- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: passes — The paper gives a reason why it holds.
- Rests on 2 assumptions not shown here.
The paper states this without a source or data behind it here, so there is nothing to check it against. The quote shows it is in the paper.
In the paper
“Each orbit commutes with a as a set.”
plainstates an association- Asserted: passes — The authors put it forward as true.
- Checkable: passes — It can be checked against evidence.
- Load-bearing: passes — The paper’s conclusions depend on it.
- Based: unclear — It is unclear why the paper says it holds.
129 more claims
Create a free account to see all 306 claims and to verify the 2 references still open.
- It may state two separate claims as one. 116
- The quote only partly states this claim. 35
- Probably not a substantial claim. 56
Citations
Cites
The Gao-Zhuang conjecture for the Heisenberg group over $\mathbb{F}_p$Preprint
Qu, Y., & Wang, G. (2026) · arXiv (Cornell University) · doi:10.48550/arxiv.2608.23319 · Cited by 1
Self-citationMaximal subgroups of almost simple groups with socle $\PSL(2,q)$
Giudici, M. (2007) · arXiv · doi:10.48550/arxiv.math/0703685
Research works printed but not linked: 43
- [1][1] F. Altunbulak Aksu, D. Green, On the Christensen-Wang bounds for the ghost number of a p -group algebra , J. Group Theory 19 (2016), 609-615. -
- [2][2] R. András, K. Cziszter, M. Domokos, I. Szöllősi, The directed Cayley diameter and the Davenport constant , in: M. Brešar, A. Geroldinger, B. Olberding, D. Smertnig (eds.), Recent Progress in Ring and Factorization Theory, Springer Proceedings in Mathematics & Statistics 477, Springer, Cham, 2025, pp. 1-17. -
- [4][4] K. Cziszter, M. Domokos, The Noether number for the groups with a cyclic subgroup of index two , J. Algebra 399 (2014), 546-560. -
- [5][5] K. Cziszter, M. Domokos, A. Geroldinger, The interplay of invariant theory with multiplicative ideal theory and with arithmetic combinatorics , in Multiplicative Ideal Theory and Factorization Theory (Springer 2016), pp. 43-95. -
- [6][6] K. Cziszter, M. Domokos, I. Szöllősi, The Noether number and the Davenport constants of the groups of order less than 32, J. Algebra 510 (2018), 513-541. -
- [7][7] J. Bass, Improving the Erdős-Ginzburg-Ziv theorem for some non-abelian groups , J. Number Theory 126 (2007), 217-236. -
- [8][8] A. Bialostocki, P. Dierker, On the Erdős-Ginzburg-Ziv theorem and the Ramsey numbers for stars and matchings , Discrete Math. 110 (1992), 1-8. -
- [9][9] F. Brochero Martínez, A. Lemos, B. Moriya, S. Ribas, The main zero-sum constants over D 2 n × C 2 , SIAM J. Discrete Math. 37 (2023), 1496-1508. -
- [10][10] M. DeVos, L. Goddyn, B. Mohar, A generalization of Kneser's addition theorem , Adv. Math. 220 (2009), 1531-1548. -
- [11][11] J. Dixon, B. Mortimer, Permutation Groups , Graduate Texts in Mathematics 163, Springer, New York, 1996. -
- [12][12] P. Erdős, A. Ginzburg, A. Ziv, Theorem in the additive number theory , Bull. Res. Council Israel, Sect. F 10 (1961), 41-43. -
- [13][13] W. Feit, J. Thompson, Solvability of groups of odd order , Pacific J. Math. 13 (1963), 775-1029. -
- [15][15] W. Gao, A combinatorial problem on finite abelian groups , J. Number Theory 58 (1996), 100-103. -
- [16][16] W. Gao, An improvement of Erdős-Ginzburg-Ziv theorem , Acta Math. Sinica 39 (1996), 514-523. -
- [17][17] W. Gao, A. Geroldinger, Zero-sum problems in finite abelian groups: A survey , Expo. Math. 24 (2006), 337-369. -
- [18][18] W. Gao, Y. Li, The Erdős-Ginzburg-Ziv theorem for finite solvable groups , J. Pure Appl. Algebra 214 (2010), 898-909. -
- [19][19] W. Gao, Y. Li, Y. Qu, On the invariant E ( G ) for groups of odd order , Acta Arith. 201 (2021), 255-267. -
- [20][20] W. Gao, Z. Lu, The Erdős-Ginzburg-Ziv theorem for dihedral groups , J. Pure Appl. Algebra 212 (2008), 311-319. -
- [21][21] W. Gao, R. Thangadurai, Davenport constant and non-Abelian version of Erdős-Ginzburg-Ziv theorem , in: R. Balasubramanian, K. Srinivas (eds.), The Riemann Zeta Function and Related Themes, Ramanujan Math. Soc. Lecture Notes Ser. 2, Ramanujan Mathematical Society, Mysore, 2006, pp. 57-64. -
- [22][22] B. Girard, W. Schmid, Direct zero-sum problems for certain groups of rank three , J. Number Theory 197 (2019), 297-316. -
- [24][24] N. Godara, R. Joshi, E. Mazumdar, Combinatorial invariants for certain classes of non-abelian groups , J. Number Theory 283 (2026), 44-63. -
- [26][26] S. Guest, J. Morris, C. Praeger, P. Spiga, On the maximum orders of elements of finite almost simple groups and primitive permutation groups , Trans. Amer. Math. Soc. 367 (2015), no. 11, 7665-7694. -
- [27][27] D. Han, The Erdős-Ginzburg-Ziv theorem for finite nilpotent groups , Arch. Math. 104 (2015), 325-332. -
- [28][28] D. Han, H. Zhang, Erdős-Ginzburg-Ziv theorem and Noether number for C m ⋉ φ C mn , J. Number Theory 198 (2019), 159-175. -
- [31][31] W. Kantor, Á. Seress, Large element orders and the characteristic of Lie-type simple groups , J. Algebra 322 (2009), 802-832. -
- [32][32] C. Karthick Babu, R. Bera, M. Ghosh, B. Sury, Davenport constant and its variants for some non-abelian groups , J. Number Theory 290 (2027), 400-425. -
- [33][33] S. Koshitani, On the nilpotency indices of the radicals of group algebras of p -groups which have cyclic subgroups of index p , Tsukuba J. Math. 1 (1977), 137-148. -
- [35][35] M. Nathanson, Additive Number Theory: Inverse Problems and the Geometry of Sumsets , Graduate Texts in Mathematics 165, Springer, New York, 1996. -
- [37][37] J. Olson, A combinatorial problem on finite abelian groups, I , J. Number Theory 1 (1969), 8-10. -
- [38][38] J. Olson, A combinatorial problem on finite abelian groups, II , J. Number Theory 1 (1969), 195-199. -
- [39][39] J. Olson, Sums of sets of group elements , Acta Arith. 28 (1975), 147-156. -
- [40][40] J. Olson, On a combinatorial problem of Erdős, Ginzburg, and Ziv , J. Number Theory 8 (1976), 52-57. -
- [41][41] Y. Qu, W. Gao, On additive bases of finite groups , Acta Arith. 215 (2024), 97-113. -
- [44][44] Y. Qu, Y. Li, D. Teeuwsen, On the small Davenport constant for finite groups , Israel J. Math. 267 (2025), 397-419. -
- [47][47] C. Reiher, On Kemnitz' conjecture concerning lattice-points in the plane , Ramanujan J. 13 (2007), 333-337. -
- [48][48] B. Schmid, Finite groups and invariant theory , in Topics in Invariant Theory, Lecture Notes in Mathematics, volume 1478 (Springer, 1991), pp. 35-66. -
- [49][49] R. Solomon, The classification of finite simple groups: a progress report , Notices Amer. Math. Soc. 65 (2018), 646-651. -
- [50][50] C. Tsang, A generalization of Itô's theorem to skew braces , J. Algebra 642 (2024), 367-399. -
- [51][51] R. Wilson, The Finite Simple Groups , Graduate Texts in Mathematics 251, Springer, London, 2009. -
- [54][54] T. Yuster, Bounds for counter-examples to addition theorems in solvable groups , Arch. Math. 51 (1988), 223-231. -
- [55][55] T. Yuster, B. Peterson, A generalization of an addition theorem for solvable groups , Canad. J. Math. 36 (1984), 529-536. -
- [56][56] Y. Zhao, G. Wang, On the Gao constant of groups of even order , J. Number Theory 292 (2027), 1-11. -
- [57][57] J. Zhuang, W. Gao, Erdős-Ginzburg-Ziv theorem for dihedral groups of large prime index , European J. Combin. 26 (2005), 1053-1059. Department of Mathematics, Luoyang Normal University, Luoyang, 471934, P.R. China Email address : yongke1239@163.com
Cited by
Still being checked.
Metadata
- Authors
- Qu, Y.
- Corresponding author
- Qu, Yongke
- ORCID
- Qu, Yongke
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2026
- ISSN
- 2331-8422 (ISSN-L)
- arXiv
- 2610.26122
- OpenAlex
- W7223011498
- Cited by
- 0
- References
- 2
- Type
- posted content
- Language
- en
- Open access
- green
- arxiv.org
- Licence
- Locations
- arXiv (Cornell University) (submittedVersion, cc-by)
- arXiv (Cornell University) (cc-by)
- Funders
- National Natural Science Foundation of China
- Topics
- Physical Sciences › Mathematics › Discrete Mathematics and Combinatorics › Advanced Combinatorial Mathematics
- Physical Sciences › Mathematics › Discrete Mathematics and Combinatorics › Finite Group Theory Research
- Physical Sciences › Mathematics › Algebra and Number Theory › Analytic Number Theory Research
- Keywords
- Erdős-Ginzburg-Ziv theorem, finite groups, subsequence sums
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
A language model drew the claims from the paper on 2026-11-14, under version 3 of the claim definition (model deepseek-v4.1-flash, prompt extract-v3).
A second model labelled each claim on 2026-11-14 (model jev-1.13-20260917, definition revision gold-guideline-v0.2).
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review
How to cite
Cite CoChat for the checks on this page, and the paper for its own findings.
- This page
- CoChat. (2026). Citation check: The Erdős--Ginzburg--Ziv theorem for finite groups. https://app.cochat.ai/papers/10.48550/arxiv.2610.26122
- The paper
- Qu, Y. (2026). The Erdős--Ginzburg--Ziv theorem for finite groups. arXiv. https://doi.org/10.48550/arxiv.2610.26122
Data sources
Bibliographic data: Semantic Scholar, OpenAlex, Crossref.
Contains information from the Semantic Scholar Academic Graph Datasets, made available under the ODC Attribution License (ODC-BY 1.0).
Semantic Scholar’s data is described in: Kinney, R., et al. (2023). The Semantic Scholar Open Data Platform. arXiv:2301.10140.
