# Examples of groups with only *non-abelian* normal subgroups

Are there examples of finite groups which are not simple, but its normal subgroups (except $1$) are non-abelian?

(One example I was thinking was about take two non-isomorphic simple groups and take their direct product; but then the order of resultant group was quite big; I was looking for smallest order non-trivial example).

• Is $S_5$ too large? – Bungo Dec 6 '16 at 3:18
• In any case why insist that the simple groups are non-isomorphic? $A_5 \times A_5$ is an example. – Derek Holt Dec 6 '16 at 9:03

This is equivalent to having trivial soluble radical. Such groups are sometimes called semisimple. They have quite a nice structure. In particular, such a group acts faithfully on its socle by conjugation, so it can be embedded in the automorphism group of its socle, which is a direct product of simple groups. (And, indeed $S_5$ is the smallest example.)