For questions related to valuation functions on a field.

learn more… | top users | synonyms

1
vote
1answer
36 views

Separable extensions of complete valued fields are automatically totally ramified?

I come up with the following argument which seems to be too good to be true: Suppose that $L|K$ is finite separable extension of complete valued fields. Let $\nu, \nu'$ be the valuation on $L$ and ...
1
vote
1answer
31 views

Separability of complete value fields and residue class fields

Let $L|K$ be a finite separable extension of fields complete under some valuation and let $\lambda, \kappa$ be residue class fields of $L$ and $K$ respectively. I guess that we do not know ...
1
vote
0answers
52 views

Rational points of an open subset of a group scheme

Let $K$ be an algebraically closed valued field with valuation ring $\mathcal{O}$ (assume the valuation is non-trivial). Let $G$ be a group scheme over $\mathcal{O}$, $g\in G(\mathcal{O})$ and ...
1
vote
1answer
31 views

Relationship between residue class fields between extension

Let $K$ be a field with respect to a valuation and $L$ be a finite extension. For simplicity, assume $K$ is complete. From theory, valuation on $K$ extends to $L$ and the extended valuation on $L$ is ...
1
vote
1answer
15 views

Proving that certain limits exist

Let $K$ be a discrete valuation field where $\nu:K\longrightarrow\mathbb Z$ is a surjective valuation. Let $\lambda\in]0,1[\subseteq\mathbb R $, then the valuation $\nu$ induces a metric $d_\nu$ on ...
2
votes
0answers
15 views

question on proof in Frohlich/Taylor regarding extension of a discrete absolute value on a complete field

I am having some trouble understanding a proof in Fröhlich and Taylor, pages 105-106. There $K$ is a complete field with a discrete absolute value $u$ $\mathfrak o,\mathfrak p$ is the valuation ring, ...
1
vote
0answers
24 views

Characterization of valuation domains by means of their maximal ideal

I know the following theorem. Let $V, W$ be two valuation domains with the same fraction field $K$. Suppose $V$ and $W$ share the same maximal ideal. Then $V=W$. In other words, fixed a field ...
0
votes
0answers
74 views

Approach to build multivariate ranking system?

I have data of various sellers on ecommerce platform. I am trying to compute seller ranking score based on various features, such as 1] Order fulfillment rates [numeric] 2] Order cancel rate ...
1
vote
1answer
23 views

Extending valuations and linear disjointness of fields

Let $F$ be a field and let $K$ be a field extension of $F$. Suppose that $K$ can be written as the compositum of field extensions $E$ and $L$ of $F$, linearily disjoint over $F$, thus $K$ can be ...
4
votes
2answers
64 views

Reduction map on torsion points of an elliptic curve and their valuation

Let $K$ be a field of characteristic zero, complete with respect a discrete valuation $v$. Assume that the residue field $k$ is of positive characteristic $p$. Now take an elliptic curve $E$ defined ...
2
votes
1answer
51 views

Quotients in a non-discrete valuation ring

Let $R$ be a valuation ring, $\mathfrak{m}$ the maximal ideal of $R$. Let $k$ be the residue field, and $K$ the field of fractions of $R$. Assume that the valuation on $K$ is such that ...
3
votes
1answer
75 views

roots of unity in the maximal unramified extension and Kummer extensions

Let $K$ be a field complete with respect to a discrete valuation $v$ with residue field $k$ of positive characteristic $p$. Consider $$ K \subset K_{ur} \subset K_s$$ with $K_s$ the separable ...
2
votes
1answer
62 views

Associate a discrete valuation ring to a field $k$.

I have a field $k$ of positive characteristic $p$, not necessarily perfect. Can i find a discrete valuation ring that have $k$ as residue field and field of fractions $K$ of characteristic zero? I ...
4
votes
0answers
46 views

Motivation behind the Archimedean norm on number fields .

It is easy to justify the use of non-archimedean norms on number fields from an "inside view" as arising from the prime ideals and are therefore clearly useful a priori. However, it seems to me that ...
0
votes
1answer
23 views

Simple extensions of local fields

Let $L/K/\mathbb Q_p$ be finite extensions of local fields and let $v_L$ and $v_K$ be normalised discrete valuations on $L$ and $K$ respectively. My question is quite a general one: If the ...
1
vote
1answer
27 views

Maximal ideal of valuation

Let $\nu : K \rightarrow G \cup \{\infty\}$ be a map defined by, where $G$ is a totally ordered group and $g < \infty$ for all $g\in G.$ $\nu(a) = \infty$ if and only if $a = 0,$ $\nu(a + b) ...
2
votes
1answer
41 views

Two dimensional valuation domain with value group $\Bbb Z \oplus \Bbb Q$

Let $R$ be a two-dimensional valuation domain with prime ideals $0 \subset P \subset M$ and value group $G=\Bbb Z \oplus \Bbb Q$. Then $M^2=M$ and $P^2 \neq P$. Can we say $P^n \neq P^{n+1}$ ...
2
votes
0answers
50 views

Projective general linear group on discrete valuation ring

