Fermeture algébrique d'une intersection
dans Algèbre
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 ?
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$.
-
Of course
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres