Isomorphie von Gruppen 2012 13: Unterschied zwischen den Versionen
Aus Geometrie-Wiki
*m.g.* (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „<div style="margin:0; margin-right:4px; border:1px solid #27408B; padding: 1em 1em 1em 1em; background-color:#B9D0F0; align:left;"> {|width=90%| style="background…“) |
*m.g.* (Diskussion | Beiträge) (→Pfeilklassen des Raumes und \mathbb{R}^3) |
||
(4 dazwischenliegende Versionen von einem Benutzer werden nicht angezeigt) | |||
Zeile 4: | Zeile 4: | ||
<!--- 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>== | |
+ | analog zum zweidimensionalen Fall | ||
<!--- hier drunter nichts eintragen ---> | <!--- hier drunter nichts eintragen ---> | ||
[[Kategorie:Linalg]] | [[Kategorie:Linalg]] |
Aktuelle 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 undanalog zum zweidimensionalen Fall |