Résume | Une extension de corps valués (K ⊆ L, v) est dite séparée si tout K-sous espace vectoriel V ⊆ L de dimension finie admet une base séparée, c'est-à-dire, une base u_1, ... ,u_n telle que pour tout k_1,...,k_n in K,
v(Σ_i=1^n k_i u_i) = min_i v (k_iu_i).
Différents résultats autour de ces extensions, notamment issus des travaux de Walter Baur et de Françoise Delon, utilisent des outils de la théorie des modèles de paires de corps valués. Dans cet exposé je revisiterai certains de ces résultats en essayant de garder un point de vue algébrique. De plus, je discuterai le lien avec les extensions algébriques dites sans défaut. Il s'agit d'un travail en commun avec Ania Blaszczok et Franz-Viktor Kuhlmann.
|