An exact sequence is a sequence of algebraic objects and morphisms between them, such that the image of one morphism equals the kernel of the next. This concept is fundamental in homological algebra and is used to study the relationships between algebraic structures in a precise and structured manner.