algebra / Group theory

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$?

13Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

algebraJul 20, 2026Significance 13/100Registry: lean verified

Kourovka Problem 21.8 - Horizontal Class Transpositions

Prior state unknownproved

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$?

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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$?

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Kourovka Problem 21.8 - Horizontal Class Transpositions — Mathematical Frontier Network