Source authenticated
Kourovka Problem 21.8 - Horizontal Class Transpositions
If $\operatorname{CT}_{(k)}$ is generated by all horizontal class transpositions with modulus at most $k$, is $\operatorname{CT}_{(k)} \cong S_{\operatorname{lcm}(2,\dots,k)}$ for every $k \ge 4$?
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 21.8 - Horizontal Class Transpositions · Kourovka 21.8
Confidence: Not scored
Registry verification: lean verified · preprint · resolved
Lineage and corrections
This event attributed to Aristotle