Isomorphie von Gruppen 2012 13: Unterschied zwischen den Versionen

Aus Geometrie-Wiki
Wechseln zu: Navigation, Suche
Zeile 3: Zeile 3:
 
| valign="top" |
 
| valign="top" |
 
<!--- hier drüber nichts eintragen --->
 
<!--- hier drüber nichts eintragen --->
{{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> isomporph zueinander. Die Abbildung <math>\varphi</math> heißt Gruppenisomorphismus.}}
+
{{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.}}
  
  

Version vom 12. Dezember 2012, 19:32 Uhr

Definition


(Gruppenisomorphismus)
Es seien \left(G, \oplus \right) und \left(H, \otimes \right) zwei Gruppen. Wenn eine Bijektion \varphi von G auf H derart existiert, dass
\forall a, b \in G: \varphi(a \oplus b) = \varphi(a) \otimes \varphi(b) gilt, dann sind die beiden Gruppen \left(G, \oplus \right) und \left(H, \otimes \right) isomorph zueinander. Die Abbildung \varphi heißt Gruppenisomorphismus.