For questions related to valuation functions on a field.

learn more… | top users | synonyms

3
votes
0answers
31 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
8 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}+\ldots+ a_iy^{n-i}+\ldots+a_n \in k[x][y]$$ irreducible in $y$, and ...
1
vote
0answers
23 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
13 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
25 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
29 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
23 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
0answers
24 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 ...
0
votes
0answers
20 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
30 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 ...
0
votes
0answers
12 views

Root of unity in a global field

Let $K$ be a global field. How to show that $|x|_v= 1$ at every place $v$ of $K$ if and only if $x$ is a root of unity in $K$.
0
votes
1answer
19 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
57 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
41 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
80 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
85 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
95 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
35 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
29 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
58 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
33 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 ...
0
votes
2answers
45 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
42 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
62 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
53 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
30 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
46 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 ...
0
votes
0answers
32 views

Hensels Lemma in many variables

Let $(K,v)$ be a henselian valued field, with valuation ring $\mathcal{O}$ and residue field $Kv$. Then given a polynomial $f \in \mathcal{O}[x]$, henselianity tells that given some suitable ...
2
votes
1answer
34 views

tree structure on classes of elements in GL_2 over a field with discrete valuation

this is my first question here, so I hope I am doing it right. :) I'm currently reading a paper about the tree of GL_2 over a discretely valued field (similarly to Serre). Here's the setting: $k$ an ...
0
votes
0answers
30 views

Criterion of separability of function on a curve.

Let $K$ be finitely generated extension of an algebraically closed field $k$ of transcendence degree $1$, $\operatorname{char }k =p$. Let $C(K)$ be set of discrete valuation rings $(\mathcal ...
4
votes
1answer
100 views

Question on extensions of discrete valuation fields

Let $F$ be a discrete valuation field. Let $L$ be a finite extension of $F$. Let $L=F(\alpha)$ where $\alpha$ belongs to ring of integers of $L$, denoted by $O_L$. Is it always true that ...
2
votes
0answers
31 views

automorphism of $\Bbb{Q_p}$closed [duplicate]

How to show that there does not exist an automorphism of $\Bbb{Q_p}$ except identity. Please help. Is any automorphism of $\Bbb{Q_p}$ already continuous.?
1
vote
1answer
88 views

Question on complete discrete valuation field.

Let $F$ be a complete discrete valuation field and $f(X) = X^n + a_{n-1}X^{n-1} +\cdots+ a_0$ is an irreducible polynomial over $F$. How to show that a) $ v(a_0) > 0$ implies $v(a_i) > 0$ for ...
2
votes
0answers
39 views

The number of abolute value on $\mathbb{Q}(\sqrt{2})$

Let $|.|$ be the usual absolute value on $\mathbb{Q}$. The number of absolute value on $Q(\sqrt{2})$ extending |.| is 2 since $x^2-2=(x-\sqrt{2})(x+\sqrt{2})$ in $\mathbb{R}[x]$. Let ...
4
votes
1answer
45 views

Why is the order of a prime element well-defined?

This is in relation to the $p$-adic valuation on the field of fractions $F$ of an integral domain $D$. The idea is that for each $x \in F$ there is a unique maximal $k$ such that $x = p^k u v^{-1}$ ...
4
votes
0answers
51 views

Ramification index of infinite primes

I am reading Neukirch's Algebraic Number Theory. On page 184, Chapter 3, Neukirch defines the ramification index of infinite primes as follows: For a finite extension $L/K$ of number fields, and an ...
0
votes
0answers
40 views

Showing that a set is Discrete Valuation Ring

An order function on a field $K$ is a function $ϕ:K→Z∪{∞}$ satisfying: i) $ϕ(a)=∞$ if and only if $a=0$. ii) $ϕ(ab)=ϕ(a)+ϕ(b)$. iii) $ϕ(a+b)≥min(ϕ(a),ϕ(b))$. Show that R=$\{z∈K∣ϕ(z)≥0\}$ is a DVR ...
0
votes
0answers
19 views

A valued field is complete iff its ring of intergers is complete

