Geodesic
Extensions purement inséparables d'exposant non borné
Archivum mathematicum, Tome 40 (2004) no. 2, pp. 129-159 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Dans [Swe], Sweedler a caractérisé les extensions purement inséparables $K/k$ d'exposant fini qui sont produit tensoriel d'extensions simples. En vue d'étendre ce résultat aux extensions d'exposants non bornés, L. Kime dans [Kim] propose les extensions $k(x^{p^{-\infty }})=k(x^{p^{-1}},x^{p^{-2}},\dots)$ comme généralisation d'extensions simples. Dans ce travail, on propose d'autres généralisations naturelles. Ceci nous a permis de décrire explicitement toutes les extensions purement inséparables $K/k$ lorsque le degré d'imperfection de $k$ est $\leq 2$. Dans [Dev2] J. K. Deveney a construit une extension purement inséparable $K/k$ infinie ayant toutes ses sous-extensions propres $L/k$ finies et telle que pour tout entier $n$, $[k^{p^{-n}}\cap K,k]=p^{2n}$ ($p$ étant la caractéristique de $k$). Cet exemple s'est avéré fort utile pour notre travail. On construit pour tout entier $j$ une extension purement inséparable $K/k$ infinie ayant toutes ses sous-extensions propres $L/k$ finies et telle que pour tout entier $n$, $[k^{p^{-n}}\cap K,k]=p^{jn}$. Soit $K/k$ une extension purement inséparable, $M/k$ la plus petite sous-extension de $K/k$ telle que $K/M$ est modulaire, on montre que si le degré d'imperfection de $k$ est fini, alors $M$ est non triviale $(M\neq K)$; si le degré d'imperfection de $k$ est infini on donne un contre-exemple où $M=K$.
Dans [Swe], Sweedler a caractérisé les extensions purement inséparables $K/k$ d'exposant fini qui sont produit tensoriel d'extensions simples. En vue d'étendre ce résultat aux extensions d'exposants non bornés, L. Kime dans [Kim] propose les extensions $k(x^{p^{-\infty }})=k(x^{p^{-1}},x^{p^{-2}},\dots)$ comme généralisation d'extensions simples. Dans ce travail, on propose d'autres généralisations naturelles. Ceci nous a permis de décrire explicitement toutes les extensions purement inséparables $K/k$ lorsque le degré d'imperfection de $k$ est $\leq 2$. Dans [Dev2] J. K. Deveney a construit une extension purement inséparable $K/k$ infinie ayant toutes ses sous-extensions propres $L/k$ finies et telle que pour tout entier $n$, $[k^{p^{-n}}\cap K,k]=p^{2n}$ ($p$ étant la caractéristique de $k$). Cet exemple s'est avéré fort utile pour notre travail. On construit pour tout entier $j$ une extension purement inséparable $K/k$ infinie ayant toutes ses sous-extensions propres $L/k$ finies et telle que pour tout entier $n$, $[k^{p^{-n}}\cap K,k]=p^{jn}$. Soit $K/k$ une extension purement inséparable, $M/k$ la plus petite sous-extension de $K/k$ telle que $K/M$ est modulaire, on montre que si le degré d'imperfection de $k$ est fini, alors $M$ est non triviale $(M\neq K)$; si le degré d'imperfection de $k$ est infini on donne un contre-exemple où $M=K$.
Classification : 12F15
Mots-clés : corps parfait; degré d’imperfection; degré d’irrationalité; exposant; extension simple; modulaire; purement inséparable; relativement parfaite 
@article{ARM_2004_40_2_a2,
     author = {Chellali, Mustapha and Fliouet, El Hasane},
     title = {Extensions purement ins\'eparables d'exposant non born\'e},
     journal = {Archivum mathematicum},
     pages = {129--159},
     year = {2004},
     volume = {40},
     number = {2},
     mrnumber = {2068687},
     zbl = {1122.12002},
     language = {fr},
     url = {http://geodesic.mathdoc.fr/item/ARM_2004_40_2_a2/}
}
TY  - JOUR
AU  - Chellali, Mustapha
AU  - Fliouet, El Hasane
TI  - Extensions purement inséparables d'exposant non borné
JO  - Archivum mathematicum
PY  - 2004
SP  - 129
EP  - 159
VL  - 40
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/ARM_2004_40_2_a2/
LA  - fr
ID  - ARM_2004_40_2_a2
ER  - 
%0 Journal Article
%A Chellali, Mustapha
%A Fliouet, El Hasane
%T Extensions purement inséparables d'exposant non borné
%J Archivum mathematicum
%D 2004
%P 129-159
%V 40
%N 2
%U http://geodesic.mathdoc.fr/item/ARM_2004_40_2_a2/
%G fr
%F ARM_2004_40_2_a2
Chellali, Mustapha; Fliouet, El Hasane. Extensions purement inséparables d'exposant non borné. Archivum mathematicum, Tome 40 (2004) no. 2, pp. 129-159. http://geodesic.mathdoc.fr/item/ARM_2004_40_2_a2/

[1] Beckert M. T., Maclane S.: The minimum number of generators for inseparable algebraic extensions. Bull. Amer. Math. Soc. 46 (1940), 182–186. | MR

[2] Chellali M., Fliouet E.: $w_0$-generated field extensions. A paraître.

[3] Chellali M., Fliouet E.: Extensions presque modulaires. A paraître. | Zbl

[4] Deveney J. K.: An intermediate theory for a purely inseparable Galois theory. Trans. Amer. Math. Soc. 198 (1975), 287–295. | MR

[5] Deveney J. K.: $w_0$-generated field extensions. Arch. Math. (Basel) 47 (1986), 410–412. | MR

[6] Deveney J. K., Mordeson J. N.: Higher derivation Galois theory of inseparable field extensions. Handbook of Algebra, Vol. 1 (1996), 189–220. | MR | Zbl

[7] Deveney J. K., Mordeson J. N.: Invariance in inseparable Galois theory. Rocky Mountain J. Math. 83 (1979), 655–662. | MR | Zbl

[8] Kime L. A.: Purely inseparable modular extensions of unbounded exponent. Trans. Amer. Math. Soc. 176 (1973), 335–349. | MR | Zbl

[9] Mordeson J. N., Shoultz W. W.: $p$-bases of inseparable field extensions. Arch. Math. (Basel) 227 (1973), 44–49. | MR | Zbl

[10] Mordeson J. N., Vinograde B.: Structure of arbitrary purely inseparable extension fields. SLNM Springer, Berlin 173 (1970). | MR | Zbl

[11] Pickert G.: Inseparable Körperweiterungen. Math. Z. 52 (1949), 81–135. | MR

[12] Sweedler M. E.: Structure of inseparable extensions. Ann. Math. 87 (2) (1968), 401–410. | MR | Zbl

[13] Waterhause W. C.: The structure of inseparable field extensions. Trans. Amer. Math. Soc. 211 (1975), 39–56. | MR