Let be a ring with 1. Suppose is a left unital -module with the property that every short exact sequence splits and suppose is an injective module homomorphism. Prove that for every module homomorphism there exists a homomorphism such that .
We will take the lifting property of to be the definition of “injective module” to avoid circular reasoning; we showed in these two exercises that every module is contained in a module with the lifting property, and our proof of this previous exercise depends on Baer’s criterion, which in turn uses only the lifting property of injective modules.
Note that there exists (by this exercise) an injective module and an injective module homomorphism . Note that the sequence is exact, and so splits. Thus . By this previous exercise, is injective, so that (by our definition) every homomorphism lifts to a homomorphism .