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.
-----