The query [[Particular example::Alternating group:A4]] [[Category:Group property non-implications]] was answered by the SMWSQLStore3 in 0.0038 seconds.
[[Particular example::Alternating group:A4]] [[Category:Group property non-implications]]
SMWSQLStore3
Finite solvable not implies supersolvable, No proper nontrivial transitively normal subgroup not implies simple, Sylow tower not implies subgroups of all orders dividing the group order