I ~ E now splits by the embedding of E in I. 3. 3. Let E 1 , E2 be two maximal essential extensions of A contained in injective modules II' 12, Then El ~ E2 and every injective module I containing A also contains a submodule isomorphic to El . Definition. El is called the injective envelope of A. Proof. Consider the diagram r~E' E2 Since E2 is injective there exists ~: El ~ E2 completing the diagram.
A Course in Homological Algebra by Peter J. Hilton, Urs Stammbach