# Modulares Gesetz von Dedekind

Das modulare Gesetz von Dedekind, benannt nach Richard Dedekind, ist in der Mathematik, speziell in der Gruppentheorie, eine Beziehung zwischen Untergruppen einer Gruppe.

## Formulierung

Es seien $H,K,L$ Untergruppen einer Gruppe $G$ mit $K\subset L$. Dann gilt
    $K\cdot (H\cap L)=(K\cdot H)\cap L$.
Dabei ist $\cdot$ das Komplexprodukt, der Punkt wird im Folgenden fortgelassen.
Merkregel: $KH\cap L$ hängt für $K\subset L$ nicht von der Klammerung ab.
Der Beweis ist elementar: Es ist $K(H\cap L)\subset KH$ und wegen $K\subset L$ auch $K(H\cap L)\subset LL=L$, insgesamt also $K(H\cap L)\subset (KH)\cap L$. Ist umgekehrt $x\in (KH)\cap L$, so ist $x=kh$ mit $k\in K,h\in H$, so ist $h=k^{-1}x\in KL=L$, wieder wegen $K\subset L$, also $x=kh\in K(H\cap L)$.

## Historische Bemerkung

Dies ist eine Beobachtung Dedekinds aus dem Jahre 1897, er führte dort die Struktur eines Verbandes ein, was Dedekind damals wegen der Austauschbarkeit der Verknüpfungen eine Dualgruppe nannte, und schrieb mit Bezug auf logische Ähnlichkeiten und zahlentheoretische Untersuchungen
          ich will es daher das Modulgesetz nennen, und jede Dualgruppe, in welcher es herrscht, mag eine Dualgruppe vom Modultypus heißen.
Heute wird der Terminus Dualgruppe in einem anderen Sinne benutzt, aber man spricht immer noch vom modularen Gesetz. Das Modulgesetz, auf das sich Dedekind in abstrakteren Strukturen bezieht, lautet dort
    $[\alpha +(\beta -\gamma )]-(\beta +\gamma )=[\alpha -(\beta +\gamma )]+(\beta -\gamma )$.
Darin steht das Pluszeichen für die Bildung des Supremums im Verband und das Minuszeichen für die Bildung des Infimums. Ersetzt man nun das Pluszeichen durch das Komplexprodukt und das Minuszeichen durch die Durchschnittsbildung, was zumindest für Normalteiler Verbandsoperationen sind (s. u.), erhält man in moderner Schreibweise
    $[\alpha (\beta \cap \gamma )]\cap (\beta \gamma )=[\alpha \cap (\beta \gamma )](\beta \cap \gamma )$.
Schreibt man weiter $K=\beta \cap \gamma$ und $L=\beta \gamma$, so ist $K\leq L$. Ist umgekehrt $K\leq L$, so kann man $\beta =K$ und $\gamma =L$ wählen und hat $K=\beta \cap \gamma$ sowie $L=\beta \gamma$. Setzt man dies in obige Formel ein und schreibt $H$ für $\alpha$, so ergibt sich
    $[HK]\cap L=[H\cap L]K$,
was bis auf die unerhebliche Reihenfolge genau oben vorgestellte Formel ist. Die Anwendung auf Gruppen spielte bei Dedekind nur eine untergeordnete Rolle, es ging ihm in erster Linie um Zahlentheorie.

## Bemerkungen

* Ohne die zusätzliche Voraussetzung $K\subset L$ wird der Satz falsch.
* Da $K\subset L$, ist $K=K\cap L$ und die dedekindsche Formel kann wie folgt als ein Distributivgesetz geschrieben werden:
       $(K\cap L)(H\cap L)=(KH)\cap L$.
    Auch das gilt nur unter der Voraussetzung $K\subset L$.
* Die dedekindsche Formel ist nicht das modulare Gesetz im Untergruppenverband, denn das Komplexprodukt zweier Untergruppen ist im Allgemeinen nicht die von ihrer Vereinigung erzeugte Untergruppe. Mit anderen Worten: Trotz der dedekindschen Formel ist nicht jede Gruppe eine modulare Gruppe.
* Betrachtet man den Verband der Normalteiler einer Gruppe, so ist dieser nach der dedekindschen Formel modular, denn das Komplexprodukt zweier Normalteiler ist wieder ein Normalteiler und gleich dem kleinsten Normalteiler, der beide enthält.

## Anwendungen

Die einfache Formel aus dem modularen Gesetz von Dedekind hat viele Anwendungen in der Gruppentheorie und wird nicht selten ohne Nennung verwendet. Exemplarisch soll hier eine Hilfsaussage aus einem Beweis vorgestellt werden:
* Ist $H<G$ eine maximale Untergruppe und $L\vartriangleleft G$ ein Normalteiler, so gibt es keinen echt zwischen $H\cap L$ und $L$ gelegenen Normalteiler.
Zum Beweis sei $K\vartriangleleft G$ ein Normalteiler mit $H\cap L<K\leq L$. Zu zeigen ist $K=L$. Zunächst ist $K$ nicht in $H$ enthalten, denn wegen $K\leq L$ wäre dann auch $K\leq H\cap L$, was wegen $H\cap L<K$ nicht der Fall ist. Daher ist $G=KH$ wegen der Maximalität von $H$. Daraus folgt wie gewünscht
    $L=G\cap L=(KH)\cap L=K(H\cap L)=K$,
wobei das dritte Gleichheitszeichen wegen des modularen Gesetzes von Dedekind gilt.