Classification of abelian Schur groups I

Grigory Ryabov

arxiv: 2602.14215 · v4 · submitted 2026-02-15 · 🧮 math.GR · math.CO

Classification of abelian Schur groups I

Grigory Ryabov This is my paper

Pith reviewed 2026-05-15 21:58 UTC · model grok-4.3

classification 🧮 math.GR math.CO MSC 20C1520D6005E30

keywords Schur groupsSchur ringsabelian groupsdirect productsschurityelementary abelian groupscyclic groupssymmetric groups

0 comments

The pith

Direct products of the Klein four-group with certain odd-order cyclic groups are Schur groups.

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

The paper takes up a 2016 list of candidate abelian groups and checks which ones satisfy the Schur property. It shows that the direct product of the elementary abelian group of order 4 with a cyclic group of order an odd prime power or the product of two distinct odd primes is always a Schur group. For such a group every Schur ring is schurian, meaning it arises as the orbital algebra of some subgroup of the symmetric group on the group elements that contains the full right regular representation. The same paper also proves that several other groups on the candidate list fail to be Schur groups.

Core claim

Groups of the form C_2^2 × C_m, where m is an odd prime power or a product of two distinct odd primes, are Schur groups. Every Schur ring over such a group is induced by a permutation group on the underlying set that contains all right translations of the group.

What carries the argument

The Schur ring over an abelian group G, a subring of the integer group algebra closed under the Hadamard product and containing the basis elements corresponding to the group elements, together with the condition that the ring is schurian when it coincides with the centralizer algebra of a subgroup of Sym(G) containing the right regular representation of G.

If this is right

The groups C_2^2 × C_m with m as described join the known abelian Schur groups.
The remaining candidates on the 2016 list must be settled in the companion paper to finish the classification.
For these groups the property that every Schur ring is schurian holds by direct verification of the possible rings.
Nonschurity is established for several other groups on the same list, so they are excluded from the final classification.

Where Pith is reading between the lines

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

The pattern suggests that abelian Schur groups are precisely those whose orders avoid certain combinations of 2-power and odd-prime factors.
Similar direct-product arguments may classify Schur groups among other families of abelian groups of small exponent.
Computational enumeration of Schur rings for the smallest such groups would give an independent check of the analytic proofs.

Load-bearing premise

The 2016 list of candidate abelian Schur groups is complete and the usual definitions of Schur rings and schurity apply without extra hidden conditions to the groups examined.

What would settle it

An explicit Schur ring over one of the groups C_2^2 × C_p (p odd prime) that is not the orbital algebra of any permutation group containing the right translations would falsify the claim.

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 study schurity of several groups from the list. First, we prove that a direct product of the elementary abelian group of order 4 and a cyclic group, whose order is an odd prime power or a product of two distinct odd primes, is a Schur group. Second, we establish nonschurity of some other groups from the list.

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.

Desk Editor's Note private letter to a colleague

Ryabov checks specific cases from the 2016 list, proving schurity for C₂×C₂×C_m (m odd prime power or product of two distinct odd primes) and giving nonschurity examples for others.

read the letter

Ryabov takes the 2016 candidate list for abelian Schur groups and settles several entries by direct argument. He shows that the direct product of the elementary abelian group of order 4 with a cyclic group of order an odd prime power or a product of two distinct odd primes is Schur, meaning every Schur ring over it arises from a subgroup of Sym(G) containing the right regular representation. He also produces explicit nonschur examples among the remaining candidates on the list. These are concrete additions rather than reductions to earlier theorems. The work stays within standard definitions of Schur rings and orbital rings, so the new claims rest on case-by-case verification of possible basis sets and their fusion properties. That approach is appropriate for the problem and produces checkable statements. The main soft spot is the dependence on the completeness of the 2016 list; any gap there would affect only the global classification, not the standalone correctness of the proofs for the groups treated here. Without the full manuscript the length and tightness of the case divisions cannot be inspected, but the abstract gives no sign of hidden assumptions or incomplete enumeration. This paper is for specialists already working on Schur rings, association schemes, or the classification of groups with restricted Schur ring structures. A reader in that subfield will get usable positive and negative instances plus the methods used to obtain them. It deserves peer review because the claims are narrow, the methods are standard, and the results are falsifiable by direct computation on the groups in question.

Referee Report

0 major / 2 minor

Summary. The manuscript proves that the direct product of the elementary abelian group of order 4 and a cyclic group whose order is an odd prime power or a product of two distinct odd primes is a Schur group (i.e., every Schur ring over the group is the orbital ring of a subgroup of Sym(G) containing the right regular representation). It also establishes nonschurity for certain other groups appearing in the 2016 candidate list of Evdokimov, Kovács and Ponomarenko.

Significance. If the verifications hold, the work supplies concrete positive and negative instances that advance the classification of abelian Schur groups. The direct-product constructions are parameter-free and rest on standard definitions of Schur rings and schurity, providing falsifiable checks against the prior list.

minor comments (2)

[§2] §2: the notation for the basis of the group algebra and the definition of the orbital ring should be restated explicitly before the case analysis begins, to avoid reliance on the 2016 reference for core definitions.
[§3] The proof that C₂×C₂×Cₘ is Schur proceeds by direct verification on the 2016 list; a short table summarizing the fusion of basis elements for each admissible m would improve readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript and for the accurate summary of our results on the schurity of direct products of the elementary abelian group of order 4 with certain cyclic groups, as well as the nonschurity of other groups from the 2016 list. We appreciate the recommendation for minor revision.

Circularity Check

0 steps flagged

No significant circularity; derivation relies on external classification

full rationale

The paper cites the 2016 Evdokimov-Kovács-Ponomarenko list of candidate abelian Schur groups as an external input and then performs direct verification that specific groups (C₂×C₂×Cₘ with m an odd prime power or product of two distinct odd primes) are Schur groups. No equations, definitions, or claims in the derivation chain reduce the schurity proofs to fitted parameters, self-definitions, or self-citation chains. The central results are obtained by case analysis on the listed candidates using standard definitions of Schur rings, without any load-bearing step that collapses to the paper's own inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on the external 2016 classification list together with standard definitions of Schur rings; no free parameters, new entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

domain assumption The 2016 list of candidate abelian Schur groups is complete and accurate.
The paper explicitly takes this list as given and studies schurity of its members.
standard math Standard definitions of Schur ring and schurity apply directly to the groups under consideration.
Invoked throughout the abstract when stating positive and negative results.

pith-pipeline@v0.9.0 · 5433 in / 1292 out tokens · 22027 ms · 2026-05-15T21:58:33.537637+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Classification of abelian Schur groups II
math.CO 2026-05 unverdicted novelty 6.0

Completes the classification of abelian Schur groups by verifying that groups of nonpowerful order from the Evdokimov-Kovács-Ponomarenko list satisfy the Schur property.