Picard–Vessiot theory
In differential algebra, Picard–Vessiot theory is the study of the differential field extension generated by the solutions of a linear differential equation, using the differential Galois group of the field extension. A major goal is to describe when the differential equation can be solved by quadratures in terms of properties of the differential Galois group.