Superrosy fields and valuations

DOI10.1016/J.APAL.2014.11.006MaRDI QIDQ487693zbMATH OpenOpenAlexFDO

Authors Krzysztof Krupiński

Publication date 23 January 2015

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1308.3394

zbMATH Keywords

valuationsuperrosy field

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Model-theoretic algebra (03C60) Valued fields (12J10) Model theory of fields (12L12)

Abstract: We prove that every non-trivial valuation on an infinite superrosy field of positive characteristic has divisible value group and algebraically closed residue field. In fact, we prove the following more general result. Let $K$ be a field such that for every finite extension $L$ of $K$ and for every natural number $n>0$ the index $[L^{\ast }:(L^{\ast }{)}^n]$ is finite and, if $char(K)=p>0$ and $f:LoL$ is given by $f(x)=x^p-x$, the index $[L^{+}:f[L]]$ is also finite. Then either there is a non-trivial definable valuation on $K$, or every non-trivial valuation on $K$ has divisible value group and, if $char(K)>0$, it has algebraically closed residue field. In the zero characteristic case, we get some partial results of this kind. We also notice that minimal fields have the property that every non-trivial valuation has divisible value group and algebraically closed residue field.

Recommendations

• Dp-finite fields. I(A): The infinitesimals
• Supersimple fields and division rings
• Fields interpretable in rosy theories
• Dp-finite fields. I(B): Positive characteristic
• Definable valuations induced by multiplicative subgroups and NIP fields

Cites work

• scientific article; zbMATH DE number 3769606 (Why is no real title available?)
• scientific article; zbMATH DE number 3494583 (Why is no real title available?)
• scientific article; zbMATH DE number 1405573 (Why is no real title available?)
• scientific article; zbMATH DE number 1425669 (Why is no real title available?)
• A Hasse principle for function fields over PAC fields
• A geometric introduction to forking and thorn-forking
• Around Podewski's conjecture
• Artin-Schreier extensions in NIP and simple fields
• Characterizing rosy theories
• Fields interpretable in rosy theories
• Fields interpretable in superrosy groups with NIP (the non-solvable case)
• Fields with almost small absolute Galois group
• Generic structures and simple theories
• Minimal fields.
• Non-PAC fields whose Henselian closures are separably closed
• On ω_1-categorical theories of fields
• Properties and consequences of Thorn-independence
• Strongly dependent theories
• Superrosy dependent groups having finitely satisfiable generics
• Superstable fields and groups
• Valued Fields

Cited in

(6)

• Finite undecidability in PAC and PRC fields
• Definable valuations induced by multiplicative subgroups and NIP fields
• Henselianity in the language of rings
• Fields with almost small absolute Galois group
• Immediately algebraically closed fields
• Recent progress on definability of Henselian valuations

This page was built for publication: Superrosy fields and valuations

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