short exact sequence

Definition

A short exact sequence is sequence of morphisms between objects of the form

such that the image of one morphism equals the kernel of the next.

Special properties

This means that the morphism is injective and is surjective.

Behavior with tensoring in -mod

Let

be a short exact sequence of R-modules. Then using the tensor product,

is exact.

Proof

todo