Wie das modulare Gesetz von Dedekind zeigt, ist der Normalteilerverband ein modularer Unterverband des Untergruppenverbandes. Letzterer ist im Allgemeinen nicht modular, siehe dazu „Modulare Gruppe (M-Gruppe)“.