REVIEW 3 major objections 4 minor 11 references
On the Replacement Property for PSL(2, p)
T0 review · 3 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper claims a complete classification of the replacement property for PSL(2,p), holding exactly for four exceptional primes and for primes congruent to $\pm3$ modulo 8 and $\pm3$ modulo 10.
desk verdict The theorem is likely correct and the reader's main objection is mathematically false; the paper deserves full refereeing despite some too-compressed proofs. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is a sequence of maximal subgroups in general position together with its radical. A sequence $S=(M_1,M_2,M_3)$ is in general position when no $M_j$ contains the intersection of the other two, mirroring hyperplanes in general position, and its radical is $\operatorname{rad}(S)=M_1\cap M_2\cap M_3$. Proposition 3.1 shows that a non-trivial element of $\operatorname{rad}(S)$ can never replace any generator of a corresponding irredundant generating sequence, so a non-trivial radical is exactly the obstruction to the replacement property. The classification of maximal subgroups of $\mathrm{PSL}(2,p)$ (the types $\mathbb{Z}_p\rtimes\mathbb{Z}_{(p-1)/2}$, $D_{p-1}$, $D_{p+1}$, $A_4$, $A_5$, and $S_4$, each appearing under the congruence conditions of Theorem 3.3) reduces the obstruction to a finite case check. In the failure regimes, the third subgroup $M_2$ is chosen as the centralizer of an involution $w$ that lies in a Klein four-group inside each of the two intersecting $S_4$ or $A_5$ subgroups; this centralizer is what makes the replacement property fail.
What would settle it
For a prime $p\equiv1$ mod 8, take two maximal subgroups $M_1$ and $M_3$ of $\mathrm{PSL}(2,p)$ isomorphic to $S_4$ whose intersection is isomorphic to $S_3$. List the three involutions of that $S_3$ and test whether any one of them belongs to a Klein four-subgroup of $M_1$ and also to a Klein four-subgroup of $M_3$. If no involution passes both tests, the centralizer construction of Proposition 3.12 is impossible, and the claimed failure of the replacement property for these primes would need a different witness.
Extended reading notes
Core claim
The main claim is Theorem 1.1: for every prime $p>5$, the group $G=\mathrm{PSL}(2,p)$ satisfies the replacement property if $p\in\{7,11,19,31\}$, and for all other primes it satisfies the property exactly when $p\equiv3$ or $p\equiv-3$ mod 8 and $p\equiv3$ or $p\equiv-3$ mod 10. The engine of the proof is an equivalence, Proposition 3.1: $G$ satisfies RP if and only if every sequence of maximal subgroups in general position that corresponds to an irredundant generating sequence of length $m(G)$ has trivial radical, where the radical is the common intersection of the subgroups. Using the classification of maximal subgroups of $\mathrm{PSL}(2,p)$, the paper splits the primes into two regimes: when $p\equiv\pm3$ modulo 8 and modulo 10, the only available maximal subgroups are $\mathbb{Z}_p\rtimes\mathbb{Z}_{(p-1)/2}$, $D_{p-1}$, $D_{p+1}$, and $A_4$, and no such triple with non-trivial radical exists; when $p\equiv\pm1$ modulo 8 or modulo 10, the paper constructs an explicit triple $M_1,M_2,M_3$ in general position with non-trivial radical, producing an involution that cannot replace any of the corresponding three generators. This establishes both directions of the classification, together with the sharper statement that any witness to failure has order 2 or 3.
Load-bearing premise
The proof of the failure cases requires that an involution in the intersection of two $S_4$ (or $A_5$) maximal subgroups be contained in a Klein four-group inside each of the two subgroups, so that a third maximal subgroup can be taken as its centralizer; if no such involution exists, the constructed witness sequence does not exist and the negative half of the classification loses its proof.
Editorial extensions
If this is right
- The replacement property for $\mathrm{PSL}(2,p)$ is now completely known for all primes $p>5$, so any future computation or conjecture about this family must agree with the congruence criterion.
- Because every witness to failure has order 2 or 3, only involutions and elements of order three can obstruct exchange; elements of order $p$, 4, or 5 never do.
- For primes $p\equiv\pm1$ modulo 8, the explicit $S_4$–$S_3$–$S_4$ construction gives a concrete irredundant generating sequence of length three that fails to admit the involution $w$, so the failure is constructive rather than merely existential.
- For $p\in\{7,11,19,31\}$, the group has maximal irredundant generating length 4, and the proof that all length-4 maximal-subgroup sequences have trivial radical shows the replacement property holds despite the larger value of $m(G)$.
- In the positive regime $p\equiv\pm3$ modulo 8 and modulo 10, every irredundant generating sequence of length 3 is exchangeable for every non-trivial element, so the Steinitz analogue holds in the strongest possible sense for these groups.
Reading between the lines
- The congruence criterion implies a clean density statement: under the usual prime number theorem for arithmetic progressions, asymptotically one quarter of all primes satisfy the replacement property and three quarters fail, since the allowed residues occupy four of the sixteen reduced residue classes modulo 40.
- The construction suggests a general mechanism for failure: if two maximal subgroups of a finite simple group intersect in a subgroup whose involutions sit inside a Klein four-group of each of the two subgroups, then the centralizer of such an involution is a natural candidate for a third maximal subgroup producing a non-trivial radical; searching for this configuration in other rank-one simple gro
- The proof strategy should transfer to $\mathrm{PSL}(2,q)$ for prime powers $q$, where the same maximal-subgroup classification is available; a congruence classification over finite fields would be a direct next step and a test of whether the modulo 8 and modulo 10 pattern is special to prime fields.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to settle the replacement property for the finite simple groups PSL(2,p), p>5, giving a complete congruence classification: the property holds for p in {7,11,19,31} and for primes congruent to ±3 modulo 8 and ±3 modulo 10, and fails for all other primes. The proof uses the Dennis--Collins radical criterion (Proposition 3.1), Jambor's computation of the maximal irredundant generating length, Dickson's classification of maximal subgroups, and King's subgroup counts. The negative direction constructs, for primes congruent to ±1 modulo 8 or ±1 modulo 10, triples of maximal subgroups in general position with nontrivial intersection, hence witnesses to failure. The positive direction attempts to show that in the remaining congruence classes no such triple exists. The specific objection raised in the accompanying review against Proposition 3.12 is based on a false premise: in S4, the centralizer of a transposition is a four-group that contains the transposition together with another odd involution and a double transposition, so an involution of an S3 intersection can indeed lie in unique four-subgroups of two S4's. However, several other parts of the proof have substantial gaps that need attention.
Significance. If the main theorem is correct, it is a valuable and complete classification result for a natural group-theoretic analogue of Steinitz exchange, confirming and extending earlier work of Nachman and Lam. The conceptual framework---reducing the replacement property to the vanishing of radicals of maximal-subgroup sequences in general position---is attractive, and the explicit negative constructions in Proposition 3.12 are concrete and checkable. The paper draws on external results (Jambor, Dickson, King, Nachman) rather than fitting parameters, and the stated theorem is falsifiable in the sense that the congruence classes can be tested computationally. The main obstacles to acceptance are proof gaps in the positive direction and in two supporting claims, not the construction singled out by the attached review.
major comments (3)
- [§3, Proposition 3.7, Eqs. (3.1)--(3.2)] The centralizer equality asserted in (3.1)--(3.2) is not proved and is not a direct consequence of maximality. For an element x in the intersection of two maximal subgroups of the allowed types, the proof asserts C_{M1}(x)=C_{M2}(x)=M1∩M2=C_G(x), but this requires that C_G(x) is contained in M1 and M2 and that the intersection of the two maximal subgroups is exactly the relevant centralizer; none of this is established. The later step 'by the argument above we have M1∩M2=M1∩M3=rad(S)' is also not a logical consequence unless the elements chosen in M1∩M2 and M1∩M3 are known to coincide. Moreover, the case analysis does not explicitly cover all mixed triples among Borel, D_{p-1}, and D_{p+1}. Since Proposition 3.7 is the entire positive half of Theorem 1.1 and also feeds Corollary 3.8, this gap is load-bearing and needs a complete repair.
- [§3, Corollary 3.9] The final inference of Corollary 3.9 is a non sequitur as written. From the claim that every length-3 sequence of maximal subgroups in general position with nontrivial radical has radical Z2 or Z3, it does not follow that every length-4 sequence has trivial radical: a length-4 sequence with nontrivial radical would restrict to length-3 subsequences whose radicals contain the common intersection, and the stated observation does not rule this out. An additional argument is required, or the proof should explicitly rely on Nachman's theorem [10] for the isolated primes. As it stands, the paper's own proof of Theorem 1.1 for p=7,11,19,31 is incomplete.
- [§3, Proposition 3.14] The proposition begins by asserting that 'a similar argument' shows the existence of three maximal subgroups M1≅D_{p∓1}, M2≅A5, M3≅A5 with the very specific intersections M2∩M3≅A4, M1∩M3≅S3, M1∩M2≅S3, and radical Z3. No construction or counting argument is supplied, and this configuration is not a consequence of Lemma 3.11 alone. The claim is needed for the 'if' direction of Proposition 3.14 and hence for Theorem 1.2, so it cannot be left as an unproved assertion.
minor comments (4)
- [§2, Lemma 3.5] The statement of condition 2 in Lemma 3.5 is confusingly phrased ('2 distinct chains of nontrivial subgroups of length at least 3'); it would help to spell out that the two chains are those with middle terms M1∩M2 and M3∩M2, and that distinctness follows from the general-position assumption.
- [§3, Corollary 3.8] The ruling out of order-4 witnesses is dismissed with 'by the same argument'; the S4 analogue should be written out explicitly, since the normalizer of a cyclic subgroup of order 4 in S4 is a D8 and the contradiction with general position requires this normalizer to be unique.
- [§3, Proposition 3.12] The phrase 'plus or minus sign according to p≡±1 mod 8' is imprecise; the authors should state explicitly which of D_{p-1} or D_{p+1} is the centralizer of the chosen involution for each congruence class, and why that subgroup is maximal and contains both A and B.
- [Throughout] There are several typographical and formatting issues: 'straight forward' should be 'straightforward', the notation for Z_{(p-1)/2} is typeset inconsistently, and some displayed formulas use awkward spacing (e.g., '1 ⁄='). A careful copyedit would improve readability.
Circularity Check
No circularity: the central claim is derived from external classification theorems, not from itself.
full rationale
The paper's derivation chain is self-contained in the sense required by the circularity check. Theorem 1.1 is proved from Proposition 3.1 (an external Dennis-Collins radical criterion), Theorem 3.2 (Jambor's computation of m(PSL(2,p))), Theorem 3.3 (Dickson's classification of maximal subgroups of PSL(2,p)), and Lemma 3.10 (King's subgroup counts). Each of these is an input external to the paper; the target replacement-property classification is not used as an assumption anywhere. The positive direction (Proposition 3.7) enumerates the possible maximal subgroup types under the congruence hypotheses and rules out general-position triples with nontrivial radical; the negative direction (Proposition 3.12) constructs explicit maximal triples and corresponding irredundant generating sequences using subgroup intersections whose existence is proven by counting (Lemma 3.11), not assumed. There are no fitted parameters or data-fitting steps, and the isolated primes 7,11,19,31 are handled by Nachman's prior result and Jambor's m=4 computation. The only potentially questionable steps are mathematical gaps (e.g., the brevity of Corollary 3.9), but a gap is not circularity. No self-citation is load-bearing, and no part of the argument defines a quantity in terms of the very result it is meant to prove. Thus the score is 0.
Assumptions & free parameters
assumptions (4)
- standard math m(PSL(2,p)) = 3 for p > 5, except p in {7,11,19,31} where m = 4.
- standard math Dickson's classification of maximal subgroups of PSL(2,p), as stated in Theorem 3.3.
- standard math King's subgroup-count results (Lemma 3.10) and the existence and uniqueness of the dihedral centralizer D_{p-1} or D_{p+1} containing the chosen four-groups.
- domain assumption The Dennis-Collins criterion (Proposition 3.1): RP holds iff every maximal subgroup sequence in general position that corresponds to an irredundant generating sequence has trivial radical.
Cite this review
Pith. "Pith review of On the Replacement Property for PSL(2, p)." pith.science (2026). https://pith.science/paper/IASEVG6V
@misc{pith2026190806511,
author = {Pith},
title = {Pith review of: On the Replacement Property for PSL(2, p)},
year = {2026},
howpublished = {\url{https://pith.science/paper/IASEVG6V}},
note = {Machine review of arXiv:1908.06511}
}
read the original abstract
The replacement property (or Steinitz Exchange Lemma) for vector spaces has a natural analog for finite groups and their generating sets. For the special case of the groups PSL(2, p), where p is a prime larger than 5, first partial results concerning the replacement property were published by Benjamin Nachman [7]. The main goal of this paper is to provide a complete answer for PSL(2, p).
Reference graph
Works this paper leans on
-
[10]
Generating sequences of PSL(2 , p)
Benjamin Nachman. Generating sequences of PSL(2 , p). J. Group Theory , 17(6):925– 945, 2014
work page 2014
-
[1]
Peter J. Cameron and Philippe Cara. Independent generating sets and geometries for symmetric groups. J. Algebra, 258:641–650, 2002
work page 2002
-
[2]
Generating Sequences of Finite Groups Senior Thesis , 2010
Dan Collins. Generating Sequences of Finite Groups Senior Thesis , 2010
work page 2010
-
[3]
Linear groups: With an exposition of the Galois field theory
Leonard Eugene Dickson. Linear groups: With an exposition of the Galois field theory . with an introduction by W. Magnus. Dover Publications, Inc., New York, 1958
work page 1958
-
[4]
GAP – Groups, Algorithms, and Programming, Version 4.9.2 , 2018
The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.9.2 , 2018
work page 2018
-
[5]
The minimal generating sets of PSL(2 , p) of size four
Sebastian Jambor. The minimal generating sets of PSL(2 , p) of size four. LMS J. Comput. Math., 16:419–423, 2013
work page 2013
-
[6]
Oliver H. King. The subgroup structure of finite classical groups in terms of geometric configurations. In Surveys in combinatorics 2005 , volume 327 of London Math. Soc. Lecture Note Ser., pages 29–56. Cambridge Univ. Press, Cambridge, 2005
work page 2005
-
[7]
Edward A. Komissartschik and Sergey V. Tsaranov. Intersections of maximal subgroups in simple groups of order less than 10 6. Communications in Algebra, 14(9):1623–1678, 1986
work page 1986
Show all 11 references
-
[8]
Hy P. G Lam. The Replacement Property of PSL(2 , p) and PSL(2 , p2). arXiv e-prints, page arXiv:1709.08745, September 2017
2017 arXiv
-
[9]
Lucchini
A. Lucchini. Finite soluble groups satisfying the replacement property. arXiv e-prints, page arXiv:1710.00582, October 2017
2017 arXiv
-
[11]
An interpolation theorem for irredundant bases of closure structures
Alfred Tarski. An interpolation theorem for irredundant bases of closure structures. Discrete Math., 12:185–192, 1975. 10 Department of Mathematics, University of Oviedo Department of Mathematics, Cornell University (2018 SPUR/REU) E-mail address: davidcuetonoval@gmail.com Dep...
1975
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.