Defining Subrings in Finitely Generated Fields of All Characteristics

MaRDI QIDQ6308592zbMATH OpenFDO

Authors Philip Dittmann

Publication date 22 October 2018

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Global ground fields in algebraic geometry (14G25)

Abstract: We give a construction of a large first-order definable family of subrings of finitely generated fields $K$ of any characteristic. We deduce that for any such $K$ there exists a first-order sentence $varph{i}_K$ characterising $K$ in the class of finitely generated fields, i.e. such that for any finitely generated field $L$ we have $Lmodelsvarph{i}_K$ if and only if $LcongK$. This answers a question considered by Pop and others. In characteristic two, our results depend on resolution of singularities, whereas they are unconditional in all other characteristics.

This page was built for publication: Defining Subrings in Finitely Generated Fields of All Characteristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6308592)