For questions related to valuation functions on a field.

learn more… | top users | synonyms

1
vote
1answer
18 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 ...
2
votes
0answers
18 views

condition to the maximal abelian extension of a local field to be tame

Is there some condition on the maximal abelian extension of a local field $K$ such that it is contained in the maximal tame extension $K_t$ of $K$? In particular I have a number field $K$ and $v$ a ...
4
votes
2answers
54 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
34 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
46 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
50 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
38 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
17 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
19 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) ...
1
vote
1answer
27 views

Two dimensional valuation domain

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$. Why $M^2=M$ and $P^2\neq P$? Can we ...
2
votes
0answers
47 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
55 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
86 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
21 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 ...
1
vote
0answers
24 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 ...
2
votes
1answer
27 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
74 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
38 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
35 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
44 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
60 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
96 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
24 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
59 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: ...
5
votes
0answers
48 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
40 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
32 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
81 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
26 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
47 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
36 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
28 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
34 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
23 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 ...
4
votes
0answers
126 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
297 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
36 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
26 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
22 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
36 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
58 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
39 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
26 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 ...
1
vote
1answer
39 views

Number of places over a number field

Let $\mathbb{K}$ a finite extension of $\mathbb{Q}$ and $\mathcal{O}_\mathbb{K}$ its ring of integers. Assume $\mathcal{O}_\mathbb{K}=\mathbb{Z}[\alpha]$, that is generated as a ring by a single ...
1
vote
1answer
20 views

Definitions of valuations in terms of totally ordered group

Wikipedia gives a definition of valuations involving abelian totally ordered groups. So far I have only seen valuations taking values in the real numbers. Is there a reason for this generalization?
2
votes
1answer
45 views

Negative degree valuation: valuation ring and its maximal ideal

I know that the $v: f \mapsto -\deg(f)$ is a discrete valuation on the field of complex rational functions $\mathbb{C}(X)$ (the quotient field of $\mathbb{C}[X]$). The valuation ring $\mathcal{O}_v$ ...
1
vote
0answers
51 views

Extension of valuation

This is a question from Milne's 'Algebraic Number Theory'. Let $K$ be a valued field with absolute value $|\cdot|$ and $L=K(\alpha)$ a finite separable extension of $K$. Let $\hat{K}$ be the ...
3
votes
0answers
43 views

Ramification group of valuations - need terminology

I am lost and need some terminology (also hopefully sources). Let $L/K$ be a Galois extension, and $w$ be a valuation of a $L$, lying above a valuation $v$ of $K$. Notice that I do not suppose that ...
0
votes
0answers
14 views

Determine the valuation of $\rho$ with $F = k(x,\rho)$ at the only place above $(\infty)$.

Let us assume that we have the following setup. Let $F=k(x,\rho)$ be an algebraic function field with $$f(x,y) = y^n+a_1y^{n-1}+\cdots+ a_iy^{n-i}+\cdots+a_n \in k[x][y]$$ irreducible in $y$, and ...
1
vote
0answers
63 views

Computing a valuation of a field

Assume $k$ is an algebraically closed field, and $x$ and $y$ are transcendental over $k$. I want to compute the valuation ring of $F$, the field of fractions of the ring $A=k[x,y]/I$, where $I=\langle ...