Eine modulare Gruppe oder M-Gruppe ist eine im mathematischen Teilgebiet der Gruppentheorie betrachtete Art von Gruppen. Es handelt sich um solche Gruppen, deren Verband der Untergruppen ein modularer Verband ist.
Definitionen Bearbeiten
Sind und Untergruppen einer Gruppe , so setzt man
Durch und wird die Menge der Untergruppen zu einem Verband mit den trivialen Untergruppen als kleinstem und größtem Element.
Im Allgemeinen ist dieser Verband nicht modular, das heißt, es gilt im Allgemeinen nicht das sogenannte modulare Gesetz:
Man nennt eine Untergruppe modular, falls
Eine Gruppe heißt modulare Gruppe oder M-Gruppe, wenn der Untergruppenverband modular ist, das heißt, wenn jede Untergruppe modular ist.
D4 ist nicht modular Bearbeiten
Die Diedergruppe D4 ist nicht modular, wie man leicht an nebenstehender Darstellung des Untergruppenverbandes abliest, denn offensichtlich enthält er einen zu N5 isomorphen Unterverband. Die Verletzung des modularen Gesetzes kann konkret angegeben werden: sei die am weitesten links stehende zweielementige Untergruppe, die oberhalb davon liegende vierelementige Untergruppe und die am weitesten rechts stehende zweielementige Untergruppe. Man liest ab: , und daher
Also ist nicht modular, sie ist die kleinste nicht-modulare Gruppe. ist ein Beispiel für eine nicht-modulare Untergruppe.
Vergleich mit Dedekindgruppen Bearbeiten
Normalteiler sind modulare Untergruppen.
Daher sind dedekindsche Gruppen modular, denn dies sind definitionsgemäß genau die Gruppen, in denen jede Untergruppe Normalteiler ist.
Insbesondere sind alle abelschen Gruppen modular.
Unter den Dedekindgruppen gibt es auch nichtabelsche Gruppen; solche nennt man Hamiltongruppen. Die Quaternionengruppe Q8 ist daher ein Beispiel einer nichtabelschen modularen Gruppe.
Es gibt modulare Gruppen, die keine Dedekindgruppen sind, siehe Beispiel unten.
Endliche p-Gruppen Bearbeiten
Eine endliche p-Gruppe ist genau dann modular, wenn jeder Subquotient der Ordnung es ist. Für 2-Gruppen bedeutet dies, dass nicht-modulare Gruppen einen zur Diedergruppe D4 isomorphen Subquotienten haben müssen, für p>2 muss es im nicht-modularen Fall einen nichtabelschen Subquotienten der Ordnung geben.
Die Struktur der modularen endlichen p-Gruppen ist 1941 von K. Iwasawa aufgedeckt worden:
Eine p-Gruppe ist genau dann modular, wenn gilt
Beispiele Bearbeiten
Wir verdeutlichen obigen Struktursatz von Iwasawa durch Gruppen der Ordnung 16.
Eine nicht-hamiltonsche, nichtabelsche Gruppe der Ordnung 16 Bearbeiten
Wir stellen hier ein Beispiel einer nicht-hamiltonschen und nichtabelschen Gruppe mit 16 Elementen vor. Beachte, dass die Multiplikation mit 5 modulo 8 ein Automorphismus auf der zyklischen Gruppe ist. Es ist , denn dies ist die Multiplikation mit 25 und das ist die Identität, da 25 gleich 1 modulo 8 ist. Daher ist
ein Homomorphismus von in die Automorphismengruppe von und man kann das semidirekte Produkt bilden.
Die Verknüpfung in dieser Gruppe ist
wobei in der ersten Komponente modulo 8 gerechnet wird und in der zweiten modulo 2.
In obigem Satz von Iwasawa ist ein abelscher Normalteiler, ist zyklisch, für gilt und für alle
Diese Gruppe erfüllt damit Teil (b) obigen Satzes von Iwasawa, ist also modular. Sie hat Elemente folgender Ordnungen:
| Ordnung | Anzahl | Elemente |
|---|---|---|
| 1 | 1 | das neutrale Element |
| 2 | 3 | (0,1), (4,0), (4,1) |
| 4 | 4 | (2,b), (6,b) |
| 8 | 8 | (a,b), a ungerade |
Alle echten Untergruppen sind abelsch, denn als nichtabelsche Untergruppen kämen nach dem Satz von Lagrange nur 8-elementige Untergruppen in Frage, die entweder zu oder zur Diedergruppe isomorph sind (siehe Liste kleiner Gruppen). Erstere hat aber 6 Elemente der Ordnung 4 und letztere hat 5 Elemente der Ordnung 2, sie können also gemäß obiger Liste von Ordnungen nicht in enthalten sein. Insbesondere ist die Gruppe damit nicht hamiltonsch, denn sie müsste sonst eine Kopie von enthalten.
Eine nicht-modulare Gruppe der Ordnung 16 Bearbeiten
Wir ersetzen in obigem Beispiel den Automorphismus durch die Multiplikation mit 3, die ebenfalls ein Automorphismus auf ist. Wieder ist , denn dies ist die Multiplikation mit 9 modulo 8 und daher die Identität. Also haben wir einen Homomorphismus
und können damit das semidirekte Produkt bilden. Die Verknüpfung in dieser Gruppe ist
wobei in der ersten Komponente wieder modulo 8 gerechnet wird und in der zweiten modulo 2.
Wieder ist ein abelscher Normalteiler, ist zyklisch, für gilt und für alle
Das erfüllt nicht die Bedingung (b) aus obigem Satz von Iwasawa für den Fall p=2. Tatsächlich handelt es sich hier um die Quasi-Diedergruppe mit 16 Elementen, und die ist nicht modular. Mit
bestätigt man leicht
Alternativ kann man obige Charakterisierung mittels Subquotienten verwenden, indem man beachtet, dass die Quasi-Diedergruppe eine zur Diedergruppe isomorphe Untergruppe enthält, die ein nicht-modularer Subquotient der Ordnung 23 ist, und daher nicht modular sein kann.
Submodulare Untergruppen Bearbeiten
Modularität von Untergruppen ist keine transitive Eigenschaft, das heißt, ist eine modulare Untergruppe der Gruppe und eine modulare Untergruppe von , so ist im Allgemeinen keine modulare Untergruppe von . Daher führt man den folgenden Begriff der submodularen Untergruppe ein, der die transitive Hülle der Relation „ist modulare Untergruppe in“ darstellt:
Eine Untergruppe heißt submodular, falls es Untergruppen
gibt, so dass modulare Untergruppe von ist für jedes .
Siehe auch Bearbeiten
Einzelnachweise Bearbeiten
- Irene Zimmermann: Submodular subgroups in finite groups, Mathematische Zeitschrift (1989), Band 202,4 Seiten 545–557
- Michio Suzuki: Structure of a Group and the Structure of its Lattice of Subgroups, Springer-Verlag 1956, ISBN 978-3-642-52760-9, Kap. I, §4: Finite Groups with a Modular Lattice of Subgroups
- L.N. Shevrin, A.J. Ovsyannikov: Semigroups and Their Subsemigroup Lattices, Springer-Verlag (2013), ISBN 94-015-8751-5, Kapitel II, 6.4
- Roland Schmidt: Subgroup Lattices of Groups, De Gruyter Mouton (1994), ISBN 978-3-11-011213-9, Lemma 2.3.3
- K. Iwasawa: Über die endlichen Gruppen und die Verbände ihrer Untergruppen, J. Univ. Tokyo (1941), Seiten 171–199.
- Michio Suzuki: Structure of a Group and the Structure of its Lattice of Subgroups, Springer-Verlag 1956, ISBN 978-3-642-52760-9, Kap. I, §4: Theorem 14
- Roland Schmidt: Subgroup Lattices of Groups, De Gruyter Mouton (1994), ISBN 978-3-11-011213-9, Theorem 2.3.1
- Irene Zimmermann: Submodular subgroups in finite groups, Mathematische Zeitschrift (1989), Band 202,4 Seiten 545–557