pith. sign in

arxiv: 2605.18356 · v1 · pith:7DABIPIMnew · submitted 2026-05-18 · 🧮 math.CO · math.GR

Classification of abelian Schur groups II

Grigory Ryabov This is my paper

Pith reviewed 2026-05-20 09:17 UTC · model grok-4.3

classification 🧮 math.CO math.GR
keywords abelian groupsSchur groupsSchur ringsclassificationgroup theorycombinatorial group theorypermutation groups
0
0 comments X

The pith

Abelian Schur groups are exactly the groups on the 2016 candidate list, now that nonpowerful-order cases are verified to satisfy the Schur condition.

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

The paper completes the classification of abelian Schur groups. A finite abelian group G is a Schur group when every Schur ring over G arises naturally from a subgroup of the symmetric group on G that includes all right translations by elements of G. Researchers in 2016 produced a list of all possible abelian candidates for this property. This work shows that several groups whose order is not a powerful number from that list do satisfy the Schur condition. With the powerful-order cases already settled elsewhere, the full list is thereby established as the complete classification.

Core claim

The paper proves that several abelian groups of nonpowerful order from the 2016 list of Evdokimov, Kovács, and Ponomarenko are Schur groups. This verification yields the complete classification of abelian Schur groups.

What carries the argument

The property that every Schur ring over the group is schurian, meaning it is induced by a permutation group containing the right regular representation of G.

If this is right

  • All abelian groups that admit only schurian Schur rings are now explicitly known.
  • The classification separates into powerful-order and nonpowerful-order cases, with both settled.
  • Any further study of Schur rings over abelian groups can restrict attention to the groups on this list.

Where Pith is reading between the lines

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

  • The explicit list makes it feasible to test whether particular combinatorial objects, such as certain association schemes, arise only over these groups.
  • The result suggests examining whether a similar candidate-list approach can reduce the non-abelian Schur-group problem to a finite verification task.

Load-bearing premise

The 2016 list of candidate abelian Schur groups is both complete and contains no extraneous groups, so that confirming the nonpowerful-order cases finishes the classification.

What would settle it

Discovery of an abelian group of nonpowerful order that is not on the 2016 list yet has every Schur ring schurian, or discovery that one of the groups verified here fails the Schur condition.

read the original abstract

A finite group $G$ is called a Schur group if every Schur ring over $G$ is schurian, i.e. associated in a natural way with a subgroup of the symmetric group $Sym(G)$ that contains all right translations of $G$. The list of all possible abelian Schur groups was obtained by Evdokimov, Kov\'acs, and Ponomarenko in 2016. In two papers, we complete a classification of abelian Schur groups. In the present paper, we prove that several groups of nonpowerful order from the list are Schur groups. By that, we obtain a classification of abelian Schur groups.

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

Summary. The manuscript proves that several abelian groups of nonpowerful order drawn from the 2016 Evdokimov–Kovács–Ponomarenko candidate list are Schur groups. Together with a companion paper, this is presented as completing the classification of all abelian Schur groups.

Significance. A correct verification of the remaining nonpowerful-order cases from an exhaustive candidate list would finish the classification of abelian Schur groups, a concrete advance in the theory of Schur rings over finite abelian groups.

major comments (2)
  1. The central classification claim rests on the 2016 list being both complete and free of extraneous entries. The manuscript treats this list as given and supplies no independent completeness argument or cross-check against the definition of Schur groups; this is load-bearing for the final statement that the classification is now obtained.
  2. Abstract and introduction: the claim that verifying the nonpowerful-order cases suffices to finish the classification is not accompanied by an explicit statement of what the companion paper covers and why the powerful-order cases are already settled.
minor comments (2)
  1. Clarify the precise definition of 'nonpowerful order' at first use and ensure it aligns with the 2016 reference.
  2. Add a short table or list enumerating the specific groups proved to be Schur in this paper, with references to the corresponding theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We respond to each major comment below, indicating planned revisions where appropriate.

