Source authenticated
Kourovka Problem 3.46 - Maximal Locally Soluble Normal Subgroups
Does there exist a group with more than one but only finitely many maximal locally soluble normal subgroups? An explicit group with exactly two settles it.
Exact FrontierDelta
Prior state unknown→proved
Scope and record
Occurred: Jul 20, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: lean-verified. Publication: preprint. AI contribution: ai-discovered. Imported under CC BY 4.0.
Canonical aliases: Kourovka Problem 3.46 - Maximal Locally Soluble Normal Subgroups · Kourovka 3.46
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Lineage and corrections
This event attributed to Aristotle