Développement : Caractérisation d'un élément algébrique et structure des nombres algébriques

Détails/Enoncé :

On montre le théorème de la base télescopique :

Théorème. (de la base télescopique).- Soient $K\subseteq L\subseteq M$ une tour de corps. Si $(e_i)_{i\in I}$ est une base de $L$ en tant que $K$-espace vectoriel et $(f_j)_{j\in J}$ base de $M$ en tant que $L$-espace vectoriel. Alors $(e_if_j)_{(i,j)\in I\times J}$ est une base de $M$ en tant que $K$-espace vectoriel. De plus si $[L:K]<+\infty$ et $[M:L]<+\infty$ alors $[M:K]=[M:L][L:K]$.

Puis la caractérisation d'un élément algébrique :

Théorème.- Soient $K$ un corps et $L$ une extension de corps de $K$. Soit $\alpha\in L$. On a équivalence entre :
(i) $\alpha$ est algébrique sur $K$
(ii) $K[a]=K(a)$
(iii) $[K[a]:K]<+\infty$.

On montre finalement :

Théorème.- Soient $K$ un corps et $L$ une extension de corps de $K$. L'ensemble des éléments de $L$ algébrique sur $K$ est une sous-$K$-algèbre de $L$ de dimension fini.

Recasages pour l'année 2025 :

Autres années :

Versions :

Pas de version pour ce développement.

Références utilisées dans les versions de ce développement :