Absolutely \(lq\)-finite extensions (Q2328167): Difference between revisions

Soit \(K/k\) une extension algébrique de corps commutatifs, l'ensemble \(L(K/k)\) des corps intérmédiaires de \(K/k\) est un treillis pour l'inclusion. La structure de ce treillis reflète souvant la structure de \(K/k\) voir [\textit{J. N. Mordeson} and \textit{B. Vinograde}, Structure of arbitrary purely inseparable extension fields. Berlin etc.: Springer-Verlag (1970; Zbl 0208.30402)] chapitre II, c'est ainsi \begin{itemize} \item \(L(K/k)\) est fini si et seulement si \(K/k\) est simple (\(K=k(\theta )\ \theta \in K\)). \item Toute suite croissante de \(L(K/k)\) est stationnaire si et seulement si \(K/k\) est finie. \end{itemize} Cette article caractérise les extensions purement inséparables \(K/k\) telle que toute suite décroissante de \(L(K/k)\) est stationnaire. Trivialement les extension finie possèdent cett propriété, L'extension \(k(x^{p^{-\infty }})\ x \in k\) aussi, plus généralement les extensions pour lesquelles toute sous extension \(L/k\) avec \(L\neq K\) est finie possède la propriété, voir [\textit{M. Chellali} and \textit{E. H. Fliouet}, Arch. Math., Brno 40, No. 2, 129--159 (2004; Zbl 1122.12002)] pour des exemples de telle extensions. voici le résultat clés de l'article Soit \(K/k\) une extension purement inséparable, Il est équivalent de dire~: \begin{itemize} \item[1.] Toute suite décroissante de corps intérmèdiaires de \(K/k\) est stationnaire. \item[2.] Pour tout corps intérmèdiaire \(L\) de \(K/k\), pour tout entier \(n\), l'extension \(L^{p^{-n}} \cap K/L\) est finie. \item[3.] Pour tout corps intérmèdiaire \(L\) de \(K/k\), l'extension \(L/kL^{p}\) est finie. \item[4.] Pour tout corps intérmèdiaire \(L\) de \(K/k\), l'extension \(L/rp(L/k)\) est finie. \end{itemize} où \(rp(L/k)\) est la plus grande sous extension \(R/k\) relativement parfaite de \(L/k\) Enfin un exemple non trivial d'extension non finie vérifiant les propriétés equivalentes ci-dessus est donné (Exemple 5.1 page 765). Remarque: Dans la caractérisation ci-dessus il suffit de remplacer: \begin{center}Pour tout corps intermédiaire \(L\) de \(K/k\), pour tout entier \(n\), l'extension \(L^{p^{-n}} \cap K/L\) est finie \end{center} par: \begin{center}Pour tout corps intermédiaire \(L\) de \(K/k\), l'extension \(L^{p^{-1}} \cap K/L\) est finie. \end{center} Ceci rend très simple sa démonstration en effet: Si 1) une \(p\)-base infinie \(B\) de \(L^{p^{-1}} \cap K/L\) donne lieu à une suite strictement décroissant \(L(B \setminus \left \{\theta _{1}, \theta _{2}, \dots \theta _{n} \right \} )\) de corps intermédiaires de \(L^{p^{-1}} \cap K/L\). Inversement si on a une suite décroissante \(L_n\) de corps intermédiaire de \(K/k\), posons \(k_1 = \bigcap_n^{}L_n\), la suite \(k_1^{p^{-1}}\cap L_n/k_1\) stationne car décroissante et contenue dans l'extension finie \(k_1^{p^{-1}}\cap K/k_1\) donc pour \(n \geq n_0\) on aura \[ k_{1}^{p^{-1}}\cap L_{n} = k_{1}^{p^{-1}}\cap L_{n+1} = \dots = \bigcap_{n\geq n_{0}}^{} k_{1}^{p^{-1}}\cap L_{n} = k_{1} \] par suite \(L_n=L_{n+1} = \dots \qquad \nolinebreak\square\) L'énoncé complet du théorème est comme suit: Soit \(K/k\) une extension purement inséparable, Il est équivalent de dire: \begin{itemize} \item[1.] Toute suite décroissante de corps intermédiaires de \(K/k\) est stationnaire. \item[2.] Pour tout corps intermédiaire \(L\) de \(K/k\), l'extension \(L^{p^{-1}} \cap K/L\) est finie. \item[3.] Pour tout corps intermédiaire \(L\) de \(K/k\), pour tout entier \(n\), l'extension \(L^{p^{-n}} \cap K/L\) est finie. \item[4.] Pour tout corps intermédiaire \(L\) de \(K/k\), l'extension \(L/kL^p\) est finie. \item[5.] Pour tout corps intermédiaire \(L\) de \(K/k\), pour tout entier \(n\), l'extension \(L/kL^{p^n}\) est finie. \item[6.] Pour tout corps intermédiaire \(L\) de \(K/k\), l'extension \(L/rp(L/k)\) est finie. \end{itemize}.