For questions related to valuation functions on a field.

learn more… | top users | synonyms

3
votes
0answers
29 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
27 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
0answers
22 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$. ...
2
votes
0answers
22 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
23 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
36 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
21 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 ...
1
vote
0answers
10 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
28 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
121 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) ...
10
votes
0answers
234 views

Two discrete valuation rings one of which is contained in 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
32 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
21 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
17 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
29 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
38 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
38 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
18 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?
0
votes
0answers
18 views

Reference request for valuations in algebraic number theory

I am going through the book "Primes of the form $x^2$ + n$y^2$" and I understand the background material about algebraic number fields and class numbers(from Ireland and Rosen). However, I do not have ...
2
votes
1answer
39 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
45 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
41 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
13 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
29 views

Computing other valuations of a field

Assume $k$ is an algebraically closed field, and $x$ and $y$ are indeterminant over $k$, I know valuations of $F$, the field of fractions of the ring $A=\dfrac{k[x,y]}{I}$ where $I$ is an ideal of ...
0
votes
0answers
19 views

How to construct a unique valuation for $k\left(T_{i}\right)_{i\in\mathbb{N}}$ in $\mathbb{Z}^{\left(\mathbb{N}\right)}$?

Let $k$ be a field and $\left(T_{n}\right)_{n\in\mathbb{N}}$ indeterminates over $k$. Let $K=k\left(T_{n}\right)_{n\in\mathbb{N}}$ and $\varGamma:=\mathbb{Z}^{\left(\mathbb{N}\right)}$ the abelian ...
1
vote
0answers
32 views

Trivial absolute value

Let $K/L$ be a algebraic extension. Suppose that $\left|\cdot\right|$ is a absolute value in $K$ such that is trivially in $L$. Then is trivially in $K$. Thanks for anny suggestion. If is trivially ...
0
votes
1answer
44 views

Completion of a number field at a complex embedding

Sorry if this question has been asked before. Let $K$ be a number field of degree $n>1$ and $\sigma:K\hookrightarrow \mathbb C$ a complex (non real) embedding of $K$ in $\mathbb C$ giving the ...
0
votes
1answer
32 views

Is it true that an equivalent 'absolute value' is an absolute value?

I've a very basic question on absolute values on fields. If $K$ is a valued field with absolute value $|- |:K\to \mathbb R_{\geq0}$ then is the map $|-|':K\to \mathbb R_{\geq0}$ defined by ...
1
vote
1answer
43 views

Is the group $I_K/K^{\ast}$ compact?

I have two question on adeles and ideles: $1)$Let $K$ be a number field. Is the group $I_K/K^{\ast}$ compact? Here $I_K$ is the idele group of $K$. $2)$ Also it will be helpful if someone explains ...
1
vote
1answer
40 views

Connected component of the Idele group

Let $K$ ba a number field with $r_1$ real embeddings and $r_2$ pairs of complex embeddings. Let $I_K$ be the group of ideles of $K$ and let $H$ be the connected component of identity. How to show that ...
3
votes
1answer
36 views

valuation ring, completeness

Perhaps a trivial question: is there an example of a field $K$ and a valuation $v$ on $K$ such that the following holds: $K$ is not complete (with respect to the valuation topology) The valuation ...
1
vote
1answer
24 views

Dimension of quotients of a discrete valuation domain

I'm learning some properties of discrete valuation rings (DVR's further for geometrical use). By the way, a domain $R$ is said to be a DVR if there exists the so called uniformizing parameter $t$ such ...
1
vote
2answers
64 views

It's true that a valuation ring $R$ in the quotient field of a normal ring $A$ contain $A$?

Let $A$ be a finitely generated $k$-algebra ($k$ algebraically closed) of dimension one, integrally closed in its quotient field $K$. Let $R\subseteq K$ be a valuation ring. It's true that $A\subseteq ...
3
votes
1answer
49 views

Can a $p$-adic field admit a different valuation?

Let $L/\mathbb{Q}_p$ be a finite extension. Question: Is it possible for $L$ to admit a henselian valuation with residue characteristic $q \not=p$? I would think surely not, but I can't see a ...
4
votes
1answer
118 views

The role of valuation rings in algebraic geometry

I am familiar with basic algebraic geometry in the tradition of Hartshorne's book. Discrete valuation rings appear there in the criteria for separatedness/properness, and are used to define the order ...
2
votes
1answer
96 views

Infinite primes of a number field

Let $K$ be a number field. I know that to each real and to each complex conjugate pair of embeddings of $K$ there corresponds exactly one prime (equivalence class of absolute values) of $K$. How do I ...
2
votes
2answers
119 views

Is every local ring a valuation ring?

Is every local ring a valuation ring? I know the answer is no and the first example comes to my mind was as following (I started with smallest fields, as $\mathbb{Z}_2$ and $\mathbb{Z}_3$ are ...
1
vote
0answers
50 views

An example of a henselian valuation of rank 2.

I need to know simple examples of valuations of rank bigger than one. Please help me to concrete some examples of valuations of rank bigger than one with their valuation rings (specially henselian ...
0
votes
0answers
39 views

Question about valuation rings of a rational function field

Let $k$ be a field and $f \in k[x,y] \setminus k$. Write $E=k(f)$ and $L=k(x,y)$. Assume that there exists a $g \in k(x,y)$ such that $L = E(g)$. Suppose there exists a valution ring $\mathcal{O}$ ...
3
votes
0answers
67 views

Find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$.

Let k be any field, then how does one find valuation rings of the function field $k(x,y)/k(xy)$ which do not contain $k[x,y]$? I believe there are two. If we consider a rational function field ...
1
vote
1answer
48 views

Noetherianity of valuation ring and valuation being discrete

I need a hint for left to right part of the following: Let $K$ be a valued field with $\nu$ and $\mathcal{O}_\nu$ be its valuation ring. Then, $\mathcal{O}_\nu$ is Noetherian if and only if ...
0
votes
2answers
48 views

Discrete valuations of the rational numbers

I'm trying to find every discrete valuation on the field of rational numbers. If $a\in \mathbb Q$, we can write $a=p^j\frac{x}{y}$, where $p$ is a prime number and $p\nmid x$ and $p\nmid y$. We can ...
2
votes
1answer
43 views

Places of this extension

I'm reading this book. I'm trying to find the degree of the places of the extension $\mathbb C(X)\mid\mathbb R$. I know the places of the extension $\mathbb R(X)\mid\mathbb R$ and I've already ...
3
votes
1answer
65 views

real closure of an archimedean field

my question is: Is an archimedean field dense in its real closure? I know that in the non-archimedean case, this does not have to be true (e.g., rational fucntions). Thanks!
1
vote
1answer
63 views

When Is there no Local Power Integral Basis?

Let $A$ be a Dedekind domain, $K, L, B$ the usual designations of $A$'s quotient field, a finite separable extension of $K$, and integral closure of $A$ in $L$ respectively. If $\alpha \in B$ ...
1
vote
1answer
42 views

Extensions of nonarchimedean valuations

This is a question from Janusz 'Algebraic Number Theory'. Let $R$ be a DVR with maximal ideal $\mathfrak p=\pi R$. Let $K$ be the quotient field of $R$ and $\mid\cdot\mid_{\mathfrak p}$ the ...
3
votes
1answer
54 views

Examples where there is no power integral basis

Let $A$ be a completion discrete valuation ring with quotient field $K$, $L/K$ finite and separable, and $B$ the integral closure of $A$ in $L$. Let $P, \mathfrak P$ be the unique maximal ideals of ...