arxiv: 2605.00810 · v1 · submitted 2026-05-01 · 🧮 math.GR

Recognition: unknown

On the Schur multiplier of p-groups with abelianization s-elementary abelian

Sahanawaj Sabnam, Sumana Hatui, Tony Nixon Mavely

Pith reviewed 2026-05-09 14:18 UTC · model grok-4.3

classification 🧮 math.GR

keywords Schur multiplierp-groupsnilpotency class 2abelianizationspecial p-groupscentral extensionsfinite groups

0 comments

The pith

A method computes the Schur multiplier for finite p-groups of class 2 whose abelianization is a direct product of copies of the cyclic group of order p^s.

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

The paper develops a technique to calculate the Schur multiplier for a specific family of finite p-groups. These groups have nilpotency class exactly two, so that all commutators lie in the center, and the quotient by the commutator subgroup is built as a direct product of identical cyclic groups of order p raised to a fixed power s. The technique generalizes an earlier approach that covered only the case s equals one. A reader would care because the Schur multiplier controls the central extensions of the group and therefore shapes what can be said about its representations and possible coverings. The authors use the method to identify which abelian p-groups can appear as multipliers of non-abelian p-groups and to define and study a new family of s-special p-groups, including explicit multiplier calculations when the rank is one.

Core claim

We describe a method to compute the Schur multiplier of finite p-groups G of nilpotency class 2 such that G/[G,G] is isomorphic to the direct product of copies of Z_{p^s} for s a natural number, generalizing a method of Blackburn and Evens who treated the case s=1. As an application we investigate which abelian p-groups can occur as the Schur multiplier of a non-abelian p-group. We further introduce the notions of s-special p-groups of rank k generalizing the notion of special p-groups of rank k, study the structural properties, and compute the Schur multipliers of s-special p-groups of rank 1.

What carries the argument

The generalized method for computing the Schur multiplier that reduces the problem using the nilpotency class being exactly two and the abelianization being a direct product of identical cyclic p^s-groups.

If this is right

The Schur multipliers for this broader family of class-two p-groups can be determined explicitly.
Restrictions appear on which abelian p-groups can arise as Schur multipliers of non-abelian p-groups.
s-special p-groups of rank k are introduced and their basic structural properties are established.
Explicit values for the Schur multipliers of s-special p-groups of rank 1 are obtained.

Where Pith is reading between the lines

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

The explicit multipliers for rank-one s-special groups supply concrete test cases for conjectures on the possible orders of Schur multipliers in p-groups.
The same reduction steps might suggest recursive patterns when the method is applied to higher-rank s-special groups.
The technique supplies new families of central extensions whose properties can be compared directly with those arising from extraspecial groups.

Load-bearing premise

The p-groups under study must have nilpotency class exactly two and their abelianization must be a direct product of copies of the cyclic group of order p to the power s.

What would settle it

For a concrete small example such as a p-group of order p^5 with class exactly two and abelianization Z_{p^s} times Z_{p^s}, an independent calculation via the Hopf formula yields a different multiplier than the one produced by the described method.

read the original abstract

Let $p$ be an odd prime. We describe a method to compute the Schur multiplier of finite $p$-groups $G$ of nilpotency class $2$ such that $G/[G,G]$ is isomorphic to direct product of copies of $\mathbb{Z}_{p^s}$ for $s \in \mathbb{N}$, generalizing a method of Blackburn and Evens, who treated the case $s=1$. As an application, we investigate which abelian $p$-groups can occur as the Schur multiplier of a non-abelian $p$-group. We further introduce the notions of $s$-special $p$-groups of rank $k$ generalizing the notion of special $p$-groups of rank $k$. We study the structural properties, compute the Schur multipliers of $s$-special $p$-groups of rank $1$.

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

This extends Blackburn-Evens to class-2 p-groups with abelianization of exponent p^s for any s, plus a definition of s-special groups and explicit multiplier calculations for the rank-1 case.

read the letter

