Es ist
so dass ein Gruppenhomomorphismus vorliegt. Wegen
ist einerseits
so dass κ g {\displaystyle {}\kappa _{g}} bijektiv, also ein Automorphismus, ist. Andererseits ist deshalb die Gesamtabbildung κ {\displaystyle {}\kappa } ein Gruppenhomomorphismus.