Maximal normal iff normal of prime index in solvable

From Groupprops
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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.