Extension linéairement disjointe

Extension linéairement disjointe

En mathématiques, deux sous-extensions d'une extension de corps sont dites linéairement disjointes lorsqu'elles sont linéairement indépendantes en un certain sens. Cela permet de déduire des propriétés sur leur compositum ou leur produit tensoriel.

Sommaire

Définition

On fixe une extension de corps (commutatifs) Ω / K. Deux sous-extensions E,F sont dites linéairement disjointes sur K si toute base (vectorielle) {ei}i de E sur K est libre par rapport à F, c'est-à-dire que si une somme finie

∑ fiei
i

dans Ω est nulle avec les f_i\in F, alors ces derniers sont tous nuls. Contrairement à l'apparence immédiate, cette condition est symétrique par rapport à E,F.

La linéaire disjoinction implique que E\cap F=K, mais la réciproque est en général fausse.

Exemples:
  • Dans l'extension {\mathbb C}/{\mathbb Q}, les sous-extensions {\mathbb R} et {\mathbb Q}[i] sont linéairement disjointes sur \mathbb Q.
  • Les sous-extensions {\mathbb Q}[2^{1/3}] et {\mathbb Q}[j2^{1/3}] où j = e2iπ / 3, ne sont pas linéairement disjointes sur \mathbb Q. En effet, la base {1,j21 / 3,(j21 / 3)2} de {\mathbb Q}[j2^{1/3}] vérifie la relation linéaire (j21 / 3)2 + (j21 / 3) + 21 / 3.1 = 0 dans \mathbb C avec coefficients dans {\mathbb Q}[2^{1/3}].
  • Si t\in \Omega est transcendant sur K, alors E: = K(t) et toute sous-extension algébrique F de Ω sont linéairement disjointes.
Démonstration

Si {fi}i est une base de F sur K et si on a une relation

∑ hifi = 0
i

avec h_i\in E des fractions rationnelles à coefficients dans K, on peut multiplier par un polynôme convenable et supposer que les h_i\in K[t]. En écrivant

∑ hifi
i

comme un polynôme en t avec des coefficients dans F, on voit que les coefficents sont tous nuls (car sinon t serait algébrique sur F, donc algébrique sur K). Maintenant les conditions sur les coefficients impliquent facillement que tous les coefficients des hi sont nuls. Donc tous les hi sont nuls.

Caractérisation

On fixe des sous-extensions E,F comme ci-dessus.

  • E,F sont linéairement disjointes sur K si et seulement si l'application canonique E\otimes_K F\to \Omega qui envoie e\otimes f sur ef est injectif (son image est toujours égale au compositum EF).
  • Si l'une des extensions est algébrique, la propriété d'être linéairement disjointe est équivalente à ce que le produit tensoriel d'algèbres E\otimes_K F est un corps.
  • Si E / K est une extension finie, la propriété est équivalente à [EF:F] = [E:K].
  • Si E,F sont des extensions finies, la propriété est équivalente à [EF:K] = [E:K][F:K], ce qui est automatiquement vérifié dès que les degrés [E:K],[F:K] sont premiers entre eux.
Démonstration

On suppose la condition sur l'intersection vérifiée (l'inverse étant vraie en général). On écrit E = K[θ] et P(T) le polynôme minimal de θ sur K. Si P(T) a un facteur irréductible unitaire f(T)\in F[T], alors f(T)\in E[T] car P(T) se décompose complètement dans E. Il suit que f(T)\in F[T]\cap E[T]=K[T]. Donc f(T) = P(T) et ce dernier est irréductible sur F. Par conséquent, E\otimes_K F=F[T]/(P(T)) est un corps.

Une application en géométrie algébrique

Soit X une variété algébrique intègre sur K. Soit Ω une clôture algébrique du corps des fonctions rationnelles K(X) de X, et soit F la fermeture algébrique de K dans Ω. C'est un corps algébriquement clos. Alors X est géométriquement intègre (i.e. la variété XF obtenue par changement de base {\rm Spec} F\to {\rm Spec} K est intègre) si et seulement si K(X) et F sont linéairement disjointes sur K. Si K est parfait, F est galoisienne (éventuellement infinie) sur K. La caractérisation plus haut s'applique encore, et X est géométriquement intègre si et seulement si F\cap K(X)=K (autrement dit, K est algébriquement fermé dans K(X)).

Références bibliographiques

N. Bourbaki: Algèbre, (Chapitre V), Masson, 1981.


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Extension linéairement disjointe de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • Extension séparable — Une extension algébrique L d un corps K est dite séparable si le polynôme minimal de tout élément de L n admet que des racines simples (dans une clôture algébrique de K). La séparabilité est une des propriétés des extensions de Galois. Toute… …   Wikipédia en Français

  • Projet:Mathématiques/Liste des articles de mathématiques — Cette page n est plus mise à jour depuis l arrêt de DumZiBoT. Pour demander sa remise en service, faire une requête sur WP:RBOT Cette page recense les articles relatifs aux mathématiques, qui sont liés aux portails de mathématiques, géométrie ou… …   Wikipédia en Français

  • Clôture parfaite — En mathématiques et plus précisément dans la théorie des extensions de corps, la clôture parfaite d un corps est grosso modo une extension algébrique parfaite minimale. Sommaire 1 Définition 2 Existence 3 Critère de séparabilité de MacLane …   Wikipédia en Français

  • SYSTÈMES DYNAMIQUES DIFFÉRENTIABLES — Sans doute née avec le mémoire que Poincaré écrivit en 1881 «sur les courbes définies par des équations différentielles», où l’étude quantitative (analytique) locale des équations différentielles dans le champ complexe est remplacée par leur… …   Encyclopédie Universelle

  • Division Euclidienne — En mathématiques, et plus précisément en arithmétique, la division euclidienne ou division entière est une opération qui, à deux entiers naturels appelés dividende et diviseur, associe deux entiers appelés quotient et reste. Initialement définie… …   Wikipédia en Français

  • Division entière — Division euclidienne En mathématiques, et plus précisément en arithmétique, la division euclidienne ou division entière est une opération qui, à deux entiers naturels appelés dividende et diviseur, associe deux entiers appelés quotient et reste.… …   Wikipédia en Français

  • Division euclidienne — écriture de la division euclidienne de 30 par 7, le quotient est 4 et le reste 2 En mathématiques, et plus précisément en arithmétique, la division euclidienne ou division entière est une opération qui, à deux entiers naturels appelés dividende… …   Wikipédia en Français

  • Rapport (Mathématiques) — Division euclidienne En mathématiques, et plus précisément en arithmétique, la division euclidienne ou division entière est une opération qui, à deux entiers naturels appelés dividende et diviseur, associe deux entiers appelés quotient et reste.… …   Wikipédia en Français

  • Rapport (mathématiques) — Division euclidienne En mathématiques, et plus précisément en arithmétique, la division euclidienne ou division entière est une opération qui, à deux entiers naturels appelés dividende et diviseur, associe deux entiers appelés quotient et reste.… …   Wikipédia en Français

  • Catégorie des variétés différentielles — Variété (géométrie) Pour les articles homonymes, voir Variété. Réalisation du ruban de Möbius, à partir du collage d une bande de papier. Le bord n est que d …   Wikipédia en Français

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”