TU Wien:Algebra und Diskrete Mathematik VU (diverse)/Übungen 2025W/Beispiel 535

Sei $G$ die Menge aller $n\times n$-Matrizen $A$ über $\mathbb {R}$ mit $\det(\,A\,)>0$. Man zeige, dass $\left\langle G,\cdot \right\rangle$ eine Gruppe bildet.

• Das haben wir bereits im Bsp. 534 gezeigt.

Sei $U$ die Menge aller $n\times n$-Matrizen $B$ über $\mathbb {R}$ mit $\det(\,B=1\,)$. Man zeige, dass $U$ Normalteiler von $G$ (aus Bsp. 534) ist.

Dieses Beispiel ist als unsolved markiert. Ist dies falsch oder ungenau? Aktualisiere den Lösungsstatus (Details: Vorlage:Beispiel)

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

Gruppe

Eine Gruppe $(G,\circ )$ mit Funktion $\circ :G\times G\rightarrow G$ ist

• abgeschlossen bzgl. der Operation $\circ$ in $G$ mit $a,b\in G$ gilt $a\circ b\in G$
• assoziativ: $\forall a,b,c\in G:a\circ (b\circ c)=(a\circ b)\circ c$
• besitzt ein neutrales Element $e$: $\exists e\in G:\forall a\in G:a\circ e=e\circ a=a$
• sowie besitzt inverse Elemente $a^{-1}$ bzw. $a'$: $\forall a\in G:\exists a^{-1}\in G:a\circ a^{-1}=a^{-1}\circ a=e$

Nebenklassen

Sei $\left\langle G,\circ \right\rangle$ eine Gruppe, $U$ eine Untergruppe von $G$ und $a\in G$. Dann heißt

${\begin{alignedat}{1}&a\circ U=&\{\,a\circ u\,&\vert \,u\in U\,\}&\quad &{\text{Linksnebenklasse}}&{\text{ von }}&U&{\text{ in }}G&\\&U\circ a=&\{\,u\circ a\,&\vert \,u\in U\,\}&\quad &{\text{Rechtsnebenklasse}}&{\text{ von }}&U&{\text{ in }}G&\end{alignedat}}$

Normalteiler

Normalteiler

Eine Untergruppe $N\leq G$ heißt Normalteiler, wenn stets die Äquivalenz zwischen der LNK (Linksnebenklasse, $a\circ N$) und der RNK (Rechtsnebenklasse, $N\circ a$) gilt, d.h.:

$\forall a\in G:a\circ N=N\circ a$

Die Menge der Nebenklassen $\{a\circ N\mid a\in G\}$ bildet selbst eine Gruppe, die Faktorgruppe $G/N$.

Reguläre Matrix

Eine $n\times n$ Matrix $A$ heißt regulär bzw. invertierbar, wenn eine $n\times n$ Matrix $B$ existiert mit $A\cdot B=B\cdot A=E_{n}$. Dabei ist $E_{n}$ die Einheitsmatrix. Die Matrix $A$ ist genau dann regulär bzw. invertierbar, wenn für die Determinante der Matrix $A$ gilt$\colon \,\det(A)\neq 0$.

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

Für die inverse Matrix $A^{-1}$ einer quadratischen regulären Matrix $A$ gilt:

$\det \left(A^{-1}\right)={\frac {1}{\det(A)}}$.

Determinantenproduktsatz

Mit dem Determinantenproduktsatz gilt für die Determinante des Produkts zweier quadratischer Matrizen über einem kommutativen Ring:

$\det(A\cdot B)=\det(A)\cdot \det(B)=\det(B)\cdot \det(A)=\det(B\cdot A)$

Lösungsvorschlag von Har203

--Har203 18:38, 7. Jan. 2026 (CET)

Sei $G$ die Menge aller $n\times n$-Matrizen $A$ über $\mathbb {R}$ mit $\det(\,A\,)>0$. Man zeige, dass $\left\langle G,\cdot \right\rangle$ eine Gruppe bildet.

• Das haben wir bereits im Bsp. 534 gezeigt.

Sei $U$ die Menge aller $n\times n$-Matrizen $B$ über $\mathbb {R}$ mit $\det(\,B=1\,)$. Man zeige, dass $U$ Normalteiler von $G$ (aus Bsp. 534) ist.

Wir zeigen zuerst, dass $U$ eine Untergruppe von $\left\langle G,\cdot \right\rangle$ bildet.

Abgeschlossenheit

Die Menge $U$ ist nicht leer, da die Einheitsmatrix $E_{n}\in U$ ist. Die Multiplikation zweier $n\times n$-Matrizen über $\mathbb {R}$ bildet natürlich wieder eine $n\times n$-Matrix über $\mathbb {R}$.

Es seien zwei Elemente $A,\,B\in U$ mit der oben angegebenen Voraussetzung $a=det(\,A\,)=1$ und $b=\det(\,B\,)=1$. Für die Determinante gilt dann von $(A\cdot B)\colon \,\det(\,A\cdot B\,)=det(\,A\,)\cdot det(\,B\,)=1$ (nach dem Determinantenmultiplikationssatz). Somit ist $(\,A\cdot B\,)$ wieder $\in U$ und $U$ ist abgeschlossen.$\quad \quad \color {green}\surd \color {black}$

Assoziativität

Die Assoziativität der Matrizenmultiplikation in der Untergruppe wird natürlich vererbt. $\quad \quad \color {green}\surd \color {black}$

Neutrale Element

