An exact sequence is a concept in mathematics, especially in ring and module theory, homological algebra, as well as in differential geometry and group theory. An exact sequence is a sequence, either finite or infinite, of objects and morphisms between them such that the image of one morphism equals the kernel of the next.