The query [[Particular example::Symmetric group:S4]] [[Category:Subgroup property non-implications]] was answered by the SMWSQLStore3 in 0.0112 seconds.
[[Particular example::Symmetric group:S4]] [[Category:Subgroup property non-implications]]
SMWSQLStore3
2-subnormal not implies hypernormalized, Finite solvable not implies p-normal, Pronormal not implies NE, Pronormal not implies join with any distinct conjugate is the whole group, Sylow not implies CDIN, Sylow not implies local divisibility-closed
