is an exact sequence of -modules, where the module homomorphism maps each element of to the element of the direct sum , and the homomorphism maps each element of to .
is an exact sequence of -modules where the module homomorphism maps each element of to the element of the direct sum , and the homomorphism maps each element of to .