From f46f0f28d637462434c0d65fc82a3531cbb0f4fb Mon Sep 17 00:00:00 2001 From: "David A. Madore" Date: Wed, 10 Feb 2016 16:05:28 +0100 Subject: More about algebraic extensions. Transcendence degree. --- notes-accq205.tex | 258 ++++++++++++++++++++++++++++++++++++++++++++++++------ 1 file changed, 232 insertions(+), 26 deletions(-) diff --git a/notes-accq205.tex b/notes-accq205.tex index f0d6da7..66f90c6 100644 --- a/notes-accq205.tex +++ b/notes-accq205.tex @@ -34,6 +34,7 @@ % \newcommand{\id}{\operatorname{id}} \newcommand{\Frac}{\operatorname{Frac}} +\newcommand{\degtrans}{\operatorname{deg.tr}} % \DeclareUnicodeCharacter{00A0}{~} % @@ -162,6 +163,43 @@ premier mais non maximal puisque $k[x,y]/(y) \cong k[x]$, tandis que l'idéal $(x,y)$ (des polynômes s'annulant à l'origine) est maximal puisque $k[x,y]/(x,y) \cong k$. +\bigbreak + +Le résultat ensembliste suivant sera admis : +\begin{lem}[principe maximal de Hausdorff]\label{hausdorff-maximal-principle} +Soit $\mathscr{F}$ un ensemble de parties d'un ensemble $A$. On +suppose que $\mathscr{F}$ est non vide et que pour toute partie non +vide $\mathscr{T}$ de $\mathscr{F}$ totalement ordonnée par +l'inclusion (c'est-à-dire telle que pour $I,I' \in \mathscr{T}$ on a +soit $I \subseteq I'$ soit $I \supseteq I'$) la réunion $\bigcup_{I + \in \mathscr{T}} I$ soit contenue dans un élément de $\mathscr{F}$. +Alors il existe dans $\mathscr{F}$ un élément $M$ maximal pour +l'inclusion (c'est-à-dire que si $I \supseteq M$ avec $I \in +\mathscr{F}$ alors $I=M$). +\end{lem} + +\begin{prop}\label{existence-maximal-ideals} +Dans un anneau $A$, tout idéal strict (=autre que $A$) est inclus dans +un idéal maximal. +\end{prop} +\begin{proof} +Si $I$ est un idéal strict de $A$, on applique le principe maximal de +Hausdorff à $\mathscr{F}$ l'ensemble des idéaux stricts de $A$ +contenant $I$. Si $\mathscr{T}$ est une chaîne (=partie totalement +ordonnée pour l'inclusion) de tels idéaux, la réunion $\bigcup_{I \in + \mathscr{T}} I$ en est encore un\footnote{La réunion de deux idéaux + n'est généralement pas un idéal, car si $x\in I$ et $x' \in I'$, la + somme $x+x'$ n'a pas de raison d'appartenir à $I\cup I'$. En + revanche, si $\mathscr{T}$ est une famille d'idéaux totalement + ordonnée par l'inclusion, alors $\bigcup_{I \in \mathscr{T}} I$ est + un idéal : si $x\in I$ et $x' \in I'$, où $I,I'\in \mathscr{T}$, on + peut écrire soit $I \subseteq I'$ soit $I'\subseteq I$, et dans un + cas comme dans l'autre on a $x+x' \in \bigcup_{I \in \mathscr{T}} + I$.} (pour voir que la réunion est encore un idéal strict, remarquer +que $1$ n'y appartient pas). Le principe maximal de Hausdorff permet +de conclure. +\end{proof} + \thingy Si $A$ est un anneau intègre, on définit un corps $\Frac(A)$, dit \textbf{corps des fractions} de $A$, dont les éléments sont les symboles formels $\frac{a}{q}$ avec $a \in A$ et $q \in A @@ -241,6 +279,14 @@ $k$-algèbre de type fini $k[x_1,\ldots,x_n]$ est la même chose qu'un \emph{quotient} de l'algèbre de polynômes $k[t_1,\ldots,t_n]$ (par le noyau du morphisme d'évaluation). +Pour ce qui est du cas infini : la $k$-algèbre $k[x_i]_{i\in I}$ +engendrée par une famille quelconque $(x_i)_{i\in I}$ d'éléments de +$A$ est la \emph{réunion} des algèbres $k[x_i]_{i\in J}$ engendrées +par toutes les sous-familles finies (i.e., $J\subseteq I$ fini) de la +famille donnée. (Autrement dit, $y \in A$ appartient à $k[x_i]_{i\in + I}$ si et selement si il existe $J\subseteq I$ fini tel que $y$ +appartienne à $k[x_i]_{i\in J}$.) + \thingy Une \textbf{extension de corps} est un morphisme d'anneaux $k \to K$ entre corps (c'est-à-dire que $K$ est une $k$-algèbre qui est un corps). Un tel morphisme est automatiquement injectif (car son @@ -285,6 +331,14 @@ sommes, produits et inverses (d'éléments non nuls). Autrement dit, ce sont les valeurs des fractions rationnelles à coefficients dans $k$ évalués en des $x_i$ (à condition d'être bien définies). +Pour ce qui est du cas infini : la sous-extension $k(x_i)_{i\in I}$ +engendrée par une famille quelconque $(x_i)_{i\in I}$ d'éléments de +$K$ est la \emph{réunion} des sous-extensions $k(x_i)_{i\in J}$ +engendrées par toutes les sous-familles finies (i.e., $J\subseteq I$ +fini) de la famille donnée. (Autrement dit, $y \in K$ appartient à +$k(x_i)_{i\in I}$ si et selement si il existe $J\subseteq I$ fini tel +que $y$ appartienne à $k(x_i)_{i\in J}$.) + \subsection{Extensions algébriques et degré} \thingy\label{monogeneous-extensions-dichotomy} Si $k \subseteq K$ est @@ -349,7 +403,8 @@ de $k(x) = k[t]/(\mu)$ s'identifie avec $a \in k$). \thingy Une extension de corps $k\subseteq K$ est dite \textbf{algébrique} lorsque chaque élément de $K$ est algébrique -sur $k$. +sur $k$. On dit aussi que $K$ est algébrique « au-dessus de » $k$ ou +« sur » $k$. Un corps $k$ est dit \textbf{algébriquement clos} lorsque la seule extension algébrique de $k$ est $k$ lui-même : d'après les remarques @@ -360,7 +415,8 @@ irréductibles dans $k[t]$ sont les $t-a$. considérer $K$ comme un $k$-espace vectoriel, et sa dimension (finie ou infinie) est notée $[K:k]$ et appelée \textbf{degré} de l'extension. Une extension de degré fini est aussi dite -\textbf{finie}. +\textbf{finie}. Il va de soi qu'une sous-extension d'une extension +finie est encore finie. Il résulte de l'identification de $k(x)$ à $k[t]/(\mu_x)$ que, si $x$ est un élément algébrique sur $k$, alors $[k(x):k]$ est fini et égal @@ -371,29 +427,63 @@ montré que : \emph{l'extension monogène $k\subseteq k(x)$ est finie si \thingy On aura également besoin du fait que si $k \subseteq K \subseteq L$ sont deux extensions imbriquées alors -$[L:k] = [K:k] \, [L:K]$ (au sens où le membre de gauche est fini si et -seulement si les deux facteurs du membre de droite le sont, et dans ce -cas leur produit lui est égal). Cela résulte du fait plus précis que -si $(x_\iota)_{\iota\in I}$ est une $k$-base de $K$ et -$(y_\lambda)_{\lambda\in\Lambda}$ une $K$-base de $L$, alors $(x_\iota -y_\lambda)_{(\iota,\lambda)\in I\times\Lambda}$ est une $k$-base -de $L$ (vérification aisée). +$[L:k] = [K:k] \, [L:K]$ (au sens où le membre de gauche est fini si +et seulement si les deux facteurs du membre de droite le sont, et dans +ce cas leur produit lui est égal). Cela résulte du fait plus précis +que si $(x_i)_{i\in I}$ est une $k$-base de $K$ et $(y_j)_{j\in J}$ +une $K$-base de $L$, alors $(x_i y_j)_{(i,j)\in I\times J}$ est une +$k$-base de $L$ (vérification aisée). -\thingy Les deux faits suivants sont à noter : +\thingy\label{basic-facts-algebraic-extensions} Les faits suivants sont à noter : -Une extension de corps engendrée par un nombre fini d'éléments +(1) Une extension de corps engendrée par un nombre fini d'éléments algébriques est finie (en effet, si $x_1,\ldots,x_n$ sont algébriques sur $k$, alors chaque extension $k(x_1,\ldots,x_{i-1}) \subseteq k(x_1,\ldots,x_i)$ est monogène algébrique, donc finie, donc leur composée est fini). -Une extension $k\subseteq K$ est finie si et seulement si elle est à -la fois algébrique et de type fini. (Le sens « si » résulte de -l'affirmation précédente ; pour le sens « seulement si », remarquer -que pour tout $x\in K$, l'extension $k\subseteq k(x)$ est finie donc +(2) Une extension $k\subseteq K$ est finie si et seulement si elle est +à la fois algébrique et de type fini. (Le sens « si » résulte de +l'affirmation (1) ; pour le sens « seulement si », remarquer que pour +tout $x\in K$, l'extension $k\subseteq k(x)$ est finie donc algébrique, et qu'une base de $K$ comme $k$-espace vectoriel engendre certainement $K$ comme extension de corps de $k$.) +(3) Une extension de corps engendrée par une famille quelconque +d'éléments algébriques est algébrique (en effet, si $K = k(x_i)_{i\in + I}$ et $y \in K$, alors, cf. \ref{subfield-generated-is-quotients}, +$y$ appartient à $k(x_i)_{i\in J}$ pour une sous-famille finie des +$x_i$, et d'après le (1), cette extension est finie sur $k$ donc +$k(y)$ l'est, c'est-à-dire que $y$ est algébrique sur $k$). +Concrètement, donc, les sommes, différences, produits et inverses de +quantités algébriques sur $k$ sont algébriques sur $k$. + +(4) Si $k\subseteq K$ et $K\subseteq L$ sont algébriques alors +$k\subseteq L$ l'est (en effet, si $y \in L$, et si $x_1,\ldots,x_n +\in K$ sont les coefficients du polynôme minimal de $y$ sur $L$, alors +$y$ est algébrique sur $k(x_1,\ldots,x_n)$, qui est une extension +finie de $k$ d'après (1), donc $k(x_1,\ldots,x_n,y)$ est une extension +finie de $k(x_1,\ldots,x_n)$ donc de $k$, donc $k(y)$ est une +extension finie de $k$, donc $y$ est algébrique sur $k$). + +\thingy L'observation (3) ci-dessus entraîne que si $k\subseteq K$ est +une extension de corps, l'extension de $k$ engendrée par tous les +éléments de $K$ algébriques sur $k$ est tout simplement +l'\emph{ensemble} de tous les éléments de $K$ algébriques sur $k$, +c'est-à-dire que cet ensemble est un corps, qui est manifestement la +plus grande extension intermédiaire algébrique sur $k$ : on l'appelle +la \textbf{fermeture algébrique} de $k$ dans $K$ (la précision +« dans $K$ » est importante). + +Si c'est précisément $k$, on dit que $k$ est \textbf{algébriquement + fermé} dans $K$ : autrement dit, cela signifie que tout élément +de $K$ est soit transcendant sur $k$ soit élément de $k$ (=algébrique +de degré $1$). Un corps algébriquement clos est algébriquement fermé +dans toute extension, mais un corps peut être algébriquement fermé +dans une extension sans pour autant être algébriquement clos (par +exemple $\mathbb{Q}$ dans le corps $\mathbb{Q}(t)$ des fractions +rationnelles). + \subsection{Bases et degré de transcendance} @@ -401,22 +491,24 @@ certainement $K$ comme extension de corps de $k$.) Si $k\subseteq K$ est une extension de corps, une famille finie $x_1,\ldots,x_n$ d'éléments de $K$ est dite \textbf{algébriquement indépendante} (il serait plus logique de dire « collectivement -transcendante ») lorsque le seul polynôme $P \in k[t_1,\ldots,t_n]$ à -coefficients dans $k$ et tel que $P(x_1,\ldots,x_n) = 0$ est le -polynôme nul, autrement dit, lorsque le morphisme « d'évaluation » -$k[t_1,\ldots,t_n] \to K$ (avec $k[t_1,\ldots,t_n]$ l'anneau des -polynômes en $n$ indéterminées) envoyant $P$ sur $P(x_1,\ldots,x_n)$ -est injectif. En particulier, chacun des $x_i$ est transcendant -sur $k$. + transcendante ») sur $k$ lorsque le seul polynôme $P \in +k[t_1,\ldots,t_n]$ à coefficients dans $k$ et tel que +$P(x_1,\ldots,x_n) = 0$ est le polynôme nul, autrement dit, lorsque le +morphisme « d'évaluation » $k[t_1,\ldots,t_n] \to K$ (avec +$k[t_1,\ldots,t_n]$ l'anneau des polynômes en $n$ indéterminées) +envoyant $P$ sur $P(x_1,\ldots,x_n)$ est injectif. En particulier, +chacun des $x_i$ est transcendant sur $k$ ; et un unique élément $x$ +de $K$ est algébriquement indépendant sur $k$ si et seulement si il +est transcendant sur $k$. On dit d'une famille infinie $(x_i)$ d'éléments de $K$ qu'elle est -algébriquement indépendante lorsque toute sous-famille finie d'entre -eux l'est. +algébriquement indépendante sur $k$ lorsque toute sous-famille finie +d'entre eux l'est. Une famille $(x_i)$ d'éléments de $K$ est appelée \textbf{base de transcendance} de $K$ sur $k$ lorsqu'elle est algébriquement -indépendante est $K$ est une extension algébrique de l'extension -$k(x_i)$ de $k$ engendrée par les $x_i$. +indépendante sur $k$ et que $K$ est algébrique au-dessus de +l'extension $k(x_i)$ de $k$ engendrée par les $x_i$. \end{defn} \thingy Il est trivialement le cas que $t_1,\ldots,t_n$ sont @@ -462,6 +554,120 @@ Si $x_i$ est une base de transcendance de $K$ sur $k$, celle-ci \subseteq k(x_i)$ est transcendante pure, et l'extension $k(x_i) \subseteq K$ est algébrique. +\begin{prop}\label{transcendence-basis-facts} +Soit $k \subseteq K$ une extension de corps. + +(1a) Toute famille algébriquement indépendante sur $k$ d'éléments +de $K$ se complète en une base de transcendance de $K$ sur $k$. (Ceci +s'applique notamment à la famille vide, donc il existe toujours une +base de transcendance de $K$ sur $k$.) (1b) De toute famille qui +engendre $K$ en tant qu'extension de corps de $k$ (ou même : qui +engendre un corps intermédiaire $E$ au-dessus duquel $K$ est +algébrique) on peut extraire une base de transcendance. + +(2) \textit{Lemme d'échange :} Si $z_1,\ldots,z_n$ est une base de +transcendance finie de $K$ sur $k$ et $t$ un élément de $K$ tel que +$z_1,\ldots,z_\ell,t$ soient algébriquement indépendants sur $k$ (pour +un certain $\ell$, qui peut être $0$), alors il existe $j$ entre +$\ell+1$ et $n$ tel qu'en remplaçant $z_j$ par $t$ dans la base de +transcendance $z_1,\ldots,z_n$ on obtienne encore une base de +transcendance. + +(3) Deux bases de transcendance de $K$ sur $k$ ont toujours le même +cardinal. +\end{prop} +\begin{proof} +(1a) Le principe de maximalité de + Hausdorff (\ref{hausdorff-maximal-principle}, appliqué à l'ensemble + $\mathscr{F}$ des familles algébriquement indépendantes sur $k$) + montre que toute famille algébriquement indépendante est contenue + dans une famille algébriquement indépendante maximale. Montrons + qu'une telle famille est une base de transcendance : si $(x_i)_{i\in + I}$ est une famille algébriquement indépendante maximale, on veut + donc prouver que $K$ est algébrique sur $k(x_i)_{i\in I}$ ; pour + cela, soit $t \in K$, on veut montrer qu'il n'est pas transcendant + sur $k(x_i)_{i\in I}$. Mais s'il l'est, on observe que la famille + obtenue en rajoutant $t$ à la famille $(x_i)_{i \in I}$ est encore + algébriquement indépendante : en effet, si on avait un polynôme + $P(t,(x_i))$ qui l'annulât, en considérant $P$ comme polynôme de la + seule variable $t$ (dont il dépend effectivement, sinon il donnerait + une relation de dépendance algébrique entre les $x_i$, chose qui + n'existe pas) on contredirait la transcendance de $t$ sur + $k(x_i)_{i\in I}$. Par maximalité de $(x_i)_{i\in I}$, ceci ne peut + pas se produire : donc $K$ est bien algébrique sur $k(x_i)_{i\in I}$ + et $(x_i)_{i\in I}$ est une base de transcendance. + +(1b) Soit maintenant $(x_i)_{i\in J}$ une famille génératrice (i.e., + $K = k(x_i)_{i \in J}$) ou telle que $K$ soit algébrique sur $E = + k(x_i)_{i \in J}$ : soit $I$ une partie maximale de $J$ telle que + $(x_i)_{i\in I}$ soit algébriquement indépendante (de nouveau on + utilise le principe de maximalité), et on va montrer qu'il s'agit + d'une base de transcendance. Si ce n'est pas le cas, l'extension + $K$ de $k(x_i)_{i\in I}$ n'est pas algébrique, donc + (cf. \ref{basic-facts-algebraic-extensions}(3)) elle ne peut pas + être engendrée uniquement par des éléments algébriques, autrement + dit il existe $j\in J$ (et évidemment $j\not\in I$) tel que $x_j$ + soit transcendant sur $k(x_i)_{i\in I}$, et par ce qu'on vient + d'expliquer la famille obtenue en rajoutant $j$ à $I$ contredit la + maximalité de $I$. + +(2) Soit $z_1,\ldots,z_n$ une base de transcendance (finie) et $t \in + K$ tel que $z_1,\ldots,z_\ell,t$ soient algébriquement indépendants. + Puisque $t \in K$ est algébrique sur $k(z_1,\ldots,z_n)$, on peut + trouver une relation de dépendance algébrique $P(t,z_1,\ldots,z_n) = + 0$ ; comme $z_1,\ldots,z_\ell,t$ sont algébriquement indépendants + par hypothèse, le polynôme $P$ ne peut pas dépendre que de ces + variables, donc il doit faire intervenir $z_j$ pour un certain $j$ + entre $\ell+1$ et $n$. Soit $z'_i$ défini par $z'_i = z_i$ si + $i\neq j$ et $z'_j = t$. La relation $P(t,z_1,\ldots,z_n) = 0$, ou, + quitte à échanger deux variables, $\hat P(z_j,z'_1,\ldots,z'_n) = + 0$, se lit aussi comme affirmant que $z_j$ est algébrique sur + $k(z'_1,\ldots,z'_n)$ : il s'ensuit que $K$ est algébrique sur + $k(z'_1,\ldots,z'_n)$ (puisqu'il est algébrique sur + $k(z_1,\ldots,z_n)$ et qu'on vient de voir que ce dernier est + algébrique sur $k(z'_1,\ldots,z'_n)$, + cf. \ref{basic-facts-algebraic-extensions} (3) et (4)). D'autre + part, les $z'_i$ sont algébriquement indépendants : car s'ils ne + l'étaient pas, comme les $z_1,\ldots,z_n$ le sont, une relation + $Q(z'_1,\ldots,z'_n)=0$ ferait intervenir $z'_j = t$, c'est-à-dire + que $t$ serait algébrique sur les autres $z'_i$, donc $z_j$ serait + algébrique sur les $z'_i = z_i$ pour $i \neq j$ (vu qu'on sait déjà + qu'il est algébrique sur tous les $z'_i$), or par hypothèse ce n'est + pas le cas. On a bien prouvé que les $z'_i$ forment une base de + transcendance de $K$ sur $k$. + +(3) Tout d'abord, s'il existe une base de transcendance finie + $z_1,\ldots,z_n$, alors toute famille algébriquement indépendante + $x_1,\ldots,x_{n'}$ vérifie $n' \leq n$. En effet, si $n'>n$, le + lemme d'échange permet de remplacer un des $z_i$, mettons $z_1$, par + $x_1$, puis un des $z_i$ autre que $z_1$, mettons $z_2$, par $x_2$, + et ainsi de suite, toujours en obtenant des bases de transcendance. + Finalement, on voit que $x_1,\ldots,x_n$ est une base de + transcendance, contredisant le fait supposé que les $x_i$ pour + $n