[HTML][HTML] Existentially generated subfields of large fields

S Anscombe - Journal of Algebra, 2019 - Elsevier
Journal of Algebra, 2019Elsevier
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⊆ L be an infinite existentially generated subfield. We
show that E contains L (pn), the p n-th powers in L, for some n< ω. This generalises a result
of Fehm from [4], 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 …
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⊆ 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< ω. This generalises a result of Fehm from [4], 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.
Elsevier
以上显示的是最相近的搜索结果。 查看全部搜索结果