Rational-komplexe Zahlen/Betragsquadrat ist Gruppenhomomorphismus/Aufgabe

Zeige, dass die Abbildung

ein Gruppenhomomorphismus ist.