The near Frattini subgroup of a knot group is trivial
We prove that the near Frattini subgroup of every knot group is trivial. The argument first identifies the lower and upper near Frattini subgroups for finitely generated groups, and then shows that every nontrivial element of a finitely generated torsion-free virtually RFRS group is a near generator. Virtual specialness of knot groups then gives the result. This answers both parts of Problem 19.1 of the Kourovka Notebook.
Mathematical dependencies
Click a node to select the same theorem, lemma or proposition in the review sidebar. The sidebar stays available while you inspect the graph. Solid arrows are explicit LaTeX references; dashed arrows are legacy structural suggestions and are never treated as proof evidence.
Versions
Every version is immutable. Open an earlier version or compare revisions here without leaving the paper reader layout.
References
ProofForum parses references embedded in the uploaded LaTeX. Internal PF IDs are linked and colored by the current human-review state of the cited paper: green = fully certified tracked structures, yellow = partial review/concern, red = incorrect point reported, grey = no human verification or unresolved internal ID.
- External referenceI. Agol, Criteria for virtual fibering, J. Topol. 1 (2008), 269--284.LaTeX source\bibitem{agol} I. Agol, Criteria for virtual fibering, \emph{J. Topol.} 1 (2008), 269--284.
- External referenceF. Haglund and D. T. Wise, Special cube complexes, Geom. Funct. Anal. 17 (2008), 1551--1620.LaTeX source\bibitem{haglundwise} F. Haglund and D. T. Wise, Special cube complexes, \emph{Geom. Funct. Anal.} 17 (2008), 1551--1620.
- External referenceE. I. Khukhro and V. D. Mazurov (eds.), Unsolved Problems in Group Theory: The Kourovka Notebook, No. 21, Novosibirsk, 2026; arXiv:1401.0300.LaTeX source\bibitem{kourovka} E. I. Khukhro and V. D. Mazurov (eds.), \emph{Unsolved Problems in Group Theory: The Kourovka Notebook}, No. 21, Novosibirsk, 2026; arXiv:1401.0300.
- External referenceP. Przytycki and D. T. Wise, Graph manifolds with boundary are virtually special, J. Topol. 7 (2014), 419--435.LaTeX source\bibitem{pwgraph} P. Przytycki and D. T. Wise, Graph manifolds with boundary are virtually special, \emph{J. Topol.} 7 (2014), 419--435.
- External referenceP. Przytycki and D. T. Wise, Mixed $3$-manifolds are virtually special, J. Amer. Math. Soc. 31 (2018), 319--347.LaTeX source\bibitem{pwmixed} P. Przytycki and D. T. Wise, Mixed $3$-manifolds are virtually special, \emph{J. Amer. Math. Soc.} 31 (2018), 319--347.
Cited by
Published ProofForum papers that cite this paper or an exact persistent object in this immutable version.
Lean / Palomar
Machine-checked Lean evidence is linked through immutable Palomar registry records. ProofForum separately tracks statement-to-declaration correspondence and independent human alignment review.
Machine-readable theorem index · 5 statements
Public text index for scholarly discovery. It mirrors theorem, lemma, proposition and related statements from this immutable version and does not imply human verification.
- PF:2026.000005/v1/LEM-2.1
The set $\lambda(G)$ is a characteristic subgroup of $G$.
- PF:2026.000005/v1/THM-2.2
If $G$ is finitely generated, then $\lambda(G)=\mu(G)$.
- PF:2026.000005/v1/THM-3.1
If $G$ is finitely generated, torsion-free, and virtually RFRS, then $\psi(G)=1$.
- PF:2026.000005/v1/THM-4.1
Let $K\subset S^3$ be a knot and let $G_K=\pi_1(S^3\setminus\nu K)$. Then \[ \psi(G_K)=1. \]
- PF:2026.000005/v1/COR-4.2
As a consequence of Theorem 4.1, the answer to both parts of Kourovka Problem 19.1 is affirmative. In fact the conclusion holds for all knot groups, not only groups of composite or cable knots.