Nehmen wir mal fa .
Um "injektiv" zu beweisen musst du zeigen
   fa(x) = fa(y) ==>     x=y
Dies folgt so   a*x = a*y  | * (von links mit a^(-1) , was ja in der Gruppe existiert )
                  x = y .
"surjektiv"   Sei y ∈ G . Zeige: Es gibt x ∈ G mit fa(x)=y .
Also suche ein x mit   a*x = y
                    also  x = a^(-1) * y .
Wegen der Abgeschlossenheit von G ist  a^(-1) * y ∈ G,
also ist auch "surjektiv" gezeigt.