Superrosy fields and valuations

DOI10.1016/J.APAL.2014.11.006zbMATH Open1372.03079arXiv1308.3394OpenAlexW2963969808MaRDI QIDQ487693FDOQ487693

Krzysztof Krupiński

Publication date: 23 January 2015

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

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^{*}:(L^{*}{)}^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.

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Valued Fields
• Minimal fields.
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• Characterizing rosy theories
• Generic structures and simple theories
• Properties and consequences of Thorn-independence
• Fields with almost small absolute Galois group
• Strongly dependent theories
• On $ω_1$-categorical theories of fields
• Superrosy dependent groups having finitely satisfiable generics
• Around Podewski's conjecture
• Superstable fields and groups
• Artin-Schreier extensions in NIP and simple fields
• Fields interpretable in superrosy groups with NIP (the non-solvable case)
• A Hasse principle for function fields over PAC fields
• Non-PAC fields whose Henselian closures are separably closed
• Fields interpretable in rosy theories

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)