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.