On $+\infty$-$\omega_0$-generated field extensions
On $+\infty$-$\omega_0$-generated field extensions
A purely inseparable field extension $K$ of a field $k$ of characteristic $p\not=0$ is said to be $\omega_0$-generated over $k$ if $K/k$ is not finitely generated, but $L/k$ is finitely generated for each proper intermediate field $L$. In 1986, Deveney solved the question posed by R. Gilmer and W. Heinzer, which consists in knowing if the lattice of intermediate fields of an $\omega_0$-generated field extension $K/k$ is necessarily linearly ordered under inclusion, by constructing an example of an $\omega_0$-generated field extension where $[k^{p^{-n}}\cap K: k]= p^{2n}$ for all positive integer $n$. This example has proved to be extremely useful in the construction of other examples of $\omega_0$-generated field extensions (of any finite irrationality degree). In this paper, we characterize the extensions of finite irrationality degree which are $\omega_0$-generated. In particular, in the case of unbounded irrationality degree, any modular extension of unbounded exponent contains a proper subfield of unbounded exponent over the ground field. Finally, we give a generalization, illustrated by an example, of the $\omega_0$-generated to include modular purely inseparable extensions of unbounded irrationality degree.
___
- M. F. Becker and S. MacLane, The minimum number of generators for inseparable
algebraic extensions, Bull. Amer. Math. Soc., 46(2) (1940), 182-186.
- N. Bourbaki, Algebre: Chapitres 1 a 3, Masson, Paris, 1970.
- N. Bourbaki, Elements de Mathematique: Theorie des ensembles, Springer,
Berlin, Heidelberg, 2006.
- C. C. Chang and H. J. Keisler, Model Theory, North-Holland Publishing Co.,
Amsterdam-London, 1973.
- M. Chellali and E. Fliouet, Sur la tour des clotures modulaires, An. St. Univ.
Ovidius Constanta, Ser. Mat., 14(1) (2006), 45-66.
- M. Chellali and E. Fliouet, Extensions purement inseparables d'exposant non
borne, Arch. Math. (Brno), 40 (2004), 129-159.
- M. Chellali and E. Fliouet, Sur les extensions purement inseparable, Arch.
Math. (Basel), 81 (2003), 369-382.
- J. K. Deveney, $\omega_0$-generated field extensions, Arch. Math. (Basel), 47 (1986),
410-412.
- J. K. Deveney, An intermediate theory for a purely inseparable Galois theory,
Trans. Amer. Math. Soc., 198 (1974), 287-295.
- J. K. Deveney and J. N. Mordeson, Invariance in inseparable Galois theory,
Rocky Mountain J Math., 9(3) (1979), 395-403.
- R. Gilmer and W. Heinzer, Jonsson $\omega_0$-generated algebraic field extensions, Pacific J. Math., 128(1) (1987), 81-116.
- R. Gilmer and W. Heinzer, Cardinality of generating sets for modules over a
commutative ring, Math. Scand., 52 (1983), 41-57.
- E. Fliouet, Absolutely lq-finite extensions, Acta Math. Vietnam., 44(3) (2019),
751-779.
- E. Fliouet, Generalization of the lq-modular closure theorem and applications,
Arch. Math. (Basel), 112 (2019), 361-370.
- E. Fliouet, Generalization of quasi-modular extensions, In: A. Badawi, M.Vedadi, S. Yassemi, A. Yousefian Darani (eds), Homological and CombinatorialMethods in Algebra, Springer Proceedings in Mathematics and Statistics, 228(2018), 67-82.
- M. Fried and M. Jarden, Field Arithmetic (third edition), Springer-Verlag,
Berlin, 2008.
- G. Karpilovsky, Topics in Field Theory, North-Holland Publishing Co., Amsterdam, 1989.
- J. N. Mordeson and B. Vinograde, Structure of Arbitrary Purely Inseparable
Extension Fields, Lecture Notes in Mathematics, Vol. 173, Springer-Verlag,
Berlin-New York, 1970.
- J. N. Mordeson and B. Vinograde, Generators and tensor factors of purely
inseparable fields, Math. Z., 107 (1968), 326-334.
- G. Pickert, Inseparable korpererweiterungen, Math. Z., 52 (1949), 81-136.
- R. Rasala, Inseparable splitting theory, Trans. Amer. Math. Soc., 162 (1971),
411-448.
- W. W. Shoultz, Chains of minimal generating sets in inseparable fields, OrderNo. 6904281, Iowa State University, Ann Arbor, 1968.
- M. E. Sweedler, Structure of inseparable extensions, Ann. Math., 87 (1968),
401-410.
- W. C. Waterhouse, The structure of inseparable field extensions, Trans. Amer.Math. Soc., 211 (1975), 39-56.
- M. Weisfeld, Purely inseparable extensions and higher derivations, Trans.
Amer. Math. Soc., 116 (1965), 435-469.