Revision #924 → #1573 · back to history
addedSolvable group (lead)c25b364f6b91
addedSolvability of polynomial via Galois groupffc86bb8d4b3
addedSolvable Galois group from smallest field extension417962ca70cf
addedSolvable group (subnormal series definition)56bd1ff2c190
addedDerived series definition of solvable9163ae97c5a7
addedDerived length2ac11a123946
addedFinite solvable via composition seriesc8e005071a8e
addedAbelian groups are solvablef6fde8eddea3
addedNilpotent groups are solvablec0835b6915e2
addedQuaternion group is solvable31df41bf42e1
addedExtensions of solvable groups are solvablec355228fed98
addedS_3 solvable non-nilpotenta4c9d1179dc0
addedEvery group of order < 60 is solvablef652fae9c4a8
addedFeit–Thompson theorem6d1b6b58d610
addedS_5 is not solvable579183e7e672
addedS_n not solvable for n>45c75d7e03f8f
addedSubgroup quotient of GL_26d9fe3fe9cff
addedSemidirect decomposition remark00a353d689ba
addedBorel subgroup011f02e5c9c8
addedBorel subgroup in GL_3c846cf6c0cbd
addedBorel subgroup in product92cd6edb4b9e
addedSubgroup of solvable is solvable3a0113e5dbe1
addedHomomorphic image of solvable is solvable4e79281af45f
addedThree for the price of twoe84ba5d8985b
addedDirect product of solvable is solvable4b6138a187a7
addedSolvability closed under extension5e245fc8c8f3
addedSolvability closed under wreath productd62c59e05b53
addedSolvable groups of bounded derived length form a variety75cf9d9c4041
addedBurnside's theoremf4f441543177
addedSupersolvable group2fd4837e67f3
addedSupersolvable abelian iff finitely generated6aa956d147a7
addedA_4 solvable but not supersolvableb126f8494318
addedVirtually solvable groupccf3f668809b
addedHypoabelian group5fd8d2f85ee0
addedEvery ordinal is a derived length8bb47f04c104
addedp-solvable groupace7db1596f1
addedSolvable iff p-solvable for every p7c782ecf3d89