Picard–Vessiot theory

Picard–Vessiot theory is a framework in differential algebra that generalizes the concepts of Galois theory to the setting of differential equations. It deals with the study of algebraic properties of differential fields—fields equipped with a derivation—and the solutions of linear differential equations.