Die Einheitsmatrix $E_{n}$ ist eine $n\times n$-Matrix über $\mathbb {R}$ mit $\det(\,E_{n}\,)=1$. D.h. es gilt auch $E_{n}\in U$. $\quad \quad \color {green}\surd \color {black}$

Inverse Element

Die Inverse Matrix der quadratischen $n\times n$-Matrix $D$ existiert genau dann, wenn die Determinante $\neq 0$ ist. Diese Voraussetzung ist mit der Einschränkung $d=\det(\,D\,)=1$ erfüllt. Daraus folgt, dass die Determinante der inversen Matrix $\det(\,D^{-1}\,)={\frac {1}{d}}=1$ ist und somit auch $D^{-1}\in U$. $\quad \quad \color {green}\surd \color {black}$

$\implies \mathbf {U}$ ist eine Untergruppe von G. $\quad \quad \color {green}\surd \color {black}$

Nebenklassen

Es gilt $\left\langle G,\cdot \right\rangle$ ist eine Gruppe mit Elementen $X\in G$ bestehend aus $n\times n$-Matrizen über $\mathbb {R}$ mit $\det(\,X\,)\in \mathbb {R} ^{+}$ und $U$ ist eine Untergruppe mit Determinanten $\det(\,X\,)=1$ für $X\in U$. Man zeige, dass $U$ Normalteiler von $G$ ist.

Sei $A\in G$ beliebig und $C\in U$ ebenfalls beliebig. Wir betrachten nun Elemente in der Form $A\cdot C\cdot A^{-1}$. Dann gilt:

$\det(A\cdot C\cdot A^{-1})=\det(A)\cdot \det(C)\cdot \det(A^{-1})=\det(A)\cdot 1\cdot {\frac {1}{\det(A)}}=1\;\implies$

$\implies A\cdot C\cdot A^{-1}\in U\colon \,\forall \,A\in G$ und $\forall \,C\in U\implies A\cdot U\cdot A^{-1}\subseteq U$.

Umgekehrt werden wir zeigen, dass ein beliebiges $D\in U$ die Form $A\cdot B\cdot A^{-1}$ hat. Dafür konstruieren wir uns zwei Elemente $B$ und $D,\;$ mit $B,\,D\in U$. Wir setzen $B\in U$ auf die vertauschte Form $B=A^{-1}\cdot D\cdot A,\,$ mit $A\in G$ beliebig. Um zu zeigen, dass $B$ in $U$ liegt, bestimmen wir wieder die Determinanten:

$\det(B)=\det(A^{-1})\cdot \det(D)\cdot \det(A)={\frac {1}{\det(A)}}\cdot 1\cdot \det(A)=1\implies B\in U$

Wir setzen nun $B$ in die Anfangsform ein$\colon \,A\cdot B\cdot A^{-1}$ und erhalten

$A\cdot B\cdot A^{-1}=A\cdot (A^{-1}\cdot D\cdot A)\cdot A^{-1}=E_{n}\cdot D\cdot E_{n}=D$. D.h. $D$ hat die Form $A\cdot D\cdot A^{-1}$.

Damit haben wir gezeigt:

$D\in U\implies D\in A\cdot U\cdot A^{-1}\implies U\subseteq A\cdot U\cdot A^{-1}$.

Aus den beiden Ergebnissen können wir schließen:

$A\cdot U\cdot A^{-1}\subseteq U$ und $U\subseteq A\cdot U\cdot A^{-1}\implies A\cdot U\cdot A^{-1}=U\implies A\cdot U\cdot A^{-1}\cdot A=U\cdot A\implies A\cdot U=U\cdot A$.

Anmerkung: Die Matrizenmultiplikation ist nicht kommutativ. Es gilt im Allgemeinen nicht $A\cdot C=C\cdot A$, aber es gilt, dass die Nebenklassen als gesamte Menge betrachtet übereinstimmen, also $A\cdot U=U\cdot A,\,\forall A\in G$ und es gilt

• entweder $(A\cdot U)=(B\cdot U)\,$ mit $\,A,\,B\in G$
• oder $(A\cdot U)\cap (B\cdot U)=\emptyset$.

Als Beispiel:

$C=\left({\begin{array}{ccc}1&2&3\\0&1&2\\0&0&1\end{array}}\right),\,A=\left({\begin{array}{ccc}2&0&1\\1&2&1\\0&1&1\end{array}}\right)\implies C\cdot A=\left({\begin{array}{ccc}4&7&6\\1&4&3\\0&1&1\end{array}}\right)$, aber $A\cdot C=\left({\begin{array}{ccc}2&4&7\\1&4&8\\0&1&3\end{array}}\right)$.

Für die Determinanten gilt jedoch:

$\det(\,C\,)=1,\,\det(\,A\,)=3\,$ für die beiden Bilder gilt dann$\colon \,\det(\,A\cdot C\,)=3\cdot 1=3$ und $\det(\,C\cdot A\,)=1\cdot 3=3$. D.h. $A\cdot C\neq C\cdot A$, aber $A\cdot C$ und $C\cdot A\in (U\cdot A)$ und auch $\in (A\cdot U)$.

$\qquad \qquad \blacksquare$

Links

Wikipedia:

• Gruppe
• Nebenklassen
• Normalteiler
• Vektorraum
• Lineare Abbildung
• Matrix
• Determinante
• Determinantenproduktsatz
• Inverse Matrix

Ähnliche Beispiele:

• TU_Wien:Algebra_und_Diskrete_Mathematik_VU_(diverse)/Übungen_2025W/Beispiel_533