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 be a large field of characteristic exponent , and let be an infinite existentially generated subfield. We show that contains , the -th powers in , for some . This generalises a result of Fehm, which shows under the assumption that is perfect. Our method is to first study existentially generated subfields of henselian fields. Since is existentially closed in the henselian field , 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