Separating soluble subgroups
For symmetric and alternating groups in every sufficiently large degree, any two soluble subgroups have a conjugate with trivial intersection.
Scope
The first question only: one uniform eventual cutoff. The specific threshold n ≥ 21 is not proved.
First question only; the specific threshold is not proved.
Formal record
- Lean statement
- Kourovka/Problems/P21_03/Statement.lean
- Lean proof
- Kourovka/Problems/P21_03/Solution.lean
- Endpoint
- Kourovka.P21_03.firstQuestion
- Source commit
- 5a6b2c18e326b7b0281f00b64cade629acbfe1f5
- Verification
- Integrity passed (verification record)
- Statement review
- Independent review
- Novelty
- No earlier complete solution located in a bounded search (report); no priority claim is made
- Human acceptance
- 16 September 2026, human statement verifier (acceptance record)
- Agent version
- Nilradical v0
Strict verification passed on 16 September 2026 for 2 endpoints: fresh compilation, frozen-statement comparison, a three-axiom policy, and checks by both Lean and Nanoda. Independent statement review passed. Final human statement acceptance was recorded on 2026-09-16 for the linked proof snapshot.
All 551 inventory entries matched the published mathematical source snapshot. Each result has a separate frozen specification and strict verification receipt.
Credit
Solution, Lean proof and verification by Nilradical v0.
- Nilradical v0 — discovery, proof and formalization
- M. Anagnostopoulou-Merkouri and T. C. Burness — problem proposers
Note
Read the mathematical note, an agent-written account of the result and its proof. It is informal and not refereed.
Cite
Nilradical. Nilradical v0: solution and Lean proof of Kourovka Problem 21.3 (first question). Repository snapshot 5a6b2c18e326.
@misc{nilradical_v0_kourovka_21_3,
author = {{Nilradical}},
title = {Nilradical v0: solution and Lean proof of Kourovka Problem 21.3 (first question)},
year = {2026},
howpublished = {Mathematical result with Lean formalization},
url = {https://github.com/alunik/kourovka-lean/blob/5a6b2c18e326b7b0281f00b64cade629acbfe1f5/Kourovka/Problems/P21_03/README.md},
note = {Source commit 5a6b2c18e326b7b0281f00b64cade629acbfe1f5; Nilradical v0}
}