Related papers: Henselian Elements
Let $\omega$ be a sequence of positive integers. Given a positive integer $n$, we define $$ r_n(\omega) = | \{ (a,b)\in \mathbb{N}\times \mathbb{N}\colon a,b \in \omega, a+b = n, 0 <a<b \}|. $$ S. Sidon conjectured that there exists a…
For an integer $r$, a prime power $q$, and a polynomial $f$ over a finite field ${\mathbb F}_{q^r}$ of $q^r$ elements, we obtain an upper bound on the frequency of elements in an orbit generated by iterations of $f$ which fall in a proper…
We consider four properties of a field $K$ related to the existence of (definable) henselian valuations on $K$ and on elementarily equivalent fields, and study the implications between them. Surprisingly, the full pictures look very…
We give a characterization, in terms of the residue field, of those henselian valuation rings and those henselian valuation ideals that are diophantine. This characterization gives a common generalization of all the positive and negative…
Let $R$ be a finite ring and define the hyperbola $H=\{(x,y) \in R \times R: xy=1 \}$. Suppose that for a sequence of finite odd order rings of size tending to infinity, the following "square root law" bound holds with a constant $C>0$ for…
We study the question of $\mathcal{L}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial…
We give an affirmative answer to the following question by Jarden and Narkiewicz: Is it true that every number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? As a part of the proof,…
In 2007, Jarden and Narkiewicz raised the following question: Is it true that each algebraic number field has a finite extension L such that the ring of integers of L is generated by its units (as a ring)? In this article, we answer the…
Let R be a local ring of prime characteristic. We study the ring of Frobenius operators F(E), where E is the injective hull of the residue field of R. In particular, we examine the finite generation of F(E) over its degree zero component,…
By a theorem of Roberts, the integral closure of a regular local ring in a finite abelian extension of its fraction field is Cohen-Macaulay, provided that the degree of the extension is coprime to the characteristic of the residue field. We…
The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.
We firstly show that due to their resplendency ordered henselian valued fields admit relative field quantifier elimination in the Denef--Pas language expanded by linear orders in the field and residue field sort. Secondly, we deduce from a…
For a henselian valued field $(K,v)$ we establish a complete parallelism between the arithmetic properties of irreducible polynomials $F\in K[x]$, encoded by their Okutsu frames, and the valuation-theoretic properties of their induced…
We develop a theory of Hrushovski-Kazhdan style motivic integration for certain type of non-archimedean o-minimal fields, namely polynomial-bounded T-convex valued fields. The structure of valued fields is expressed through a two-sorted…
Given a henselian valuation, we study its definability (with and without parameters) by examining conditions on the value group. We show that any henselian valuation whose value group is not closed in its divisible hull is definable in the…
Let $A$ be a commutative Noetherian ring, and let $R = A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${\mathfrak S}_{X}$ be the group of permutations of $X$. The group ${\mathfrak S}_{X}$ acts on…
We prove in arbitrary characteristic that an immediate valued algebraic function field $F$ of transcendence degree 1 over a tame field $K$ is contained in the henselization of $K(x)$ for a suitably chosen $x\in F$. This eliminates…
Let $\iota:K\hookrightarrow L\cong K(x)$ be a simple transcendental extension of valued fields, where $K$ is equipped with a valuation $\nu$ of rank 1. That is, we assume given a rank 1 valuation $\nu$ of $K$ and its extension $\nu'$ to…
Let $K\to L$ be an algebraic field extension and $\nu$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{\nu'\right\}$ of $\nu$ to $L$ using a refined version of MacLane's key polynomials. In…
Given a perfectoid field, we find an elementary extension and a henselian defectless valuation on it, whose value group is divisible and whose residue field is an elementary extension of the tilt. This specializes to the almost purity…