Modulares Gesetz von Dedekind

aus Wikipedia, der freien Enzyklopädie

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 Untergruppen einer Gruppe mit . Dann gilt

.[1]

Dabei ist das Komplexprodukt, der Punkt wird im Folgenden fortgelassen.

Merkregel: hängt für nicht von der Klammerung ab.

Der Beweis ist elementar: Es ist und wegen auch , insgesamt also . Ist umgekehrt , so ist mit , so ist , wieder wegen , also .

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[2]

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,[3] aber man spricht immer noch vom modularen Gesetz. Das Modulgesetz, auf das sich Dedekind in abstrakteren Strukturen bezieht, lautet dort[2]

.

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

.

Schreibt man weiter und , so ist . Ist umgekehrt , so kann man und wählen und hat sowie . Setzt man dies in obige Formel ein und schreibt für , so ergibt sich

,

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 wird der Satz falsch.
  • Da , ist und die dedekindsche Formel kann wie folgt als ein Distributivgesetz geschrieben werden:
.
Auch das gilt nur unter der Voraussetzung .
  • 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.[4]

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[5] vorgestellt werden:

  • Ist eine maximale Untergruppe und ein Normalteiler, so gibt es keinen echt zwischen und gelegenen Normalteiler.

Zum Beweis sei ein Normalteiler mit . Zu zeigen ist . Zunächst ist nicht in enthalten, denn wegen wäre dann auch , was wegen nicht der Fall ist. Daher ist wegen der Maximalität von . Daraus folgt wie gewünscht

,

wobei das dritte Gleichheitszeichen wegen des modularen Gesetzes von Dedekind gilt.

Einzelnachweise

  1. D. J. S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Satz 1.3.14 (Dedekind's Modular Law)
  2. a b Richard Dedekind: Über Zerlegungen von Zahlen durch ihre größten gemeinsamen Teiler. In: Gesammelte mathematische Werke. Band 2. Vieweg, Braunschweig 1931, 28., S. 103–147, hier S. 115 (Modulgesetz [abgerufen am 20. März 2019] Festschrift der Technischen Hochschule zu Braunschweig bei Gelegenheit der 69. Versammlung Deutscher Naturforscher und Ärzte, 8. 1–40 (1897)).
  3. Siehe hierzu den Artikel Pontrjagin-Dualität!
  4. P. M. Cohn: Basic Algebra - Groups, Rings and Fields, Springer-Verlag (2005), ISBN 1-85233-587-4, Seite 55
  5. D.J.S. Robinson: A Course in the Theory of Groups, Springer-Verlag 1996, ISBN 0-387-94461-3, Beweis zu Satz 5.4.2