Fermeture algébrique d'une intersection

Bonjour à tous.

On considère une famille d'extensions de corps $k \subset K_i \subset \Omega$ pour $i \in I$ et on note $L_i$ la fermeture algébrique de $K_i$ dans $\Omega$.
Soit $K=\cap_{i \in I} K_i$ et $L$ la fermeture algébrique de $K$ dans $\Omega$.

Soit $x \in L$ et $i \in I$.
Alors il existe un polynôme $P$ non nul de $K[X] \subset K_i[X]$ tel que $P(x)=0$ donc $x$ est algébrique sur $K_i$ et $x \in L_i$.
Ainsi, $L \subset \cap_{i \in I} L_i$.

A-t-on égalité ?

Merci d'avance pour tout indication ?

Réponses

  • Si $x$ est transcendant sur $K$, existe-t-il $i \in I$ tel que $x$ soit transcendant sur $K_i$ ?
  • Une piste (sans garantie) : si on prend pour $(K_i)_{i\in I}$ la famille des corps fixes des involutions de $\C$ ? Alors $L_i=\C$ pour tout $i\in I$, donc $\bigcap_{i\in I}L_i=\C$
  • Essaye $K_i=\Q(X^{2^i})$, $k=K=\Q$, $x=X$.
  • Imparable.
  • Pourtant, le polynôme $Y^{2^{i}}-X^{2^{i}}$ de $K_{i}[Y]$ s'annule en $X$...
  • Justement, donc $X$ est algébrique sur tous les $K_i$ mais pas sur $K$.
Connectez-vous ou Inscrivez-vous pour répondre.