Sei
die Menge aller
-Matrizen
über
mit
. Man zeige, dass
eine Gruppe bildet.
Dieses Beispiel ist als
unsolved markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details:
Vorlage:Beispiel)
- Gruppe
Eine Gruppe
mit Funktion
ist
- abgeschlossen bzgl. der Operation
in
mit
gilt 
- assoziativ:

- besitzt ein neutrales Element
: 
- sowie besitzt inverse Elemente
bzw.
: 
- Reguläre Matrix
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!
Für die inverse Matrix
einer quadratischen regulären Matrix
gilt:
.
- Determinantenproduktsatz
Mit dem Determinantenproduktsatz gilt für die Determinante des Produkts zweier quadratischer Matrizen über einem kommutativen Ring:

--Har203 21:41, 6. Jan. 2026 (CET)
Sei
die Menge aller
-Matrizen
über
mit
. Man zeige, dass
eine Gruppe bildet.
Anmerkung: Die Einschränkung der Determinante auf die rationalen Zahlen
statt
oder
ist in diesem Beispiel als Auswahl einer speziellen Gruppe interessant, nicht aber für den mathematischen Beweis. Dieser wäre mit
bzw.
genau gleich.
Die Menge
ist nicht leer, da die Einheitsmatrix
ist. Die Multiplikation zweier
-Matrizen über
bildet natürlich wieder eine
-Matrix über
.
Wir müssen noch für die Abgeschlossenheit zeigen, dass die Matrizenmultiplikation bezüglich der Eigenschaft
mit
und
mit
auch wieder
- Für quadratische Matrizen
und
gleicher Größe
gilt nach dem Determinantenmultiplikationssatz:
.
für eine
Matrix
und eine Zahl
.
Da
und
beide
ebenfalls
Sei
ein Körper. Die Matrizenmultiplikation ist assoziativ, das heißt, für Matrizen
,
und
gilt:

Bei der Multiplikation mehrerer Matrizen ist es also unerheblich, in welcher Reihenfolge die Teilprodukte gebildet werden, solange die Gesamtreihung nicht verändert wird.
Die Matrizenmultiplikation ist auch verträglich mit der Multiplikation mit Skalaren
, das heißt:

Die Einheitsmatrix
ist eine
-Matrix über
mit
. D.h. es gilt
und

Die Inverse Matrix der quadratischen
-Matrix
existiert genau dann, wenn die Determinante
ist. Diese Voraussetzung ist mit der Einschränkung
erfüllt und die Determinante der inversen Matrix
ist somit auch erfüllt:
- Die inverse Matrix existiert, da
und somit
ist.
- Die Matrix
ist eine
-Matrix aus
über
mit
.D.h. die inverse Matrix ist ebenfalls in der Menge
enthalten.
Wikipedia:
Ähnliche Beispiele: