Maximal normal iff normal of prime index in solvable

From Groupprops

Statement

Suppose is a (finite or infinite) Solvable group (?). The following are equivalent for a normal subgroup of :

  1. is a maximal normal subgroup of .
  2. is a normal subgroup of prime index in .
  3. is a group of prime order.