REVIEW 3 major objections 3 minor 8 references
On an extension of Shlyk's theorem
T0 review · 3 major / 3 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For every finite non-solvable group, the intersection of all non-nilpotent maximal subgroups that contain the normalizer of some Sylow subgroup is nilpotent.
desk verdict Theorem 1.2 is a plausible extension of Shlyk, but the proof's Case (2) has a genuine gap that is likely fixable. 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 machinery is the subgroup N together with a Frattini-argument chain N_G(P) ≤ N_G(P∩N). For each Sylow subgroup P of G, the intersection P∩N is a Sylow subgroup of the normal subgroup N; the key dichotomy is that either P∩N is normal in G or its normalizer is contained in a nilpotent maximal subgroup. The final step relies on the theorem that nilpotent maximal subgroups of a non-solvable group have even order, which forces their Sylow 2-subgroups to be Sylow in G and makes all nilpotent maximal subgroups conjugate, allowing all Sylow subgroups of N to be placed inside a single nilpotent subgroup.
What would settle it
Search the finite non-solvable groups of small order, such as A5, S5, and GL(3,2), by computing all maximal subgroups, retaining those that are non-nilpotent and contain the normalizer of some Sylow subgroup, and checking whether their intersection is nilpotent. A single non-nilpotent intersection would refute Theorem 1.2; the theorem asserts that none exists.
Extended reading notes
Core claim
The central claim is Theorem 1.2: for a finite non-solvable group G, the intersection N of all non-nilpotent maximal subgroups of G that contain the normalizer of some Sylow subgroup is nilpotent. The paper proves this by showing N is normal in G, then for any Sylow subgroup P of G that P∩N is a Sylow subgroup of N, and that either P∩N is normal in G or its normalizer is contained in a nilpotent maximal subgroup. Using the fact that nilpotent maximal subgroups of a non-solvable group have even order and that their Sylow 2-subgroups are therefore Sylow in G, the proof concludes all nilpotent maximal subgroups are conjugate, embeds every Sylow subgroup of N into a single nilpotent maximal subgroup, and deduces that the Sylow subgroups of N pairwise commute. Hence N is nilpotent.
Load-bearing premise
The proof depends on the unstated premise that if a Sylow subgroup P of G is non-normal, then its intersection with the subgroup N is also non-normal, and later it also assumes a nilpotent maximal subgroup exists; if either fails, the proof's case split collapses.
Editorial extensions
If this is right
- If Theorem 1.2 is correct, every finite non-solvable group carries a canonically defined normal nilpotent subgroup N obtained by intersecting the non-nilpotent maximal subgroups that contain a Sylow normalizer.
- Because the family intersected in Theorem 1.2 is a subclass of the family used in Shlyk's theorem, the result is stronger in the sense that a potentially larger intersection is still nilpotent.
- The proof yields, as a byproduct, that all nilpotent maximal subgroups of a non-solvable group are conjugate, a structural fact that other arguments about subgroup lattices could use.
- The companion result, Theorem 1.3, extends the same technique to show the intersection of normalizers of all non-normal Sylow subgroups of a non-nilpotent group is nilpotent.
Reading between the lines
- Inference: If the theorem holds, the subgroup N is a nontrivial normal nilpotent subgroup in many non-solvable groups, so it could serve as a first obstruction in a classification of groups that admit no such intersection.
- Inference: The proof's reliance on a nilpotent maximal subgroup suggests that a uniformly valid proof would need a separate argument for groups like A5 where no nilpotent maximal subgroup exists; the theorem itself does not address that branch explicitly.
- Inference: A natural testable refinement is whether the same conclusion remains true when 'normalizer of some Sylow subgroup' is replaced by 'normalizer of any subgroup of prime-power order', a question the paper does not consider.
- Inference: The paper does not spell out, but it would follow directly, that the intersection N is invariant under automorphisms of G because it is defined purely in terms of maximal-subgroup and Sylow-normalizer data.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves two results. Theorem 1.2 asserts that the intersection of all non-nilpotent maximal subgroups of a finite non-solvable group G that contain the normalizer of some Sylow subgroup is nilpotent. The proof in Section 2 attempts to show that every Sylow subgroup of this intersection N lies in some nilpotent maximal subgroup, that all nilpotent maximal subgroups are conjugate, and hence that N is nilpotent. Theorem 1.3 asserts that the intersection of normalizers of all non-normal Sylow subgroups of a non-nilpotent group is nilpotent. The proof of Theorem 1.3 appears sound, but the proof of Theorem 1.2 has load-bearing gaps, including a false intermediate assertion, so the main theorem is not established by this manuscript.
Significance. If Theorem 1.2 were proved correctly, it would be a natural extension of Shlyk's theorem and Shidov's theorem on intersections of maximal subgroups, and it would add to the known results on nilpotency of such intersections. Theorem 1.3 is a modest but valid additional result. However, the main theorem's proof contains a false claim about the existence of nilpotent maximal subgroups: for G=A5×C7 the intersection N is nontrivial while G has no nilpotent maximal subgroup, contradicting the proof's intermediate conclusion. The paper therefore does not currently deliver its central claim.
major comments (3)
- [Section 2, Case (2)] The step 'If there exists a P_j ... such that P_j⋬G. Then there exists a nilpotent maximal subgroup M of G such that N_G(P_j)≤M' is not justified by the preliminary claim. The preliminary claim's second alternative requires P_j∩N⋬G, but the proof only assumes P_j⋬G. The implication 'P_j∩N is normal' from 'P_j is non-normal' is false in general: in S4, a Sylow 2-subgroup P is non-normal while P∩V4=V4 is normal; the same phenomenon occurs in non-solvable groups (e.g., A5×C2 with N=C2). No property of the specific intersection N in Theorem 1.2 is used to exclude this, so the conclusion that every Sylow subgroup of N is contained in some nilpotent maximal subgroup is unsupported.
- [Section 2, cases (1) and (2), transition to 'some nilpotent maximal subgroup'] The proof derives the existential statement 'every Sylow subgroup of N is contained in some nilpotent maximal subgroup of G' from the universal statement in Case (1) 'contained in any nilpotent maximal subgroup of G'. This inference requires the existence of at least one nilpotent maximal subgroup, which is never proved. In fact, for G=A5×C7, the maximal subgroups of G are A5×1, A4×C7, D10×C7, and S3×C7; the normalizers of Sylow 2-, 3-, and 5-subgroups are A4×C7, S3×C7, and D10×C7 respectively, and the Sylow 7-normalizer is the whole group. Hence the intersection N in Theorem 1.2 is C7, while none of the maximal subgroups is nilpotent. Thus the asserted existence of a nilpotent maximal subgroup containing the Sylow 7-subgroup of N is false, even though the theorem's conclusion (N nilpotent) holds for this group. This is a fundamental flaw in the proof strategy, not a missing detail.
- [Section 2, first paragraph] The proof begins by asserting that G has non-nilpotent maximal subgroups containing the normalizer of some Sylow subgroup, citing [5, Theorem 1.3], an unpublished preprint by the same authors. This existence is load-bearing: if the set were empty, the intersection in Theorem 1.2 would be G itself and the theorem would fail. Since the cited result is not proved or published in a peer-reviewed venue, the proof is not self-contained at a critical point. The authors should either prove this existence directly or provide a published reference.
minor comments (3)
- [Throughout] The notation 'N_G(P)' is sometimes written as 'NG(P)' or 'N G(P)' in the typeset text; please standardize it.
- [Section 2, paragraph after Case (2)] The word 'maixmal' should be 'maximal' in the sentence 'some nilpotent maixmal subgroup R of G'.
- [Section 2, Case (1)] The statement 'Since G is non-solvable, one has P_i≤T' for a normal Sylow p-subgroup P_i and a nilpotent maximal subgroup T is not immediate from the cited material; a short justification (if P_i not ≤T, then G=P_iT and G/P_i is nilpotent, forcing G solvable) would improve readability.
Circularity Check
One localized load-bearing self-citation for non-emptiness of the defining intersection; the rest of the derivation is independent, though it contains non-circular mathematical gaps.
-
self citation load bearing
[Section 2, Proof of Theorem 1.2, first sentence]
"Since G is non-solvable, G must have non-nilpotent maximal subgroups containing the normalizer of some Sylow subgroup by [5, Theorem 1.3]."
This step invokes [5, Theorem 1.3], an arXiv preprint by the same authors (J. Shi and F. Xu), to guarantee that the family of maximal subgroups defining N is non-empty. The cited result is load-bearing: if that family were empty, the intersection N would be G (or undefined), and Theorem 1.2 would be false for non-solvable G. The paper supplies no independent proof of this existence fact, and the cited preprint is not machine-checked, code-reproduced, or otherwise verified independently in the paper. The rest of the proof does not depend on [5], so the circularity is confined to this existence step rather than the nilpotency derivation.
full rationale
The main derivation of Theorem 1.2 is not circular in a fitting or definitional sense: once the relevant maximal subgroups are known to exist, the argument manipulates normalizers, Sylow subgroups, and conjugation directly. The only self-citation that is load-bearing is the use of [5, Theorem 1.3] to assert non-emptiness of the intersection defining N; [6] and [2] are also by overlapping authors but are used only in the introduction and do not support the proof. The proof does contain serious non-circular gaps: in Case (2), the paper concludes that a non-normal Sylow subgroup P_j yields a nilpotent maximal subgroup M with N_G(P_j) ≤ M, but the preliminary claim only produces M from N_G(P_j ∩ N) when P_j ∩ N is non-normal, and that condition is not established; also, the sentence 'Let L be any nilpotent maximal subgroup of G' assumes such a subgroup exists, which is false for A5. These are correctness risks, not circularity, because they do not reduce the theorem to its own inputs. The circularity score is therefore 4: one self-citation is load-bearing, but the central claim retains independent mathematical content.
Assumptions & free parameters
assumptions (4)
- domain assumption All groups considered are finite.
- domain assumption Every non-solvable group has a non-nilpotent maximal subgroup containing the normalizer of some Sylow subgroup ([5, Theorem 1.3]).
- standard math In a non-solvable group every nilpotent maximal subgroup has even order (Robinson, Theorem 10.4.2).
- ad hoc to paper A normal p-subgroup of a non-solvable G is contained in every nilpotent maximal subgroup of G.
Cite this review
Pith. "Pith review of On an extension of Shlyk's theorem." pith.science (2026). https://pith.science/paper/MM6DLQOT
@misc{pith2026250602885,
author = {Pith},
title = {Pith review of: On an extension of Shlyk's theorem},
year = {2026},
howpublished = {\url{https://pith.science/paper/MM6DLQOT}},
note = {Machine review of arXiv:2506.02885}
}
read the original abstract
In this paper, we prove that the intersection of all non-nilpotent maximal subgroups of a non-solvable group containing the normalizer of some Sylow subgroup is nilpotent, which provides an extension of Shlyk's theorem.
Reference graph
Works this paper leans on
-
[5]
J. Shi and F. Xu, Finite groups with some particular maximal invariant subgroups being nilpotent or all non-nilpotent maximal invariant subgroups being normal, arXiv: 2408.01249 [math.GR]
-
[1]
W. Gasch¨ utz,¨Uber die Φ-Untergruppen endlicher Gruppen (German), Mathematis- che Zeitschrift 58(1953) 160–170
work page 1953
- [2]
-
[3]
L. R´ edei, Die endlichen einstufig nichtnilpotenten Gruppen, Publicationes Mathemat- icae Debrecen 4 (1956) 303–324
work page 1956
-
[4]
Robinson, A Course in the Theory of Groups (Second Edition), Springer- Verlag, New York, 1996
D.J.S. Robinson, A Course in the Theory of Groups (Second Edition), Springer- Verlag, New York, 1996
work page 1996
-
[6]
J. Shi, C. Zhang and S. Guo, A note on theorem of Shlyk (Chinese), Journal of Guangxi Normal University (Natural Science Edition) 30(1) (2012) 22-24
work page 2012
-
[7]
Shidov, On maximal subgroups of finite groups, Siberian Mathematical Journal 12 (1971) 488–489
L.I. Shidov, On maximal subgroups of finite groups, Siberian Mathematical Journal 12 (1971) 488–489
work page 1971
-
[8]
V.V. Shlyk, On the intersection of maximal subgroups in finite groups, Mathematical Notes 14 (1973) 804–809. 4
work page 1973
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.