Gruppen, abelsche Gruppen 2012 12: Unterschied zwischen den Versionen
Jessy* (Diskussion | Beiträge) (→Gruppeneigenschaften) |
Jessy* (Diskussion | Beiträge) (→Gruppeneigenschaften) |
||
(3 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
Zeile 6: | Zeile 6: | ||
=Gruppeneigenschaften= | =Gruppeneigenschaften= | ||
− | Eine | + | Eine Verknüpfung <math>\odot</math> bzw. einer Operation auf einer Menge M ist eine '''Gruppe''', wenn folgende Eigenschaften erfüllt sind:<br /> |
− | '''1. Abgeschlossenheit:''' die | + | '''1. Abgeschlossenheit:''' die Verknüfung <math>\odot</math> auf der Menge M ist abgeschlossen: Verknüpft man ein Element der Menge mit einem anderen Element der Menge, erhält man wiederum ein Element der Menge<br /> |
<math> \quad \quad \forall a,b \in M: a \odot b \in M</math><br /> | <math> \quad \quad \forall a,b \in M: a \odot b \in M</math><br /> | ||
− | '''2. Assoziativität:''' die | + | '''2. Assoziativität:''' die Verknüfung <math>\odot</math> auf der Menge M ist assoziativ<br /> |
<math> \quad \quad \forall a,b,c \in M: (a \odot b) \odot c = a \odot (b \odot c)</math><br /> | <math> \quad \quad \forall a,b,c \in M: (a \odot b) \odot c = a \odot (b \odot c)</math><br /> | ||
'''3. Neutrales Element:''' Innerhalb der Menge M gibt es ein neutrales Element e <br /> | '''3. Neutrales Element:''' Innerhalb der Menge M gibt es ein neutrales Element e <br /> | ||
<math> \quad \quad \forall a \in M: e \odot a = a \odot e = a</math><br /> | <math> \quad \quad \forall a \in M: e \odot a = a \odot e = a</math><br /> | ||
− | '''4. Inverse Elemente:''' Für jedes Element | + | '''4. Inverse Elemente:''' Für jedes Element aus M gibt es ein Inverses Element <br /> |
<math> \quad \quad \forall a \in M: a \odot a^{-1} = e \quad \quad \quad \quad</math> mit <math>a^{-1} \in M</math> und e = neutrales Element<br /><br /> | <math> \quad \quad \forall a \in M: a \odot a^{-1} = e \quad \quad \quad \quad</math> mit <math>a^{-1} \in M</math> und e = neutrales Element<br /><br /> | ||
− | Erfüllt eine | + | Erfüllt eine Verknüfung <math>\odot</math> auf der Menge M hingegen nicht alle Punkte, aber mindestnes die <u>Abgeschlossenheit</u> und die <u>Assoziativität</u>, so handelt es sich um eine '''Halbgruppe'''.<br /><br /> |
Erfüllt eine Gruppe zusätzlich eine weitere Eigenschaft, nämmlich die Kommutativität, so ist sie eine '''kommutative bzw. abelsche Gruppe'''<br /> | Erfüllt eine Gruppe zusätzlich eine weitere Eigenschaft, nämmlich die Kommutativität, so ist sie eine '''kommutative bzw. abelsche Gruppe'''<br /> | ||
'''5. Kommutativität:''' Die Reihenfolge in welcher die Elemente der Menge M mit <math>\odot</math> Verknüpft werden ist egal<br /> | '''5. Kommutativität:''' Die Reihenfolge in welcher die Elemente der Menge M mit <math>\odot</math> Verknüpft werden ist egal<br /> | ||
<math> \quad \quad \forall a,b \in M: a \odot b = b \odot a</math><br /><br /> | <math> \quad \quad \forall a,b \in M: a \odot b = b \odot a</math><br /><br /> | ||
--[[Benutzer:Jessy*|Jessy*]] 11:38, 12. Dez. 2012 (CET) | --[[Benutzer:Jessy*|Jessy*]] 11:38, 12. Dez. 2012 (CET) | ||
+ | |||
+ | <u>Bemerkung --[[Benutzer:*m.g.*|*m.g.*]] 14:14, 12. Dez. 2012 (CET):</u><br /> | ||
+ | Vielen Dank für Ihre Bemühungen. bezüglich der Abgeschlossenheit muss ein wenig korrigiert werden:<br /> | ||
+ | Man spricht nicht davon, dass die Menge bezüglich der Verknüpfung abgeschlossen ist, sondern dass die Verknüpfung auf der Menge abgeschlossen ist also nicht aus der Menge hinausführt.<br /> | ||
+ | --[[Benutzer:Jessy*|Jessy*]] 15:54, 15. Jan. 2013 (CET) Stimmt es nun so? | ||
=Beispiele für endliche Gruppen= | =Beispiele für endliche Gruppen= | ||
Zeile 58: | Zeile 63: | ||
2. Assoziativität: Drehungen sind immer assoziativ<br /> | 2. Assoziativität: Drehungen sind immer assoziativ<br /> | ||
3. Neutrales Element: <math>D_{0}</math><br /> | 3. Neutrales Element: <math>D_{0}</math><br /> | ||
− | 4. Inverse Elemente: <math>D_{0} \cdot D_{0}= D_{0}</math> und <math>D_{90} \cdot D_{270} = D_{0}</math> und <math>D_{180} \cdot D_{180} = D_{0}</math> und <math>D_{270} \cdot D_{90} = D_{0}</math><br /><br /> | + | 4. Inverse Elemente: <math>D_{0} \cdot D_{0}= D_{0}</math> und <math>D_{90} \cdot D_{270} = D_{0}</math> und <math>D_{180} \cdot D_{180} = D_{0}</math> und <math>D_{270} \cdot D_{90} = D_{0}</math><br /> |
+ | 5. Kommutativ: Drehungen sind immer kommutativ<br /><br /> | ||
+ | Es handelt sich also sogar um eine abelsche Gruppe.<br /><br /> | ||
Anmerkung: Die Gruppe der Deckdrehungen des Quadrats ist eine zyklische Gruppe.<br /><br /> | Anmerkung: Die Gruppe der Deckdrehungen des Quadrats ist eine zyklische Gruppe.<br /><br /> | ||
--[[Benutzer:Jessy*|Jessy*]] 16:26, 11. Dez. 2012 (CET)<br /><br /> | --[[Benutzer:Jessy*|Jessy*]] 16:26, 11. Dez. 2012 (CET)<br /><br /> |
Aktuelle Version vom 15. Januar 2013, 16:54 Uhr
GruppeneigenschaftenEine Verknüpfung Bemerkung --*m.g.* 14:14, 12. Dez. 2012 (CET): Beispiele für endliche GruppenRestklassen modulo 4
Wir definieren auf Die Struktur
Die folgende Verknüpfungstafel verdeutlicht die obigen Eigenschaften:
Die Tabelle wurde mit der Tabellenkalkulation von Geogebra generiert. Aus diesem Grunde fehlen die Querstriche über den Klassen. Die Verknüpfungstabelle zeigt eine weitere Eigenschaft der Gruppe
Kommutative Gruppen werden auch Abelsche Gruppen genannt. Gruppe der Deckdrehungen des QuadratsHierbei verstehen wir unter Gruppe der Deckabbildungen des Rechtecks
|