 Maximal normal subgroup

A proper normal subgroup maximal among proper normal subgroups. Its quotient is a nontrivial simple group. Maximality among normal subgroups does not imply maximality among all subgroups.

// Target: algebra.bigb