Pith. sign in

REVIEW 2 minor 9 references

In any finite p-group, for k < p distinct a's and any b's there always exists a permutation making the products a_i b_σ(i) pairwise distinct.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-06-30 05:00 UTC pith:UQABW5VS

load-bearing objection The paper extends the Feng-Sun-Xiang existence result to non-abelian p-groups via exterior algebra.

arxiv 2606.30506 v1 pith:UQABW5VS submitted 2026-06-29 math.CO math.GR

Exterior Algebra and an Extension of the Feng-Sun-Xiang Theorem in p-groups

Zhi-Wei Sun , Lilu Zhao This is my paper
classification math.CO math.GR
keywords p-groupsexterior algebrapermutationsdistinct productsFeng-Sun-Xiang theoremnon-abelian groupsgroup combinatorics
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper proves that when a finite group G has order exactly a power of a prime p, any collection of fewer than p distinct elements a1 to ak can be matched to an arbitrary collection b1 to bk by some reordering of the b's so that all the products remain distinct. This extends the Feng-Sun-Xiang theorem, which established the same statement only for abelian p-groups. The argument relies on exterior algebra to certify that at least one suitable permutation must exist. A reader would care because the result isolates a combinatorial feature that depends on the prime-power order rather than commutativity.

Core claim

Let G be a finite group with |G|=p^m where p is a prime and m is a positive integer. Let k<p. Let a1,…,ak∈G be pairwise distinct and let b1,…,bk∈G. Then there exists a permutation σ on 1,…,k such that a1b_σ(1),…,akb_σ(k) are pairwise distinct. The statement holds for every such p-group, including non-abelian ones.

What carries the argument

Exterior algebra construction used to encode and guarantee the existence of a collision-free permutation of the products.

Load-bearing premise

The group order must be a power of a single prime p and k must be strictly smaller than p.

What would settle it

Exhibit one p-group G, one k < p, one set of distinct a's, and one set of b's such that every possible rearrangement of the b's produces at least two identical products.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • The matching property holds in every non-abelian p-group as well as every abelian one.
  • The same conclusion applies when the group is the Heisenberg group modulo p or any other non-commutative example of prime-power order.
  • The bound k < p is the natural threshold supplied by the prime p itself.
  • The exterior-algebra method supplies an explicit certificate for the existence of the required permutation.

Where Pith is reading between the lines

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

  • The same style of argument might adapt to other matching problems inside p-groups, such as avoiding repeated sums or avoiding repeated commutators.
  • One could check whether an analogous statement survives when the group is replaced by a p-group with additional structure, such as a p-group of maximal class.
  • The result suggests that certain linear-independence phenomena in the exterior algebra of the group algebra are special to prime-power order.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

0 major / 2 minor

Summary. The manuscript proves an extension of the Feng-Sun-Xiang theorem from abelian to general finite p-groups. Let G be a finite p-group with |G|=p^m. For k<p, given pairwise distinct a1,...,ak in G and arbitrary b1,...,bk in G, there exists a permutation σ such that the products a1 b_σ(1), ..., ak b_σ(k) are pairwise distinct. The proof relies on exterior algebra to manage the non-commutative setting.

Significance. The result supplies a clean combinatorial statement for matchings in p-groups that holds uniformly for abelian and non-abelian cases when k is strictly less than p. The exterior-algebra technique supplies an explicit algebraic construction that avoids case-by-case analysis of commutators, which is a genuine technical contribution. The theorem is falsifiable by direct enumeration in small p-groups and the argument is self-contained within the paper.

minor comments (2)
  1. §2, Definition 2.3: the exterior algebra is introduced over the group algebra F_p[G]; clarify whether the construction is functorial with respect to group homomorphisms or only for the specific module used in the proof.
  2. The statement of the main theorem (Theorem 1.1) repeats the hypothesis |G|=p^m twice; a single sentence suffices.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading and positive evaluation of the manuscript. We are gratified that the referee recognizes the result as a clean combinatorial statement that holds uniformly for abelian and non-abelian p-groups when k < p, and that the exterior-algebra technique is viewed as a genuine technical contribution avoiding case-by-case commutator analysis. We appreciate the recommendation to accept.

Circularity Check

0 steps flagged

No significant circularity; theorem is an independent existence proof

full rationale

The paper states an existence theorem for permutations in p-groups with k < p, extending the abelian case of Feng-Sun-Xiang. The proof is described as using exterior algebra for the non-abelian case. No equations, fitted parameters, self-definitional constructions, or load-bearing self-citations that reduce the claim to its inputs are present in the provided abstract or description. The result is a standard mathematical existence statement with independent content from its assumptions and prior theorem.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Based solely on the abstract; no free parameters, axioms, or invented entities are specified or invoked.

pith-pipeline@v0.9.1-grok · 5633 in / 1050 out tokens · 59946 ms · 2026-06-30T05:00:41.020891+00:00 · methodology

0 comments
read the original abstract

Let $G$ be a finite group with $|G|=p^m$ where $p$ is a prime and $m$ is a positive integer. Let $k<p$. Let $a_1,\ldots,a_k\in G$ be pairwise distinct and let $b_1,\ldots,b_k\in G$. Then there exists a permutation $\sigma$ on $1,\ldots,k$ such that $a_1b_{\sigma(1)},\ldots,a_kb_{\sigma(k)}$ are pairwise distinct. This extends a theorem of Feng, Sun and Xiang, who proved that the conclusion holds in abelian $p$-groups.

discussion (0)

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

Reference graph

Works this paper leans on

9 extracted references

  1. [1]

    Alon,Additive Latin transversals, Israel J

    N. Alon,Additive Latin transversals, Israel J. Math.,117, 125–130, 2000

    2000

  2. [2]

    Arsovski,A proof of Snevily’s conjecture, Israel J

    B. Arsovski,A proof of Snevily’s conjecture, Israel J. Math.,182, 505–508, 2011

    2011

  3. [3]

    Dasgupta, G

    S. Dasgupta, G. K´ arolyi, O. Serra and B. Szegedy,Transversals of additive Latin squares, Israel J. Math.,126, 17–28, 2001

    2001

  4. [4]

    Feng, Z.W

    T. Feng, Z.W. Sun and Q. Xiang,Exterior algebra and two conjectures on finite abelian groups, Israel J. Math., 182, 425–437, 2011

    2011

  5. [5]

    W. D. Gao and D. J. Wang,Additive Latin transversals, Israel J. Math.,140, 375–380, 2004

    2004

  6. [6]

    Hall, Jr.,A combinatorial problem on abelian groups, Proc

    M. Hall, Jr.,A combinatorial problem on abelian groups, Proc. Amer. Math. Soc.,3, 584–587, 1952

    1952

  7. [7]

    D. S. Passman,The Algebraic Structure of Group Rings, John Wiley & Sons, Inc, 1977

    1977

  8. [8]

    H. S. Snevily,The Cayley addition table ofZ n, American Mathematical Monthly,106, 584–585, 1999

    1999

  9. [9]

    Sun,On Snevily’s conjecture and restricted sumsets, Journal of Combinatorial Theory, Series A,103, 291– 304, 2003

    Z.W. Sun,On Snevily’s conjecture and restricted sumsets, Journal of Combinatorial Theory, Series A,103, 291– 304, 2003. (Zhi-Wei Sun)School of Mathematics, Nanjing University, Nanjing, Jiangsu, 210093, P.R. China Email address:zwsun@nju.edu.cn (Lilu Zhao)School of Mathematical Sciences, University of Science and Technology of China, Hefei, Anhui, 230026, ...

    2003