Replaced the union by another set...
Representation of normal subgroups of factor groups.
Completed characterization of maximal normal subgroups.
Import MaximalNormalSubgroups