Take , , and the short exact sequence
Multiplication by two is injective, and the reduction map has image all of and kernel , proving exactness. Any module homomorphism from to is zero: its generator must map to an integer killed by two. On the other hand, a homomorphism from to itself is determined arbitrarily by the image of its generator, so its Hom group is . Applying the Hom functor therefore gives
This sequence is not exact at : the incoming image is zero while the outgoing kernel is the whole nonzero group. In particular, the identity of cannot lift through the reduction map to a map .

Articles by others on the same topic (0)

There are currently no matching articles.