The main takeaway is a direct generalization of the Blackburn-Evens presentation for Schur multipliers to the case where the abelianization is a direct sum of copies of Z_{p^s} rather than just elementary abelian. The authors adapt the commutator calculus and relations accordingly for odd p and nilpotency class exactly 2, then apply the method to s-special p-groups of rank 1, where they obtain explicit descriptions of the multiplier. They also ask which abelian p-groups can arise as multipliers of non-abelian ones, which follows naturally from the setup. The new definition of s-special groups is a straightforward lift of the usual special p-group notion and lets them control the structure of the commutator and center in a uniform way. The computations for rank 1 look concrete and usable for small examples. The logic tracks the original Blackburn-Evens approach without visible circularity or unjustified steps, and the restrictions (odd p, class 2, uniform exponent s on the abelianization) are stated up front and respected throughout. The soft spots are limited. The work stays inside the class-2, odd-p regime, so it leaves aside the even-prime and higher-class cases that often require separate handling. The application to possible multipliers is stated but not exhaustively classified beyond the rank-1 computations. Higher-rank s-special groups are defined but not fully worked out here. Overall the evidence is the generalization itself plus the explicit rank-1 results, which is enough to make the claims checkable. This is for researchers who compute or classify multipliers inside finite p-groups. A reader already familiar with Blackburn-Evens will see the extension quickly and can test the formulas on small groups. It deserves peer review because the method is constructive and the new objects are cleanly motivated, even though the scope remains narrow.

Referee Report

2 major / 2 minor

Summary. The paper describes a method to compute the Schur multiplier of finite p-groups G of nilpotency class exactly 2 (p odd) whose abelianization is a direct product of copies of Z_{p^s} (s ≥ 1), generalizing the Blackburn-Evens presentation and commutator calculus from the s=1 case. It applies the method to determine which abelian p-groups arise as Schur multipliers of non-abelian p-groups, introduces the auxiliary notion of s-special p-groups of rank k, and computes the multipliers explicitly for the rank-1 case.

Significance. If the generalized method is valid and yields explicit formulas, the work would supply a concrete computational tool for a natural family of class-2 p-groups and give new information on the image of the Schur-multiplier map on non-abelian p-groups. The introduction of s-special groups may also prove useful for structural questions about p-groups with uniform exponent on the abelianization. No machine-checked proofs or reproducible code are mentioned.

major comments (2)

[Abstract / §1] Abstract and §1: the central claim is the existence of a 'method' obtained by generalizing Blackburn-Evens, yet no explicit presentation, no formula for the multiplier, and no worked example appear in the abstract or introduction. Without these, the soundness of the extension to s > 1 cannot be verified from the supplied text.
[§3] §3 (application): the statement that the method determines 'which abelian p-groups can occur as the Schur multiplier' is not accompanied by a list of admissible groups or a proof that the list is exhaustive; the precise output of the method must be stated explicitly.

minor comments (2)

[§2] The definition of 's-special p-group of rank k' should be placed in a dedicated subsection with a clear comparison to the classical special p-group (exponent p, |G'|=p) to avoid ambiguity when s>1.
[Throughout] Notation for the abelianization (direct product vs. direct sum) should be standardized throughout; the abstract uses 'direct product' while later text may switch to additive notation.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for identifying points where the presentation of the method and its applications can be clarified. We address each major comment below and indicate the revisions we will make.

read point-by-point responses

Referee: [Abstract / §1] Abstract and §1: the central claim is the existence of a 'method' obtained by generalizing Blackburn-Evens, yet no explicit presentation, no formula for the multiplier, and no worked example appear in the abstract or introduction. Without these, the soundness of the extension to s > 1 cannot be verified from the supplied text.

Authors: The full generalization of the Blackburn-Evens presentation, including the explicit relations and commutator calculus adapted to the s-elementary abelian case, is developed in detail in Section 2. The abstract and introduction provide a high-level summary of the approach and its applications, consistent with standard practice for such papers. We agree that a brief outline of the key steps of the method together with a small worked example (e.g., for s=2 and small rank) would make the extension to s>1 more immediately verifiable. We will revise the introduction in §1 to include such an outline and example. revision: yes
Referee: [§3] §3 (application): the statement that the method determines 'which abelian p-groups can occur as the Schur multiplier' is not accompanied by a list of admissible groups or a proof that the list is exhaustive; the precise output of the method must be stated explicitly.

Authors: In §3 we apply the method to the family of s-special p-groups of rank 1, obtain explicit formulas for their Schur multipliers, and derive necessary conditions on the abelian groups that can arise as multipliers for non-abelian groups in this class. The manuscript does not claim an exhaustive classification of all abelian p-groups that can occur as Schur multipliers of arbitrary non-abelian p-groups; the investigation is restricted to the groups under consideration. We will revise the wording in §3 (and the corresponding sentence in the abstract) to state the precise output of the computations explicitly and to clarify that the results provide necessary conditions rather than a complete list. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation generalizes external method

full rationale

The paper generalizes the Blackburn-Evens presentation and commutator calculus (an external reference) to the case of s>1 for class-2 p-groups with uniform abelianization exponent p^s. No load-bearing step reduces by definition, fitted input, or self-citation chain to the paper's own outputs; the restrictions are stated explicitly and the application to s-special groups of rank 1 follows from the generalized construction without circular renaming or imported uniqueness. The central claim remains a constructive extension with independent content.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper rests on the standard definitions of Schur multiplier, nilpotency class, and p-group abelianization; it introduces the new notion of s-special p-groups without supplying independent evidence for their utility beyond the computations performed.

axioms (2)

standard math The Schur multiplier is defined via the Hopf formula or as H_2(G,Z) for any group G.
Invoked implicitly when the authors speak of computing the Schur multiplier.
domain assumption p is an odd prime and all groups considered are finite p-groups of class at most 2.
Stated at the beginning of the abstract as the setting for the method.

invented entities (1)

s-special p-group of rank k no independent evidence
purpose: Generalization of the classical special p-group that allows the exponent of the abelianization to be p^s rather than p.
New definition introduced in the paper; no external reference or independent construction is mentioned.

pith-pipeline@v0.9.0 · 5460 in / 1517 out tokens · 37871 ms · 2026-05-09T14:18:02.411893+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

15 extracted references

[1]

F. R. Beyl, U. Felgner, and P. Schmid,On groups occurring as center factor groups, J. Algebra61(1979), no. 1, 161–177. MR 554857 25

1979
[2]

Blackburn and L

N. Blackburn and L. Evens,Schur multipliers ofp-groups, J. Reine Angew. Math.309(1979), 100–113. MR 542041

1979
[3]

R. D. Blyth and R. F. Morse,Computing the nonabelian tensor squares of polycyclic groups, J. Algebra321(2009), no. 8, 2139–2148. MR 2501513

2009
[4]

Brown and J-L

R. Brown and J-L. Loday,Van Kampen theorems for diagrams of spaces, Topology26(1987), no. 3, 311–335, With an appendix by M. Zisman. MR 899052

1987
[5]

Douglas,On the existence of a basis for every finite Abelian group, Proc

J. Douglas,On the existence of a basis for every finite Abelian group, Proc. Nat. Acad. Sci. U.S.A.37(1951), 359–362. MR 43081

1951
[6]

Hatui, L

S. Hatui, L. R. Vermani, and M. K. Yadav,The Schur multiplier of central product of groups, J. Pure Appl. Algebra222(2018), no. 10, 3293–3302. MR 3795646

2018
[7]

M. R. Jones,Some inequalities for the multiplicator of a finite group. II, Proc. Amer. Math. Soc.45(1974), 167–172. MR 352254

1974
[8]

Karpilovsky,The Schur multiplier, London Mathematical Society Monographs.NewSeries, vol.2, TheClarendonPress, OxfordUniversity Press, New York, 1987

G. Karpilovsky,The Schur multiplier, London Mathematical Society Monographs.NewSeries, vol.2, TheClarendonPress, OxfordUniversity Press, New York, 1987. MR 1200015

1987
[9]

E. I. Khukhro and V. D. Mazurov (eds.),The Kourovka notebook, nine- teenth ed., Sobolev Institute of Mathematics. Russian Academy of Sci- ences. Siberian Branch, Novosibirsk, 2018, Unsolved problems in group theory, March 2019 update. MR 3981599

2018
[10]

N. H. McCoy,Remarks on divisors of zero, Amer. Math. Monthly49 (1942), 286–295. MR 6150

1942
[11]

B. R. McDonald,Linear algebra over commutative rings, Monographs and Textbooks in Pure and Applied Mathematics, vol. 87, Marcel Dekker, Inc., New York, 1984. MR 769104

1984
[12]

Miller,The second homology group of a group; relations among com- mutators, Proc

C. Miller,The second homology group of a group; relations among com- mutators, Proc. Amer. Math. Soc.3(1952), 588–595. MR 49191

1952
[13]

P. K. Rai,On the Schur multiplier of specialp-groups, J. Pure Appl. Algebra222(2018), no. 2, 316–322. MR 3694455 26

2018
[14]

,On the occurrence of elementary abelianp-groups as the Schur multiplier of non-abelianp-groups, C. R. Math. Acad. Sci. Paris361 (2023), 803–806. MR 4588255

2023
[15]

N. R. Rocco,On a construction related to the nonabelian tensor square of a group, Bol. Soc. Brasil. Mat. (N.S.)22(1991), no. 1, 63–79. MR 1159385 27

1991