Entscheide für die folgenden Paare von Gruppen, ob sie isomorph sind. Wenn sie isomorph sind, dann gib einen Isomorphismus an. Wenn nicht, dann gib eine kurze Begründung an.
- ´(: ZZ_6; + :)´ und ´(: ZZ_2; + :) xx (: ZZ_3; + :)´
- ´(: ZZ_4; + :)´ und ´(: ZZ_12^xx; * :)´
- ´(: RR^+ ; * :)´ und ´(: RR; + :)´
Approach
Teil 1
Fehlt
Teil 2
Erzeugende Elemente von ´(: ZZ_4, + :)´: ´1,3´ ´(: ZZ_12^xx, * :)´ besitzt keine erzeugenden Elemente
=> Es ist keine Abbildung der erzeugenden Elemente möglich und somit auch kein Isomorphismus
Teil 3
´log(a * b) = log(a) + log(b)´
- Übereinstimmung der Definitionsmengen
- ´log´ ist umkehrbar: Exponentialfunktion => bijektiv
=> Abbildung ist der Logarithmus
Solution
- Fehlt
- Es ist keine Abbildung der erzeugenden Elemente möglich und somit auch kein Isomorphismus
- Abbildung ist der Logarithmus
HPI, 2014-06-23, Mathe 2, Aufgabe 45
2014-07-26 19:20:23 UTC
2014-07-26 19:21:26 UTC