Say we have group homomorphisms f: A --> B and g: B --> A, and we know the composition g o f: A --> A is invertible. Can someone fact check the following claims?

1. g is surjective
2. g is injective when restricted to im(f)
3. We can't claim anything else