Let $K$ be a field, and let $v$ be a valuation defined on K, and let $O$ be the ring of integers, and $M$ be the maximal ideal. How to show that $K$ is complete (i.e $K$ is equal to its completion) ...
6
votes
1answer
109 views

A certain valuation of $k(X,Y)$ with value group $\mathbb{Z}+\mathbb{Z}\alpha$

Let $k$ be a field, $X$ and $Y$ indeterminates, and suppose that $\alpha$ is a positive irrational number. Then the map $\nu:k[X,Y]\rightarrow \mathbb{R}\cup \{\infty\}$ defined by $\nu\left(\sum ...
2
votes
1answer
30 views

Valuation rings (confusion with arithmetics)

I am reading Goldschmidt's Algebraic functions and projective curves. From the book: Let $K$ be a field. An integral domain $\mathcal{O}\subset K$ is a valuation ring if for all $x\in K$ either $x$ ...
0
votes
1answer
35 views

Extension of a discrete non-archimedean absolute value

Let $P$ be a prime ideal of a Dedekind domain $A$, $v$ an absolute value induced by $P$, and $B$ the integral closure of $A$ in a finite separable extension $E$ of $A$'s quotient field $K$. If $w$ is ...
0
votes
1answer
37 views

Annihilators in discrete valuation rings

Let $A$ be a discrete valuation ring and $M$ be an $A$-module. Let $a \in A$ and $m \in M$ such that $am \neq 0$. Is it true that $\operatorname{Ann}(m) = a \operatorname{Ann}(am)$?
3
votes
1answer
41 views

Valuation rings and total order

Let $K$ be a field and $\mathcal{O}$ be a valuation ring of $K$ (So $\mathcal{O}\subset K$ is an integral domain with the property that either $x$ or $x^{-1}$ is in $\mathcal{O}$ for all $x\in K$). ...
0
votes
1answer
53 views

Is the residue field of an algebraically closed field with respect to a non-trivial valuation infinite?

Let $K$ be an algebraically closed field with a non-trivial valuation. Let $\Bbb k$ be the residue field, i.e. $\Bbb k = R/\mathfrak m$ where $R$ is the valuation ring $R:=\{a\in K\mid \text{val} ...
1
vote
1answer
34 views

Formula for Hilbert symbol for primes lying above 2

Let $K$ be any number field, and let $\mathfrak{p}$ be a prime lying over 2. Is there a formula for computing the Hilbert symbol $(a,b)_\mathfrak{p}$? I know the formula when $\mathfrak{p}$ lies above ...
2
votes
0answers
52 views

Equivalent Hensel's lemma?

Let $K$ be a complete field with nonarchimedian valuation $|\cdot|$ and $\mathcal{O}_K := \{x \in K: \; |x| \le 1\}$, $\mathfrak{m} := \{x \in K: \; |x| < 1\}$. I have seen two statements that do ...
4
votes
1answer
66 views

Lattice in a vector space of dim 2 over a valuated field.

I'm reading "Arbres, amalgames et SL2" of J.P. Serre, and something is not clear to me, but is to him :) Let $k$ be a field, with a discrete valuation $v$, ie a group epimorphism $v:k^\ast \to ...
0
votes
1answer
22 views

Non-archimedean valuation

In the definition of non-archimedean valuation the value group is the group of real numbers $\mathbb R$. Can we replace $\mathbb R$ by any totally ordered group different from $\mathbb R$ ? Thanks
3
votes
1answer
63 views

Integral Closure in an Unramified Extension is Generated by a Single Element

Let $R$ be a discrete valuation ring with quotient field $K$, and $L/K$ a finite separable extension which is unramified over $K$. Also suppose that $K$ is complete with respect to the valuation of ...
1
vote
1answer
47 views

Subring of a field with a discrete valuation is a euclidean domain

I am confused by the following problem in Aluffi's Algebra Chapter Zero... A discrete valuation on a field $k$ is a surjective group homomorphism $v : k^* \to (\Bbb Z,+)$ such that $v(a + b) \geq ...