Related papers: A Dedekind's Criterion over Valued Fields

Let $F$ be an algebraically closed field of positive characteristic and let $R$ be a finitely generated $F$-algebra with a filtration with the property that the associated graded ring of $R$ is an integral domain of Krull dimension two. We…

If K/k is a function field in one variable of positive characteristic, we describe a general algorithm to factor one-variable polynomials with coefficients in K. The algorithm is flexible enough to find factors subject to additional…

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

In this paper, we study extensions of valuations over algebraic field extensions without the use of the Axiom of Choice. We show a bijection between the extensions of a valuation and the maximal ideals of the relative integral closure of…

Let $D$ be an integral domain with quotient field $K$ and $\Omega$ a finite subset of $D$. McQuillan proved that the ring ${\rm Int}(\Omega,D)$ of polynomials in $K[X]$ which are integer-valued over $\Omega$, that is, $f\in K[X]$ such that…

We extend Latimer and MacDuffee's theorem to a general commutative domain and apply this result to study similarity of matrices over integral rings of number fields. We also conjecture similarity over discrete valuation rings can be descent…

We prove the triviality of the Grothendieck ring of a integer-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K^2 to itself minus a point. When we specialize to…

Abhyankar showed that for a finite tame extension $L_1/K$ and a finite extension $L_2/K$ of $\mathfrak{P}$-adic fields, the condition $[\nu L_1 : \nu K]$ divides $[\nu L_2 : \nu K]$ is sufficient to eliminate ramification, that is, $L_1…

Let M be a polynomially bounded, o-minimal structure with archimedean prime model, for example if M is a real closed field. Let C be a convex and unbounded subset of M. We determine the first order theory of the structure M expanded by the…

A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…

Let $K = \Q(\theta)$ be an algebraic number field with $\theta$ satisfying an irreducible polynomial $x^{9} - a$ over the field $\Q$ of rationals and $\Z_K$ denote the ring of algebraic integers of $K$. In this article, we provide the exact…

\'Etant donn\'e un anneau de valuation $V$, de corps r\'esiduel $F$ et de groupe des valeurs $\Gamma$, on donne une condition suffisante pour qu'un anneau local dominant $V$ soit un anneau de valuation de groupe $\Gamma$. Lorsque $V$…

Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension of degree $n=up^{\nu}$. Let $\sigma_1,\dots,\sigma_n$ denote the $K$-embeddings of $L$ into a separable…

We show that every Dedekind domain $R$ lying between the polynomial rings $\mathbb Z[X]$ and $\mathbb Q[X]$ with the property that its residue fields of prime characteristic are finite fields is equal to a generalized ring of integer-valued…

An extension (K(X)|K, v) of valued fields is said to be valuation transcendental if we have equality in the Abhyankar inequality. Minimal pairs of definition are fundamental objects in the investigation of valuation transcendental…

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…

Let $p$ be a prime number, $K$ be the henselization of the rational functions over the finite field $\mathbb{F}_p$ and $R$ be the ring of additive polynomials over K. We show that the field of Laurent series over $\mathbb{F}_p$ is decidable…

When $k$ is a finite field, Becker-Denef-Lipschitz (1979) observed that the total residue map $\text{res}:k(\!(t)\!)\to k$, which picks out the constant term of the Laurent series, is definable in the language of rings with a parameter for…

Let K be an algebraically closed valued field, and let f:X--->Y be a universally open morphism of K-schemes of finite type. We show that the induced map on K-rational points is open for the topologies deduced from the absolute value of K.…

We prove an effective form of Hilbert's irreducibility theorem for polynomials over a global field $K$. More precisely, we give effective bounds for the number of specializations $t\in \mathcal{O}_K$ that do not preserve the irreducibility…