Let $R$ be a complete discrete valuation ring and $k$ its residue field. Let $H$ be a finite subgroup of $PGL_2(k)$ such that its order is prime with char($k$). Is there some elementary way to show ...
3
votes
0answers
71 views

Valuations on $\Bbb Q(t)$

Ex. $2.3.3$ in Algebraic Number Theory by Neukirch is the following: Let $k$ be a field and $K = k(t)$ the function field in one variable. Show that the valuations $v_{\mathfrak p} $ associated to ...
1
vote
1answer
103 views

About the usage of the strong approximation theorem

I'm reading Henning Stichtenoth's Algebraic Function Fields and Codes and at Proposition 3.2.5(a) of section 2, chapter 3 he says: Let $\mathcal{O}_S$ be a holomorphy ring of $F/K$. Then $F$ is ...
1
vote
0answers
25 views

Question on valuation axioms - Relating to $\mathbb{R}$

In an earlier thread, I asked if there was a standard generalization of the absolute value of $\mathbb{C}$ that could be placed on a field, but might not take values in $R_{\geq 0}$. What somebody ...
2
votes
0answers
34 views

Centers of divisorial valuations on toric varieties

Suppose we are given a divisorial valuation $\mathcal{v}$ on a smooth toric variety $X_{\Sigma}$ (for a fan $\Sigma$), i.e. $\mathcal{v}$ is the valuation induced by a torus invariant divisor ...
3
votes
1answer
33 views

Valuation of a particular element

I am tying to compute the valuation of a particular element of $\mathbb{Q}_p$. I am trying to compute $\operatorname{val}_p(P)$ where $P=\frac{\log(1+p^2)}{\log(1+p)}$ and $\log$ is the $p$-adic ...
6
votes
0answers
105 views

A slightly stranger Hensel's Lemma

I'm trying to understand the solution to this problem. It came up when doing some revision. It is essentially to show that the conclusion of Hensel's Lemma holds if we have take a valuation ring $R$ ...
0
votes
0answers
51 views

Smooth morphism and completion of DVR

Let $R$ be a Henselian discrete valuation ring with algebraically closed residue field and $\hat{R}$ its $m$-completion, where $m$ is the maximal ideal. Is it true that the induced morphism ...
0
votes
0answers
59 views

DVR and its fraction field

Let $k$ be a complete discrete valuation field with algebraically closed residue field. We know that its maximal unramified extension $k^{\mathrm{unr}}$ need not be complete. But can the ring of ...
2
votes
3answers
51 views

Extension of $|\cdot|_\infty$ on $\mathbb R$ to $\mathbb C$

Let $|\cdot|$ be the usual absolute value on $\mathbb C$. My question is: Is the only extension of $|\cdot|$ on $\mathbb R$ to $\mathbb C$ $|\cdot|$ itself? I'm not sure about the uniqueness. I ...
1
vote
1answer
63 views

If $\mathcal O_P(C)$ is a DVR, then $P$ is non-singular

Let $C$ be an irreducible curve over $\mathbb A^2$ and $P\in C$. I would like to prove if $$\mathcal O_P(C)=\{f\in k(C)\mid f=a/b, b(P)\neq 0\}$$ is a DVR, then $P$ is non-singular, i.e., the ...
1
vote
1answer
107 views

How to prove $\mathcal O_P(C)$ is a DVR for $P$ non-singular?

Let $C$ be an irreducible curve over $\mathbb A^2$ and $P\in C$ a non-singular point. I want to prove that $\mathcal O_P(C)=\{f\in k(C)\mid f=a/b, b(P)\neq 0\}$ is a DVR. I've already proved that ...
2
votes
1answer
48 views

Archimedean completion of a number field

Let $K$ be a number field. I want to show that Every Archimedean absolute value of $K$ is equivalent to the absolute value $|x|:=|\sigma(x)|_\infty$ for $x\in K$ where $\sigma$ is an embedding of ...
3
votes
0answers
125 views

Archimedean places of a number field

Let $K$ be a number field with an Archimedean absolute value $|\cdot |$ and let $\bar{K}$ be the completion of $K$ wrt this valuation. Then $\bar{K}\cong \mathbb R $ or $\mathbb C$. My question is: ...
6
votes
0answers
81 views

An infinite prime can ramify right? (So what is Neukirch talking about?)

I have been under the impression for several years that if $L/K$ is an extension of number fields, then an infinite place of $K$ is said to ramify in $L$ if it comes from a real embedding of $K$ which ...
1
vote
0answers
43 views

Geometric structure on the set of valuation rings of a field

Let $K$ be a field. Let $\mathcal{O}_K$ be the intersection of all valuation rings with quotient field $K$. Can someone give an example of a field $K$ in which we don't have a bijection of sets: $$ ...
3
votes
1answer
36 views

Is $\mathcal O^{\ast}/U^{(n)}\cong (\mathcal O/\mathfrak p)^{\ast}$ as topological groups?

