Eine Erläuterung der verwendeten Symbole findet sich hier: MatheSymbole
In der Mathematik gibt es diverse algebraische Strukturen, zum Beispeil Gruppen, Ringe und Koerper. Die reellen Zahlen (<math>\Bbb{R}</math>, incl. Pi und Wurzel 2), mit denen wir normalerweise rechnen, bilden mit den Operatoren <math>+</math> und <math>\cdot</math> einen Koerper.
Aber wir fangen erstmal klein an. Eine Gruppe ist eigentlich was ganz Simples.
Definition: Gruppe im mathematischen Sinne[edit]
Eine Gruppe besteht aus einer Menge zusammen mit einer Verknüpfung, die je zwei Elementen aus der Menge wieder einem Element aus der Menge zuordnet.
Nennen wir die Menge G und führen das Symbol "<math>\circ</math>" für die Verküpfung ein und schreiben die Gruppe dann als <math>(G, \circ)</math>
(G1) Assoziativität: Die Verknüfung <math>\circ</math> ist assoziativ:
<math>\forall g, h, k \in G</math>: <math>(g\circ h)\circ k = g\circ (h\circ k)</math>
(G2) Existenz eines neutralem Elementes: Es gibt ein Element aus <math>e \in G</math>, für das gilt:
<math>\forall \quad g \in G</math> gilt: <math>e\circ g = g</math>
(G3) Existenz inverser Elemente:
<math>\forall g \in G \exist g' \in G</math>, das wir <math>g^{-1}</math> nennen, für das gilt:
<math>g^{-1} \circ g = e</math>
wobei <math>e</math> das in (G2) geforderte neutrale Element ist.
Wenn zusätzlich das viertes Axiom (G4) gilt, nennt man die Gruppe kommutativ oder abelsch
(G4) Kommutativität:: Für je zwei Elemente <math>g, h \in G </math>
<math>g\circ h = h\circ g</math>
Bemerkungen[edit]
Das Symbol "<math>\circ</math>" hat zunächst mal nichts mit dem aus der Grundschule bekannten Additionssymbol zu tun (edit: Um das noch klarer zu machen, wurde das hier im Wiki-Text ursprünglich benutzte Symbol "<math>+</math>" nun durch "<math>\circ</math>" ersetzt!). Allerdings macht es in vielen Situationen Sinn, bei der Verknüpfung von einer Addition zu reden. In solchen Situationen empfiehlt es sich auch, das neutrale Element mit dem Symbol <math>0</math> zu bezeichnen und das zu <math>g</math> inverse Element mit <math>-g</math>.
Analog ist die uns bekannte <math>1</math> das neutrale Element einer Gruppe, die sich auf die aus der Grundschule bekannte Multiplikation bezieht. Die Schreibweise <math>g^{-1}</math> kann man dann auch sinnvoll ersetzten durch <math>\frac{1}{g}</math>.
Eindeutigkeit inverser Elemnte und des neutralen Elements[edit]
Wie man leicht zeigen kann, ist das neutrale Element immer eindeutig festgelegt und zu jedem g aus G existiert genau ein <math>g^{-1}</math>.
Beispiele[edit]
Wie man leicht zeigen kann gilt:
<math>R</math>, also den "normalen Zahlen" (incl Pi (<math>\pi</math>) und <math>\sqrt{2}</math> und so), ohne die uns bekannte <math>0</math> ist bezüglich der normalen Multiplikation eine Gruppe.
Auch <math>\Bbb{Q}</math> ("Bruchzahlen") ohne <math>0</math> bzgl. der normalen Multiplikation ist eine Gruppe.
Ausserdem ist <math>\Bbb{Z}</math> (die "ganzen Zahlen") zusammen mit der normalen, aus der Grundschule bekannten, Addition eine Gruppe. Gleiches gilt z.B. für die Menge aller gerade Zahlen oder die Menge aller Zahlen, die durch 3 teilbar sind. Allgemein: Für jedes <math>d</math> aus <math>\Bbb{Z}</math> gilt: <math>(d\Bbb{Z}, +)</math> ist eine Gruppe.
<math>(\Bbb{Z}, \cdot)</math>, wobei <math>\cdot</math> die aus der Grundschule bekannte Multiplikation sein soll, ist KEINE Gruppe, nicht einmal <math>(\Bbb{Z}\backslash\{0\}, \cdot)</math> ist eine Gruppe. <math>(\Bbb{Z}_n, +)</math> ist eine Gruppe, während <math>(\Bbb{Z}_n \backslash \{0\}, \cdot)</math> nur eine Gruppe ist, falls <math>n</math> eine Primzahl ist; wobei <math>\Bbb{Z}_n</math> definiert ist durch: <math>\Bbb{Z}_n</math> ist die Menge der ganzen Zahlen <math>0, 1, .., n-1</math>. (Siehe Restklassenkoerper) Für <math>n=7</math> oder <math>13</math> spricht man im Volksmund vom Hexen-Ein-mal-Eins.
Das Hexen-Ein-mal-Eins[edit]
Zunächst wollen wir mal die Menge Z2 zusammen mit einer Verknüfung (wir nehmen wieder das Symbol #) anschauen:
Z2 ist ja, wie bereits weiter oben definiert, die Menge der Zahlen 0 und 1. Wir stellen eine Verknüpfungstabelle auf:
| # | 0 | 1 |
| 0 | 0 | 1 |
| 1 | 1 | 0 |
Also:
0#0 = 0
0#1 = 1
1#0 = 1
1#1 = 0
Wie man leicht nachprüfen kann, ist das also eine Gruppe (sogar eine abelsche Gruppe).
So. Das war noch recht überschaubar. Nun zu (Z7, +):
| + | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| 0 | 0 | 1 | 2 | 3 | 4 | 5 | 6 |
| 1 | 1 | 2 | 3 | 4 | 5 | 6 | 0 |
| 2 | 2 | 3 | 4 | 5 | 6 | 0 | 1 |
| 3 | 3 | 4 | 5 | 6 | 0 | 1 | 2 |
| 4 | 4 | 5 | 6 | 0 | 1 | 2 | 3 |
| 5 | 5 | 6 | 0 | 1 | 2 | 3 | 4 |
| 6 | 6 | 0 | 1 | 2 | 3 | 4 | 5 |
Wie man sieht, ist bei 3+2=5 und 3+3=6 alles noch ganz "normal". "Komisch" wird's erst bei 3+4=0 oder 3+5=1. Hier muss man quasi einfach die normale Addition durchführen und dann vom Ergebniss so oft die 7 abziehen, bis das Endergebniss zwischen 0 und 6 liegt(weil ja Z7 eben nur diese Zahlen enthält)...
link zum Thema "Modulo-Opperator" ? Hat jemand so einen? Der passt hier hin...
Und (Z7 ohne 0, *), das eigentliche Hexen-Ein-mal-Eins:
| * | 1 | 2 | 3 | 4 | 5 | 6 |
| 1 | 1 | 2 | 3 | 4 | 5 | 6 |
| 2 | 2 | 4 | 6 | 1 | 3 | 5 |
| 3 | 3 | 6 | 2 | 5 | 1 | 4 |
| 4 | 4 | 1 | 5 | 2 | 6 | 3 |
| 5 | 5 | 3 | 1 | 6 | 4 | 2 |
| 6 | 6 | 5 | 4 | 3 | 2 | 1 |
Übung: Stelle die Verknüpfungstabelle für (Zn, +) und (Zn ohne 0, *) mit n = 5, 13, 17 oder 23 auf!
Übung: Was spricht dagegen, (Z4 ohne 0, *) ein Gruppe zu nennen?
Talk[edit]
Jemand fragte: Wozu braucht man Gruppen bzw. warum ist es wichtig, sie zu definieren?
Antwort: solche Fragen darf man Mathematikern nich stellen!!! ;) Bei Mathe macht man oft erstmal irgendwelche komischen Sachen, die auf den ersten Blick nur kompliziert aussehen und man keinen Nutzen direkt erkennen kann. Aber Gruppen sind schon ein sehr wichtiges Grund-Konstrukt unserer heutigen Mathematik! Zum Beispiel schaffen sie sozusagen die "Grundlagen", das man später Körper definieren kann. Wie eingangs erwähnt, ist der Körper über R zusammen mit dem "normalem" + und * das, womit wir jeden Tag rechnen. Ausserdem sind Ringe und Gruppen z.B. in der Verschlüsselungstechnik (z.B. RSA) von enormer Bedeutung. --Took 17:03, 21 February 2006 (CET)
Hat jemand Fragen? Möchte jemand einen Beweis zu einem der mit "Wie man leicht zeigen kann..." eingeleiteten Sätze haben? Der Prof würde auf jeden Fall diesen wichtigen Satz (eigentlich sind es zwei Sätze) beweisen: "Wie man leicht zeigen kann, ist das neutrale Element immer eindeutig festgelegt und zu jedem g aus G existiert genau ein g-1.". Spannender wäre wohl sowas wie "Nicht einmal (Z ohne 0, *) ist eine Gruppe.". Da hat man was auch vom Beweis. Ist einfacher zu verstehn und erklärt wie man mit der Sache umgeht. - Aber das dauert auch so seine Zeit bis man das hier ordentlich reingetippt hat... also tip' ich das nur, wenn das auch jemand sehen möchte... welchen wollt ihr sehn? --Took 02:16, 23 February 2006 (CET)