Kürzbarkeit/Sudokuregel in Gruppen: Unterschied zwischen den Versionen
Aus DMUW-Wiki
(Die Seite wurde neu angelegt: „__NOTOC__ ==Aussage== Alle Elemente einer Gruppe <math> (G, \cdot) </math> sind links- und rechtskürzbar. ==Erklärungen== Ein Element <math> a \in G </mat…“) |
|||
| (2 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
| Zeile 2: | Zeile 2: | ||
==Aussage== | ==Aussage== | ||
| − | Alle Elemente einer Gruppe <math> (G, \ | + | Alle Elemente einer Gruppe <math> (G, \ast) </math> sind links- und rechtskürzbar. |
==Erklärungen== | ==Erklärungen== | ||
| Zeile 8: | Zeile 8: | ||
Ein Element <math> a \in G </math> heißt linkskürzbar, wenn für alle <math> b,c \in G </math> gilt: | Ein Element <math> a \in G </math> heißt linkskürzbar, wenn für alle <math> b,c \in G </math> gilt: | ||
| − | <math> a \ | + | <math> a \ast b = a \ast c \Rightarrow b = c </math> |
Entsprechend ist rechtskürzbar definiert. | Entsprechend ist rechtskürzbar definiert. | ||
| Zeile 20: | Zeile 20: | ||
==Aspekte== | ==Aspekte== | ||
| − | *Betrachten wir die Verknüpfungstabelle einer Gruppe. In diesem Fall eine endliche Gruppe mit 4 Elementen. Dann sehen wir, dass in jeder Spalte und jeder Zeile jedes Gruppenelement genau einmal vorkommt | + | *Betrachten wir die Verknüpfungstabelle einer Gruppe. In diesem Fall eine endliche Gruppe mit 4 Elementen. Dann sehen wir, dass in jeder Spalte und jeder Zeile jedes Gruppenelement genau einmal vorkommt, wie bei einem Sudoku. |
| + | :Sei <math> a \text{ und } c \in G </math> fest gewählt. Wir überlegen, gibt es ein <math> b \in G </math> mit <math> \ast(a,b) = c </math> oder mit der '''Infixschreibweise''': <math> a \ast b = c </math>. Das Element <math> a^{-1} \ast c </math> ist ein Element in G. Und es gilt: <math> \ast (a,a^{-1} \ast c) = c </math>, oder in der Infixschreibweise: <math> a \ast a^{-1} \ast c = e \ast c = c </math>. Betrachten wir die Verknüpfungstafel, dann gilt: In der Reihe von a finde ich jedes beliebig andere Gruppenelement. | ||
| + | Gleichzeitig gilt wegen der Rechtskürzbarkeit, dass jedes Gruppenelement in jeder Reihe nur einmal vorkommt. | ||
| + | |||
| + | [[Datei:Sudokuregel_2.jpg|center|800px]] | ||
[[Kategorie:Beweis Gruppe]] | [[Kategorie:Beweis Gruppe]] | ||
Aktuelle Version vom 5. Dezember 2018, 00:47 Uhr
Aussage
Alle Elemente einer Gruppe 
sind links- und rechtskürzbar.
Erklärungen
Ein Element 
heißt linkskürzbar, wenn für alle 
gilt:
Entsprechend ist rechtskürzbar definiert.
Beweis
Aspekte
- Betrachten wir die Verknüpfungstabelle einer Gruppe. In diesem Fall eine endliche Gruppe mit 4 Elementen. Dann sehen wir, dass in jeder Spalte und jeder Zeile jedes Gruppenelement genau einmal vorkommt, wie bei einem Sudoku.
- Sei
fest gewählt. Wir überlegen, gibt es ein 
mit 
oder mit der Infixschreibweise: 
. Das Element 
ist ein Element in G. Und es gilt: 
, oder in der Infixschreibweise: 
. Betrachten wir die Verknüpfungstafel, dann gilt: In der Reihe von a finde ich jedes beliebig andere Gruppenelement.
Gleichzeitig gilt wegen der Rechtskürzbarkeit, dass jedes Gruppenelement in jeder Reihe nur einmal vorkommt.
