TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 535
Sei die Menge aller -Matrizen über mit . Man zeige, dass eine Gruppe bildet.
- Das haben wir bereits im Bsp. 534 gezeigt.
Sei die Menge aller -Matrizen über mit . Man zeige, dass Normalteiler von (aus Bsp. 534) ist.
Dieses Beispiel hat noch keinen Lösungsvorschlag. Um einen zu erstellen, kopiere folgende Zeilen, bearbeite die Seite und aktualisiere den status=unsolved Mögliche status=... Werte stehen hier: Vorlage:Beispiel
== Lösungsvorschlag von ~~~ == --~~~~
Siehe auch Hilfe:Formeln und Hilfe:Beispielseiten.
Hilfreiches von Har203
[Bearbeiten | Quelltext bearbeiten]Eine Gruppe mit Funktion ist
- abgeschlossen bzgl. der Operation in mit gilt
- assoziativ:
- besitzt ein neutrales Element :
- sowie besitzt inverse Elemente bzw. :
Sei eine Gruppe, eine Untergruppe von und . Dann heißt
Eine Untergruppe heißt Normalteiler, wenn stets die Äquivalenz zwischen der LNK (Linksnebenklasse, ) und der RNK (Rechtsnebenklasse, ) gilt, d.h.:
Die Menge der Nebenklassen bildet selbst eine Gruppe, die Faktorgruppe .
Eine Matrix heißt regulär bzw. invertierbar, wenn eine Matrix existiert mit . Dabei ist die Einheitsmatrix. Die Matrix ist genau dann regulär bzw. invertierbar, wenn für die Determinante der Matrix gilt.
Anders gesagt: Reguläre Matrizen sind invertierbare Matrizen - somit existiert das inverse Element. Das Gegenteil sind natürlich singuläre Matrizen - diese bilden nur ein Monoid!
Determinante der inversen Matrix
[Bearbeiten | Quelltext bearbeiten]Für die inverse Matrix einer quadratischen regulären Matrix gilt:
- .
Mit dem Determinantenproduktsatz gilt für die Determinante des Produkts zweier quadratischer Matrizen über einem kommutativen Ring:
Lösungsvorschlag von Har203
[Bearbeiten | Quelltext bearbeiten]--Har203 18:38, 7. Jan. 2026 (CET)
Sei die Menge aller -Matrizen über mit . Man zeige, dass eine Gruppe bildet.
- Das haben wir bereits im Bsp. 534 gezeigt.
Sei die Menge aller -Matrizen über mit . Man zeige, dass Normalteiler von (aus Bsp. 534) ist.
Wir zeigen zuerst, dass eine Untergruppe von bildet.
Abgeschlossenheit
[Bearbeiten | Quelltext bearbeiten]Die Menge ist nicht leer, da die Einheitsmatrix ist. Die Multiplikation zweier -Matrizen über bildet natürlich wieder eine -Matrix über .
Es seien zwei Elemente mit der oben angegebenen Voraussetzung und . Für die Determinante gilt dann von (nach dem Determinantenmultiplikationssatz). Somit ist wieder und ist abgeschlossen.
Assoziativität
[Bearbeiten | Quelltext bearbeiten]Die Assoziativität der Matrizenmultiplikation in der Untergruppe wird natürlich vererbt.
Neutrale Element
[Bearbeiten | Quelltext bearbeiten]Die Einheitsmatrix ist eine -Matrix über mit . D.h. es gilt auch .
Inverse Element
[Bearbeiten | Quelltext bearbeiten]Die Inverse Matrix der quadratischen -Matrix existiert genau dann, wenn die Determinante ist. Diese Voraussetzung ist mit der Einschränkung erfüllt. Daraus folgt, dass die Determinante der inversen Matrix ist und somit auch .
ist eine Untergruppe von G.
Nebenklassen
[Bearbeiten | Quelltext bearbeiten]Es gilt ist eine Gruppe mit Elementen bestehend aus -Matrizen über mit und ist eine Untergruppe mit Determinanten für . Man zeige, dass Normalteiler von ist.
Sei beliebig und ebenfalls beliebig. Wir betrachten nun Elemente in der Form . Dann gilt:
- und .
Umgekehrt werden wir zeigen, dass ein beliebiges die Form hat. Dafür konstruieren wir uns zwei Elemente und mit . Wir setzen auf die vertauschte Form mit beliebig. Um zu zeigen, dass in liegt, bestimmen wir wieder die Determinanten:
Wir setzen nun in die Anfangsform ein und erhalten
- . D.h. hat die Form .
Damit haben wir gezeigt:
- .
Aus den beiden Ergebnissen können wir schließen:
- und .
Anmerkung: Die Matrizenmultiplikation ist nicht kommutativ. Es gilt im Allgemeinen nicht , aber es gilt, dass die Nebenklassen als gesamte Menge betrachtet übereinstimmen, also und es gilt
- entweder mit
- oder .
Als Beispiel:
- , aber .
Für die Determinanten gilt jedoch:
- für die beiden Bilder gilt dann und . D.h. , aber und und auch .
Links
[Bearbeiten | Quelltext bearbeiten]Wikipedia:
- Gruppe
- Nebenklassen
- Normalteiler
- Vektorraum
- Lineare Abbildung
- Matrix
- Determinante
- Determinantenproduktsatz
- Inverse Matrix
Ähnliche Beispiele: