Given two groups A and B and an injective homomorphism f: A → B. When does a homomorphism g: B → A exist with gf = id<sub>A</sub> (but not necessarily fg = id<sub>B</sub>)?