I have the following: $K$ is a field with discrete valuation $v$, $\mathcal O$ its valuation ring and $\mathfrak p$ the maximal ideal and $U^{(n)}=1+\mathfrak p^n$ the $n$-th unit group for $n\geq 1$. ...
4
votes
2answers
175 views

How to prove that any infinite algebraic extension of a complete field is never complete?

My first idea is using Baire category theorem since I thought an infinite algebraic extension should be of countable degree. However, this is wrong, according to this post. This approach may still ...
0
votes
0answers
29 views

Definable valuation ring

If $(K,v)$ is henselian and $O_v$ is $\phi$-$\text{definable}$, why do I have that if $L\equiv K$ (in the language of ring) then $L$ admits a non-trivial henselian valuation ring? I understand if ...
2
votes
2answers
75 views

A extending the p-adic valuation to a quadratic extension of $\mathbb{Q}_p$

I'm trying to solve the following problem. Prove that, if $d \in \mathbb{Z}_p$ is non-square, then $|a + b \sqrt{d}|p = |a^2 − b^2d|^{1/2}_p$ , for any $a, b \in \mathbb{Q}p$, defines a ...
0
votes
0answers
52 views

unramified extension of valued fields

I came across the following exercise: Let $M$ be a valued field with subfields $E$ and $L$, and suppose that $L$ is finite over some field $K\subseteq L\cap E$. Show that $EL/E$ is unramified if ...
0
votes
1answer
46 views

Why is the separable closure of a field in it's completion not complete.

I am currently reading "Algebraic Number Theory" by Neukirch and I am a bit confused by what is here. It is on page 143, it states this: $(K,v)$ is a nonarchimedian valued field and ...
0
votes
1answer
41 views

What does the power of an ideal *mean*?

I am stumped trying to understand Silverman's definition of $\operatorname{ord}_P(f)$, the (normalized) valuation on $\bar K[C]_P$ (which denotes the localization of a curve $C$'s coordinate ring at ...
0
votes
1answer
24 views

Given two extensions of $\left| \cdot \right|_p$ to $\Bbb{C}$, do the subsets of elements of absolute value $1$ coincide?

It is known that $\Bbb{C}$ is isomorphic as a field to $\Bbb{C}_p$, the completion of $\bar{\Bbb{Q}}_p$ with respect to $\left|\cdot\right|_p$. Clearly, given two such isomorphisms $\varphi_1$ and ...
5
votes
1answer
152 views

Determine all discrete valuations on $\mathbb{C}(x)$.

To clarify, for a field $K$, a valuation $v$ on $K$ is a map $v:K^{\times}\to G$ for $G$ an ordered group (written additively) such that for any $a,b\in K^{\times}$: 1) $v(ab)=v(a)+v(b)$; 2) ...
8
votes
1answer
323 views

Two discrete valuation rings, one contained into another

Let $A$ and $B$ be discrete valuation rings of the same field of fractions. Suppose $A \subset B$. Then $A = B$? I came up with this problem when I was reading van der Waerden's Algebra. The ...
1
vote
1answer
45 views

A tool to prove Baby Ax-Kochen principle

I have been reading a lecture notes on model theory of valued fields written by Lou van den Dries. This is the question I have: It is known in this lecture that: Let $R$ be a local ring, with $t\in ...
0
votes
1answer
31 views

Cauchy sequence in a valuation ring

From Janusz's book algebraic number fields, chapter 2. Let $K$ be a complete field with respect to a non-Archimedean absolute value $|\cdot|$. Let $R$ be its valuation ring with maximal ideal ...
0
votes
1answer
31 views

Equivalence of norms in finite dimension over complete fields is true, but false for finite rank modules over complete rings

We know that if $k$ is complete valued field and $V$ a finite dimensional vector space then all norms on $V$ are equivalent. (The field is not necessarily of characteristic $0$ and its absolute value ...
0
votes
1answer
57 views

Extension of a discrete valuation on a complete field

Let $K$ be a complete field w.r.t discrete absolute value $|\cdot|_K$, $\mathcal O_K=\{x\in K:|x|_K\leq 1\}$. $L$ is an extension field with $[L:K]< \infty$ and let $\mathcal O_L$ be the ...
0
votes
0answers
62 views

Roots of unit in a DVR

Let $A$ be a DVR such that its fraction field $K$ is complete w.r.t to the natural absolute value in $K$. I am trying to prove that the projection from $A$ to the residue class field, $F$, maps the ...
0
votes
1answer
48 views

Valuation rings are conjugate

Let $F/K$ be a finite Galois extension where $(K,v)$ is a valued field (i.e. $v$ is a valuation on $K$). Let $w_1,w_2$ be extensions of $v$ to $F$. Then, we have associated valuation rings $O_{w_1}$ ...
1
vote
0answers
27 views

Surjectivity of the derivation map on Washnitzer Algebra

Let $K$ be a non-archimedean field of characteristic zero and $||.||:K\to \mathbb{R}_{\geq 0}$ be its absolute value. Define the Washnitzer Algebra as: $$W_n=\{\sum_{u\in \mathbb{Z}_{\geq 0}^n} \in ...