pith. sign in

arxiv: 1710.03353 · v1 · pith:3OG2PVEWnew · submitted 2017-10-09 · 🧮 math.LO · math.AC

Existentially generated subfields of large fields

classification 🧮 math.LO math.AC
keywords existentiallygeneratedsubfieldsfieldslargefieldhenselianinfinite
0
0 comments X
read the original abstract

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

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.