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…“) |
|||
| 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> | ||
| + | |||
| + | [[Datei:Sudokuregel_2.jpg|center|800px]] | ||
[[Kategorie:Beweis Gruppe]] | [[Kategorie:Beweis Gruppe]] | ||
Version vom 4. Dezember 2018, 17:08 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: 
