English

Superrosy fields and valuations

Logic 2013-08-16 v1 Commutative Algebra

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 KK be a field such that for every finite extension LL of KK and for every natural number n>0n>0 the index [L:(L)n][L^*:(L^*)^n] is finite and, if char(K)=p>0char(K)=p>0 and f:LLf: L \to L is given by f(x)=xpxf(x)=x^p-x, the index [L+:f[L]][L^+:f[L]] is also finite. Then either there is a non-trivial definable valuation on KK, or every non-trivial valuation on KK has divisible value group and, if char(K)>0char(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.

Keywords

Cite

@article{arxiv.1308.3394,
  title  = {Superrosy fields and valuations},
  author = {Krzysztof Krupinski},
  journal= {arXiv preprint arXiv:1308.3394},
  year   = {2013}
}
R2 v1 2026-06-22T01:09:51.534Z