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

Retrieved from "https://groupprops.subwiki.org/wiki/Special:Ask"