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

Sei G die Menge aller regulären $n\times n$ Matrizen A über $\mathbb {R}$. Man zeige, dass $\langle G,\cdot \rangle$ eine Gruppe bildet.

Dieses Beispiel hat einen unbekannten Lösungsstatus. Bitte editiere diese Seite und schreibe den dir bekannten Status ins Beispiel. Die möglichen Werte sind hier: Vorlage:Beispiel dokumentiert. Führe folgende Änderung durch:

{{Beispiel|1=
Angabetext
}}

oder

{{Beispiel|
Angabetext
}}

zu (im Falle einer korrekten, unverifizierten Lösung "solved". Auch möglich "unsolved", "wrong", "verified_by_tutor". Alle möglichen Werte sind hier: Vorlage:Beispiel dokumentiert.)

{{Beispiel|status=solved|1=
Angabetext
}}

Hilfreiches

Gruppe

Gruppe

Eine Gruppe $(G,\circ )$ ist

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

Theoretische Grundlagen (Zusammenfassung von mnemetz)

Gesetze und Eigenschaften von algebraischen Strukturen

Eine algebraische Struktur ist eine nichtleere Menge G mit einer oder mehreren Operationen.

Folgende Eigenschaften kann eine solche Struktur annehmen:

1. Abgeschlossenheit: $G\times G=G$, für $a,b\in G\rightarrow a\circ b\in G$ (d.h. ist eindeutig zugeordnet). Das $\circ$ entspricht einer Funktion von $\circ :G\times G\rightarrow G$
2. Assoziativgesetz: $a\circ (b\circ c)=(a\circ b)\circ c$ für alle $a,b,c\in G$.
3. Einheitselement: Es existiert ein $e\in G$, so dass für alle $a\in G$ gilt: $a\circ e=e\circ a=a$.
4. Inverses Element: Für jedes $a\in G$ gibt es ein inverses Element $a'\in G$ (oder auch $a^{-1}$) so, dass gilt $a\circ a'=a'\circ a=e$. Wobei das e das Einheitselement ist.
5. Kommutativgesetz: $a\circ b=b\circ a$ für alle $a,b\in G$.

  Nr.   Gruppoid   Halbgruppe   Monoid   Gruppe   Abelsche Gruppe
  1     X          X            X        X        X
  2                X            X        X        X
  3                             X        X        X
  4                                      X        X
  5                                               X

Reguläre Matrix

Eine $n\times n$ Matirx A heißt invertierbar, wenn es eine $n\times n$ Matrix B gibt mit $A\cdot B=B\cdot A=E_{n}$ (wobei $E_{n}$ die Einheitsmatrix ist)

Anders gesagt: Reguläre Matrizen sind invertierbare Matrizen - somit existiert das inverse Element.

Gegenteil ist natürlich singuläre Matrizen - bilden nur ein Monoid!

Lösungsvorschlag von mnemetz

Abgeschlossenheit

$\forall A_{1},A_{2}{\text{ ueber }}\mathbb {R} :A_{1}\cdot A_{2}=A_{3}\rightarrow A_{3}{\text{ ueber }}\mathbb {R}$

Begründung der gegebenen Abgeschlossenheit: Bei der Multiplikation von Matrizen die über $\mathbb {R}$ stehen, werden nur die Operationen $+,\cdot$ ausgeführt, daher abgeschlossen.

Einfacher: Es ergibt sich wieder eine $n\times n$ Matrix!

Assoziativität

Seien gegeben: $A={\begin{pmatrix}1&0\\0&1\end{pmatrix}},B={\begin{pmatrix}1&1\\0&1\end{pmatrix}},C={\begin{pmatrix}-1&1\\0&1\end{pmatrix}}$

Untersuche $A\cdot (B\cdot C)$

${\begin{pmatrix}1&0\\0&1\end{pmatrix}}\cdot ({\begin{pmatrix}1&1\\0&1\end{pmatrix}}\cdot {\begin{pmatrix}-1&1\\0&1\end{pmatrix}})={\begin{pmatrix}1&0\\0&1\end{pmatrix}}\cdot {\begin{pmatrix}-1&2\\0&1\end{pmatrix}}={\begin{pmatrix}-1&2\\0&1\end{pmatrix}}$

Untersuche $(A\cdot B)\cdot C$

$({\begin{pmatrix}1&0\\0&1\end{pmatrix}}\cdot {\begin{pmatrix}1&1\\0&1\end{pmatrix}})\cdot {\begin{pmatrix}-1&1\\0&1\end{pmatrix}}={\begin{pmatrix}1&1\\0&1\end{pmatrix}}\cdot {\begin{pmatrix}-1&1\\0&1\end{pmatrix}}={\begin{pmatrix}-1&2\\0&1\end{pmatrix}}$

Neutrales Element

$\exists E_{n}\forall A_{n}:E_{n}\cdot A_{n}=A_{n}\cdot E_{n}=A_{n}$

Neutrales Element in Gestalt der Einheitsmatrix gegeben.

Inverses Element

$\exists A_{n}^{-1}\forall A_{n}:A_{n}^{-1}\cdot A_{n}=A_{n}\cdot A_{n}^{-1}=E_{n}$

Inverses Element existiert. Man kann davon ausgehen, dass es für alle Matrizen in G jeweils eine inverse Matrix gibt, da in der Angabe G als die Menge aller regulären ... Matrizen festgelegt ist. Reguläre Matrix bedeutet per Definition, dass eine Matrix invertierbar ist.

Schlussfolgerung

Es liegt eine Gruppe vor!