Isomorphie von Gruppen 2012 13: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) |
*m.g.* (Diskussion | Beiträge) |
||
Zeile 3: | Zeile 3: | ||
| valign="top" | | | valign="top" | | ||
<!--- hier drüber nichts eintragen ---> | <!--- hier drüber nichts eintragen ---> | ||
− | |||
+ | =Definition= | ||
+ | {{Definition|(Gruppenisomorphismus)<br />Es seien <math>\left(G, \oplus \right)</math> und <math>\left(H, \otimes \right)</math> zwei Gruppen. Wenn eine Bijektion <math>\varphi</math> von <math>G</math> auf <math>H</math> derart existiert, dass <br /><math>\forall a, b \in G: \varphi(a \oplus b) = \varphi(a) \otimes \varphi(b)</math> gilt, dann sind die beiden Gruppen <math>\left(G, \oplus \right)</math> und <math>\left(H, \otimes \right)</math> isomorph zueinander. Die Abbildung <math>\varphi</math> heißt Gruppenisomorphismus.}} | ||
+ | =Beispiele= | ||
+ | ==Vierergruppen== | ||
+ | ergänzen Sie selbst ... | ||
+ | ==Pfeilklassen der Ebene und <math>\mathbb{R}^2</math>== | ||
+ | Wir legen der Ebene ein kartesisches Koordinatensystem <math>K</math> mit dem Koordinatenursprung <math>O</math> zugrunde. Wir repräsentieren jetzt jede Pfeilklasse durch ihren Repräsentanten mit dem Anfangspunkt <math>0</math>. Jetzt definiren wir die folgende Abbildung <math>\varphi</math> von der Menge der Pfeilklassen auf <math>\mathbb{R}^2</math>:<br /> | ||
+ | *<math>\varphi (\vec{OP}) := \begin{pmatrix} x_P \\ y_P \end{pmatrix}</math> mit <math>x_p, y_P</math> sind die Kordnaten von <math>P</math> bzgl. <math>K</math>. | ||
+ | Behauptung: <math>\varphi</math> ist ein Gruppenisomorphismus von <math>\left(\mathbb{P}_2, +\right)</math> auf <math>\left(\mathbb{R}^2, \oplus\right)</math> | ||
+ | ==Pfeilklassen des Raumes und <math>\mathbb{R}^3</math>== | ||
<!--- hier drunter nichts eintragen ---> | <!--- hier drunter nichts eintragen ---> |
Version vom 12. Dezember 2012, 19:44 Uhr
DefinitionDefinition (Gruppenisomorphismus) BeispieleVierergruppenergänzen Sie selbst ... Pfeilklassen der Ebene undWir legen der Ebene ein kartesisches Koordinatensystem mit dem Koordinatenursprung zugrunde. Wir repräsentieren jetzt jede Pfeilklasse durch ihren Repräsentanten mit dem Anfangspunkt . Jetzt definiren wir die folgende Abbildung von der Menge der Pfeilklassen auf :
Behauptung: ist ein Gruppenisomorphismus von auf Pfeilklassen des Raumes und |