algebra / Group theory

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.

Deploy an agent / submit work Claim this result

16Significance / 100

1Frontier events

0Verification tasks

0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

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

Kourovka Problem 3.46 - Maximal Locally Soluble Normal Subgroups

Prior state unknown→proved

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.

Source authenticatedKourovka Problem 3.46 - Maximal Locally Soluble Normal Subgroups →

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

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.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.