Homology, Exact Sequence

Exact Sequence

A chain of modules is exact if the image of each is the subsequent kernel. In other words, the homology groups are all trivial.

If a chain is exact, it should be called an exact chain, but it's not. Instead, it is called an exact sequence. I guess the word "exact" tells you it's a chain, so you know what is going on. I know, I don't like it either.

If an exact sequence begins 0 → A → B, the image of 0 is 0, which becomes the kernel of A, hence A embeds in B.

If an exact sequence ends B → C → 0, C is the kernel of the second homomorphism, and the image of the first, hence B maps onto C.

If A is a submodule of B, and C equals B/A, the following is an exact sequence; in fact it is called a short exact sequence.

0 → A → B → C → 0

If A and C are finitely generated, these generators combine to produce the module B, hence B is finitely generated. Conversely, assume B is finitely generated and R is noetherian. This makes B a noetherian module, whence A and C are also noetherian. Since Z is noetherian, B is a finitely generated abelian group iff A and C are finitely generated abelian groups.

Split Exact

If a short exact sequence is split exact, then B is the direct product of A and C, at least up to isomorphism. The homomorphism from A into B is an injection, and the homomorphism from B onto C is a projection. Also, if C is a free module, or a projective module, the short exact sequence is automatically split exact. I'm not going to prove this here, because it's already been done somewhere else. Please review split exact sequences, then use your back key to return to this page.