read point-by-point responses

  1. Referee: The central classification claim rests on the 2016 list being both complete and free of extraneous entries. The manuscript treats this list as given and supplies no independent completeness argument or cross-check against the definition of Schur groups; this is load-bearing for the final statement that the classification is now obtained.

    Authors: The 2016 paper of Evdokimov, Kovács, and Ponomarenko derives the necessary conditions for an abelian group to be Schur and enumerates all groups satisfying those conditions, thereby producing the complete candidate list. The present manuscript verifies the Schur property for the nonpowerful-order members of that list; the companion paper performs the analogous verification for the powerful-order members. We do not reprove the completeness of the candidate list here, as that result is established in the cited reference. We will add a short paragraph in the introduction that explicitly recalls the role of the 2016 list as the exhaustive set of candidates and states that the two papers together confirm every candidate is Schur. revision: yes

  2. Referee: Abstract and introduction: the claim that verifying the nonpowerful-order cases suffices to finish the classification is not accompanied by an explicit statement of what the companion paper covers and why the powerful-order cases are already settled.

    Authors: We agree that the abstract and introduction would be clearer with an explicit division of labor. The companion paper (Part I) settles the powerful-order cases from the 2016 list, while the present paper (Part II) settles the nonpowerful-order cases. Together the two papers therefore complete the classification. We will revise both the abstract and the introduction to include a concise statement describing what each paper covers and why the combination yields the full classification. revision: yes

Circularity Check

0 steps flagged

No circularity; direct verification of external 2016 candidate list

full rationale

The paper cites the 2016 list of candidate abelian Schur groups produced by Evdokimov, Kovács, and Ponomarenko as an external input and then proves that several nonpowerful-order groups from that list are Schur groups. This verification step does not reduce to any self-definition, fitted parameter renamed as prediction, or load-bearing self-citation within the manuscript. The derivation chain is self-contained once the external list is granted and supplies independent content via direct group-theoretic arguments rather than circular reduction to its own premises.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard definitions of Schur rings and the completeness of the 2016 candidate list; no new free parameters, ad-hoc axioms, or invented entities are introduced in the abstract.

axioms (1)
  • standard math Standard axioms and definitions of finite groups, Schur rings, and schurian rings as given in the 2016 reference.
    The paper invokes these background notions without re-deriving them.

pith-pipeline@v0.9.0 · 5625 in / 1218 out tokens · 49694 ms · 2026-05-20T09:17:03.307086+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

