Add some points for normal subgroups to group theory outline