2003/06/10 by L. Saidane, Lotfi Saıdane, Saidane, L.
Computer Science · Mathematics · #FOS: Mathematics #Logic (math.LO) #Polynomial and algebraic computation #math.LO
paper · pdf · doi:10.48550/arxiv.math/0306169
19 pages, in French
arxiv created 2003/06/10 · openalex publication_date 2003/06/10 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Let k be a differential field and C its subfield of constants. In general a differential extension K of k add some new constants to C, and it is difficult to prove that C stay unchangeable under the extension K; This situation is provided by the Picard-Vessiot extension. Kolchin prove the theorem of existence and unicity for these extensions. The aim of this paper is to prove Kolchin theorem and other results, in a simple manner, by means of the theory of models and logic. ----- Soit k un corps différentiel et C son sous corps des constantes. En général une extension différentiel K de k modifie le corps des constantes C de k. Prouver que K ne modifie pas C est un problème assez difficile en algèbre différentiel. Les extensions de Picard-Vessiot constitue un exemple de cette situation. Kolchin a montré le théorème d'existence et d'unicité, à isomorphisme prés, des extensions de Picard-Vessiot sous la condition que le corps C est algébriquement clos. Dans ce travail on utilise la théorie des corps différentiellements clos (Théorie des modèles), pour montrer l'existence et l'unicité, à isomorphisme prés, des extensions de Picard-Vessiot. On calcul ensuite le groupe de Galois différentiel de certaines extensions particulière. Enfin, on montre quelque théorèmes généraux de la théorie de Galois différentielle par les mêmes techniques.