24 extracted references · 24 canonical work pages · 1 internal anchor

  1. [1]

    R. A. Bailey, P. J. Cameron, Crested products of association schemes, J. London Math. Soc., 72, No. 2 (2005), 1--24

    work page 2005

  2. [2]

    G. Chen, I. Ponomarenko, Coherent configurations, Central China Normal University Press, Wuhan (2019)

    work page 2019

  3. [3]

    Evdokimov, I

    S. Evdokimov, I. Ponomarenko, Schurity of S -rings over a cyclic group and generalized wreath product of permutation groups, St. Petersburg Math. J., 24, No. 3 (2013), 431--460

    work page 2013

  4. [4]

    Evdokimov, I

    S. Evdokimov, I. Kov\'acs, I. Ponomarenko, Characterization of cyclic Schur groups, St. Petersburg Math. J., 25, No. 5 (2014), 755--773

    work page 2014

  5. [5]

    Evdokimov, I

    S. Evdokimov, I. Kov\'acs, and I. Ponomarenko, On schurity of finite abelian groups, Commun. Algebra, 44, No. 1 (2016), 101--117

    work page 2016

  6. [6]

    Golfand, N

    J. Golfand, N. Najmark, R. P\" o schel , The structure of S -rings over Z _ 2^m , Preprint P-01/85 Akad. der Wiss. der DDR, ZIMM, Berlin (1985)

    work page 1985

  7. [7]

    M. Klin, C. Pech, S. Reichard, COCO2P -- a GAP package, 0.14, 07.02.2015, http://www.math.tu-dresden.de/ pech/COCO2P

    work page 2015

  8. [8]

    o schel , The K\

    M. Klin, R. P\" o schel , The K\" o nig problem, the isomorphism problem for cyclic graphs and the method of Schur rings, in: ``Algebraic Methods in Graph Theory, Szeged, 1978'', Colloq. Math. Soc. J\'anos Bolyai, 25, North-Holland, Amsterdam (1981), 405--434

    work page 1978

  9. [9]

    Leung, S

    K. Leung, S. Man, On Schur rings over cyclic groups. II, J. Algebra, 183, No. 2 (1996), 273--285

    work page 1996

  10. [10]

    Leung, S

    K. Leung, S. Man, On Schur rings over cyclic groups, Isr. J. Math., 106 (1998), 251--267

    work page 1998

  11. [11]

    Muzychuk, I

    M. Muzychuk, I. Ponomarenko, Schur rings, European J. Combin., 30, No. 6 (2009), 1526--1539

    work page 2009

  12. [12]

    Muzychuk, I

    M. Muzychuk, I. Ponomarenko, On Schur 2 -groups, J. Math. Sci. (N.-Y.), 219, No. 4 (2016), 565--594

    work page 2016

  13. [13]

    Ponomarenko, G

    I. Ponomarenko, G. Ryabov, Abelian Schur groups of odd order, Sib. Elect. Math. Reports, 15 (2018), 397--411

    work page 2018

  14. [14]

    Ponomarenko, A

    I. Ponomarenko, A. Vasil'ev, On nonabelian Schur groups, J. Algebra Appl., 13, No. 8, Article ID 1450055 (2014)

    work page 2014

  15. [15]

    P\" o schel , Untersuchungen von s-ringen insbesondere im gruppenring von p-gruppen, Math

    R. P\" o schel , Untersuchungen von s-ringen insbesondere im gruppenring von p-gruppen, Math. Nachr., 60 (1974), 1--27

    work page 1974

  16. [16]

    Ryabov, On Schur 3 -groups, Sib

    G. Ryabov, On Schur 3 -groups, Sib. Electron. Math. Rep., 12 (2015), 223--231

    work page 2015

  17. [17]

    Ryabov, On Schur p-groups of odd order, J

    G. Ryabov, On Schur p-groups of odd order, J. Algebra Appl., 16, No. 3 (2017), Article ID 1750045

    work page 2017

  18. [18]

    Ryabov, On nilpotent Schur groups, Sib

    G. Ryabov, On nilpotent Schur groups, Sib. Electron. Math. Rep., 19, No. 2 (2022), 1077--1087

    work page 2022

  19. [19]

    Ryabov, On schurity of dihedral groups, J

    G. Ryabov, On schurity of dihedral groups, J. Algebra, 682 (2025), 247--277

    work page 2025

  20. [20]

    Classification of abelian Schur groups I

    G. Ryabov, Classification of abelian Schur groups I, https://arxiv.org/abs/2602.14215 [math.GR] (2026), accepted to St. Petersburg Math. J

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  21. [21]

    Schur, Zur theorie der einfach transitiven Permutationgruppen, S.-B

    I. Schur, Zur theorie der einfach transitiven Permutationgruppen, S.-B. Preus Akad. Wiss. Phys.-Math. Kl., 18, No. 20 (1933), 598--623

    work page 1933

  22. [22]

    Wielandt, Finite permutation groups, Academic Press, New York - London (1964)

    H. Wielandt, Finite permutation groups, Academic Press, New York - London (1964)

    work page 1964

  23. [23]

    Wielandt, Permutation Groups Through Invariant Relations and Invariant Functions, Lecture Notes, Department of Mathematics Ohio State University, Columbus (1969)

    H. Wielandt, Permutation Groups Through Invariant Relations and Invariant Functions, Lecture Notes, Department of Mathematics Ohio State University, Columbus (1969)

    work page 1969

  24. [24]

    Ziv-Av, Enumeration of Schur rings over small groups, Lecture Notes in Computer Science, 8660 (2014), 491--500

    M. Ziv-Av, Enumeration of Schur rings over small groups, Lecture Notes in Computer Science, 8660 (2014), 491--500

    work page 2014