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

Lilu Zhao; Zhi-Wei Sun

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

T0 review · 0 major / 2 minor · reviewed 2026-06-30 · grok-4.3

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

Pith's one-line read 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.

desk verdict The paper extends the Feng-Sun-Xiang existence result to non-abelian p-groups via exterior algebra. read the letter →

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

Zhi-Wei Sun , Lilu Zhao This is my paper · ORCID

classification math.COmath.GR

keywords p-groupsexterioralgebrapermutationsdistinctproductsFeng-Sun-Xiangtheoremnon-abeliangroupsgroupcombinatorics

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

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.

What carries the argument

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

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

Extended reading notes

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.

Load-bearing premise

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

Editorial extensions

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.

Reading between the lines

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.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Desk Editor's Note

read the letter

The main thing here is that the claimed existence of the permutation σ now holds for every finite p-group, abelian or not.

The new piece is the removal of the abelian restriction. Feng-Sun-Xiang handled only the commutative case; this version uses exterior algebra to manage the products a_i b_σ(i) when elements do not commute. That is a direct and useful step.

The paper states the theorem cleanly and points to the algebraic tool that makes the extension work. The retained conditions (group order a p-power, k strictly less than p) match the original result and are necessary for the statement to hold.

A minor soft spot is the narrow scope: nothing is claimed or tested outside p-groups, and the abstract gives no small examples or computational checks. If the full proof has any hidden reliance on extra structure, that would need checking, but nothing in the given claim suggests a load-bearing gap.

The work is aimed at people who already follow combinatorial problems in finite groups or algebraic methods for permutation questions. A reader looking for new applications of exterior algebra in this setting will find something concrete to examine.

It deserves a serious referee. The extension is modest but honest, and the technique is worth seeing in detail.

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)

§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.
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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 0 assumptions · 0 invented entities

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

how reviews work

0 comments

Cite this review

Pith. "Pith review of Exterior Algebra and an Extension of the Feng-Sun-Xiang Theorem in $p$-groups." pith.science (2026). https://pith.science/paper/UQABW5VS

@misc{pith2026260630506,
  author       = {Pith},
  title        = {Pith review of: Exterior Algebra and an Extension of the Feng-Sun-Xiang Theorem in $p$-groups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/UQABW5VS}},
  note         = {Machine review of arXiv:2606.30506}
}

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). Continue with ORCID to comment.

Reference graph

Works this paper leans on

9 extracted references

[1]

Alon,Additive Latin transversals, Israel J

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

2000
[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]

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]

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]

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

2004
[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]

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

1977
[8]

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

1999

Show all 9 references

[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...

2003

Pith tools

Reviewed June 30, 2026 · model on record in the stance chip above.

[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