Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)

 
 

 

$ p$th powers of distinguished subfields


Author: Nicholas Heerema
Journal: Proc. Amer. Math. Soc. 55 (1976), 287-292
DOI: https://doi.org/10.1090/S0002-9939-1976-0392949-X
MathSciNet review: 0392949
Full-text PDF Free Access

Abstract | References | Additional Information

Abstract: Let $ k \supset s \supset {k_0}$ be fields of characteristic $ p \ne 0,k/{k_0}$ finitely generated and $ s$ a distinguished subfield. The field $ {k_0}({k^{(n)}}) = \{ x \in k\vert{x^{{p^t}}} \in {k_0}({k^{{p^{n + t}}}}){\text{ for some }}t \geqslant 0\} $ has $ {k_0}({s^{{p^n}}})$ as a distinguished subfield and is maximal in $ k$ with respect to this property. Let $ \overline k _0^s$ and $ {\bar k_0}$ be, respectively, the separably algebraic closure and the algebraic closure of $ {k_0}$ in $ k$. Then $ {\overline k _0} = { \cap _k}{k_0}({k^{(n)}})$. Also $ \overline k _0^s = {\bar k_0}$ if and only if $ {k_0}({k^p}) \supset {k_0}({k^{(n)}})$ for some $ n$. For $ n$ large $ {k_0}({k^{(n)}}) = {\overline k _0}({k^{{p^n}}})$. The sequence $ {\{ {[{k_0}({k^{(n)}}):{k_0}]_i}\} _n}$ is decreasing, descending from $ {[k:{k_0}]_i}\;{\text{to }}{[\overline {k:} {k_0}]_i}$ in a finite number of steps. Examples are given which show: (1) that $ {k_0}({k^{(n)}})$ may have distinguished subfields not of the form $ {k_0}({s^{{p^n}}})$; and, (2) how to construct $ k/{k_0}$ so that the sequence $ \{ [{k_0}{({k^{(n)}}:{k_0}]_i}\} $ has preassigned values.


References [Enhancements On Off] (What's this?)

  • [1] J. Dieudonné, Sur les extensions transcendantes, Summa Brasil. Math. 2 (1947), 1-20. MR 10, 5. MR 0025441 (10:5c)
  • [2] N. Heerema and J. Deveney, Galois theory for fields $ K/k$ finitely generated, Trans. Amer. Math. Soc. 189 (1974), 263-274. MR 48 #8462. MR 0330124 (48:8462)
  • [3] N. Jacobson, Lectures in abstract algebra. Vol. III: Theory of fields and Galois theory, Van Nostrand, Princeton, N.J., 1964. MR 30 #3087. MR 0172871 (30:3087)
  • [4] H. Kraft, Inseparable Körpererweiterungen, Comment. Math. Helv. 45 (1970), 110-118. MR 41 #5333. MR 0260709 (41:5333)
  • [5] A. Weil, Foundations of algebraic geometry, Amer. Math. Soc. Colloq. Publ., vol. 29, Amer. Soc., Providence, R.I., 1946. MR 9, 303. MR 0023093 (9:303c)


Additional Information

DOI: https://doi.org/10.1090/S0002-9939-1976-0392949-X
Article copyright: © Copyright 1976 American Mathematical Society

American Mathematical Society