Universal of a square

January 16th, 2010, 1 Comment

Let and be left -modules. We say that is a universal of the square diagram if whenever we have another diagram there exist a unique homomorphism such that the following diagram commutes We want to show that the universal is unique of  to isomorphism, i.e., if we have two universal and then they are isomorphic. [...]