English

Existentially generated subfields of large fields

Logic 2017-10-11 v1 Commutative Algebra

Abstract

We study subfields of large fields which are generated by infinite existentially definable subsets. We say that such subfields are existentially generated. Let LL be a large field of characteristic exponent pp, and let ELE\subseteq L be an infinite existentially generated subfield. We show that EE contains L(pn)L^{(p^{n})}, the pnp^{n}-th powers in LL, for some n<ωn<\omega. This generalises a result of Fehm, which shows E=LE=L under the assumption that LL is perfect. Our method is to first study existentially generated subfields of henselian fields. Since LL is existentially closed in the henselian field L((t))L((t)), our result follows.

Keywords

Cite

@article{arxiv.1710.03353,
  title  = {Existentially generated subfields of large fields},
  author = {Sylvy Anscombe},
  journal= {arXiv preprint arXiv:1710.03353},
  year   = {2017}
}

Comments

12 pages

R2 v1 2026-06-22T22:08:13.725Z