Bonjour à tous,

Où je peux trouver une démonstration claire et détaillée du théorème suivant : ( ? )

Théorème :

Let be the algebraic subgroup of the group of invertible linear transformations of the solution space of the linear differential equation of order at some point which form a -dimentional vector space over .

is the differential field obtained by adjoining all solutions of and their derivative over , the differential field of rationally known quantities.

Then, ?

Merci d'avance pour votre aide.