Wie bestimme ich, ob eine Abbildung ein Gruppenhomomorphismus oder ein Homomorphismus abelscher Gruppen darstellt? (siehe Aufgabe)
Es seien Gruppen \(G\) und \(H\) gegeben. Ein \newnotion{Gruppenhomomorphismus}
von \(G\) nach \(H\) ist eine Abbildung \(\varphi\colon G \rightarrow H\) derart, dass für \( x, x' \in G \) stets \( \def \arraystretch{1.0} \varphi(x \cdot^{G} x') = \varphi(x) \cdot^{H} \varphi(x') \) gilt.
Es seien abelsche Gruppen \(A\) und \(B\) gegeben. Ein Homomorphismus abelscher Gruppen von \(A\) nach \(B\) ist ein Gruppenhomomorphismus \(\varphi\colon A \rightarrow B\).
Hinweise: Beachten Sie, dass wir abelsche Gruppen additiv schreiben, wodurch sich auch die Schreibweise der definierenden Eigenschaft eines Homomorphismus abelscher Gruppen ändert. Die im Folgenden auftretenden Mengen seien jeweils als Gruppen bzgl. der im jeweiligen Fall üblichen Multiplikation bzw. als abelsche Gruppen bzgl. der im jeweiligen Fall üblichen Addition aufgefasst.
a) Ist \SymmetricGroup{3} → \SymmetricGroup{3}
, \(\pi \rightarrow \pi^2\) ein Gruppenhomomorphismus?
b) Ist \Integers → \Integers
, \(x → 2 x\) ein Homomorphismus abelscher Gruppen?
c) Ist \Units{\Integers} → \Units{\Integers}
, \(x → 1\) ein Gruppenhomomorphismus?
d) Ist \sgn\colon \Units{\Reals} → \Units{\Integers}
, \(x → \frac{x}{|x|}\) ein Gruppenhomomorphismus?
e) Ist \Integers → \Integers / 16\), \(x → [x]
ein Homomorphismus abelscher Gruppen?