Ich rate mal: G sind die geraden ganzen Zahlen.
Dann ist f:G→ℤ mit f(x) = x:2 so eine Bijektion.
Denn das ist wohldefiniert, weil jeder gerade Zahl
durch 2 teilbar ist,
und injektiv, weil aus x:2 = y:2 ja x=y folgt
und surjektiv, weil es zu jedem y∈ℤ ein x=2*y in G gibt .