For questions related to valuation functions on a field.

learn more… | top users | synonyms

0
votes
1answer
43 views

Help in this proof on DVRs

I'm trying to understand this proof: Anyone could clarify the converse please? I really need help. Thanks a lot
4
votes
1answer
152 views

A question on valuation overrings of a PID

Let $A$ be a PID and let $K$ be its quotient field. Let $V$ be a valuation ring of $K$ containing $A$ and assume $V\neq K$. Show that $V$ is a local ring $A_{(p)}$ for some prime element $p$. I ...
0
votes
1answer
50 views

How to show that $|z|=(z\overline{z})^{1/2}$ is the only valuation of $\mathbb{C}$ that extends the absolute value of $\mathbb{R}$?

How can I show that $|z|=(z\overline{z})^{1/2}$ is the only valuation of $\mathbb{C}$ that extends the absolute value of $\mathbb{R}$? I can see that it suffices to work with the unit disk, i.e. it ...
2
votes
1answer
55 views

Localizations of the ring $A=\Bbb{C}[X,Y]/(Y^2-X^4+2X^2-1)$

Consider the ring $A=\Bbb{C}[X,Y]/(Y^2-X^4+2X^2-1)$. Let $A_M$ denote the localization of $A$ with respect to maximal ideal $M$. My question is: Is $A_N$ a DVR, where $N$ is the maximal ideal ...
0
votes
0answers
62 views

Application of Hensel's lemma

Show that the polynomial $\Phi(x)=x^2 -2 \in O(\widehat{\Bbb Q_2})[x] $ has no root in $\widehat{\Bbb Q_2}$, even though $\bar\Phi(x)\in E(\widehat{\Bbb Q_2})[x]$ has a root in $E(\widehat{\Bbb Q_2}) ...
4
votes
1answer
130 views

Definition of algebraic variety

In general, the definition of an algebraic variety differs from one reference to other. The definition that I was used to is to consider an algebraic variety as an integral scheme of finite type. ...
0
votes
1answer
104 views

Non-archimedean valuation on a field

It was a exercise that one of our professors gave it to us and I don't know the solution of it: Suppose that $v$ is a non-archimedean valuation on the field $F$ and $o(v)$ is the valuation ring of ...
3
votes
2answers
122 views

Finding a Uniformizer of a Discrete Valuation Ring

Suppose I have a discrete valuation ring. Then what are some techniques for explicitly finding a uniformizer? I'm especially interested in situations where the ring is given similarly to the following ...
1
vote
1answer
69 views

Embedding $\mathbb Q^c$ into $\mathbb Q^c_p$

Let $p$ be a prime number and $\mathbb Q_p$ the $p$-adic completion of $\mathbb Q$. Let $\mathbb Q^c$ be the algebraic closure of $\mathbb Q$ in $\mathbb C$. Is there an embedding $$j: \mathbb Q^c ...
3
votes
0answers
79 views

Question about complete DVR.

Is there a simple proof that you know to the following statement: If the residue field $k$ of a complete DVR $R$ has the same characteristic as $R$, then $R$ contains a subfield isomorphic to $k$. ...
4
votes
1answer
47 views

Discrete valuation on a field - equivalent statements

I have a question and I am stuck, although it should not be too difficult. We consider $K$ a field, $v$ a discrete valuation on $K$ and $O=\{x \in K:v(x)\geq 0\}$ the valuation ring of $v$. Let ...
-4
votes
1answer
115 views

Some question on localization of a polynomial ring and DVR

Let $A$ be a ring, $P$ be a prime ideal of the polynomial ring $A[x]$ and let $Q=P \cap A$. There are two questions... (1) $A[x]_P \cong A_Q[x]_{m_Q}$? (2) If $A_Q$ is a DVR then $ A_Q[x]_{m_Q}$ is ...
1
vote
1answer
132 views

Valuation Ring with value group $\Gamma=\mathbb{Z} \oplus \mathbb{Z}$

Let $\Gamma=\mathbb{Z}\oplus \mathbb{Z}$ be the free abelian group with two generators, lexicographically ordered. That is, $(a,b)\geq (a^{'},b^{'})$ iff either $a>a^{'}$ or $a=a^{'} \mathrm{and}\, ...
-2
votes
1answer
57 views

Discrete valuation rings are infinite.

Assume $F\supset k$ is a functional field. Assume $R\subset F$ is a discrete valuation ring with a quotient filed $F$, that contains the field of constants $k$. Assume $t$ is a local parameter for ...
0
votes
1answer
74 views

Discrete valuations of a functional field have discrete valuation rings.

Theorem: If $\nu:F\to\mathbb R\cup\{\infty\}$ is a valuation of a functional field, then the set $$\mathfrak O_{\nu}=\{x\in F: \nu(x)\geq 0\}$$ is a local ring with maximal ideal $$\mathfrak ...
5
votes
0answers
80 views

Isomorphism of algebras $E_v = \prod_{w\mid v} E_w$

I am currently reading the article Bayer–Fluckiger, Eva, B. Nivedita, and Raman Parimala. "Hasse principle for G–quadratic forms." Documenta Mathematica 18 (2013): 383-392. in which there is a ...
7
votes
1answer
124 views

A valuation-like function $w: \mathbb{N}^{+} \rightarrow \mathbb{N}$ is a $p$-adic valuation?

This question is a variant of problem 4, pg. 21, from Birkhoff and Maclane, A Survey of Modern Algebra. Given a function $w: \mathbb{N}^+ \rightarrow \mathbb{N}$ that behaves like a valuation ...
2
votes
2answers
115 views

Proving that a discrete valuation-like function $w: \mathbb{Z}\backslash\{0\} \rightarrow \mathbb{N}$ is a $p$-adic valuation

This problem is from Birkhoff and Maclane, A Survey of Modern Algebra, pg 21, problem 4*. Given a function $w: \mathbb{Z}\backslash\{0\} \rightarrow \mathbb{N}$ that behaves like a discrete ...
1
vote
1answer
31 views

A certain ideal of a valuation ring

A question from Frohlich and Taylor's book 'Algebraic Number Theory', page 60. Let $\mathfrak o$ be a Dedekind domain with quotient field $K$ and let $v$ be a discrete valuation on $K$. Let ...
0
votes
1answer
39 views

Two discrete valuations on a Dedekind domain

A question from Frohlich and Taylor's book 'Algebraic Number Theory', page 60. Let $\mathfrak o$ be a Dedekind domain with quotient field $K$ and let $v$ be a discrete valuation on $K$. Let ...
2
votes
0answers
70 views

How to prove that a DVR is not complete

My question is inspired by a comment in this topic. How to prove that $R=\mathbb C[x]_{(x)}$ is not complete in the topology of its maximal ideal? One knows that $R$ is a DVR, and its field of ...
1
vote
2answers
41 views

Show $m_v$ is maximal in $R_v$, valuation ring ($v:K\rightarrow G\cup\{\infty\}$ a valuation on $K$)

Let $K$ be a field, $G$ a totally ordered group and $v:K \rightarrow G\cup\{\infty\}$ be a valuation on $K$. I am trying to show that $m_v=\{k \in K: v(k)>0\}$ is a (the?) maximal ideal in ...
1
vote
1answer
43 views

Simple property of a valuation on a field

Let $F$ be a field and $v:F\rightarrow G\cup\{\infty\}$ be a valuation on $F$ so $G$ is a totally ordered abelian group with $\infty$ having the properties $\infty+\infty=g+\infty=\infty+g=\infty$ and ...
0
votes
1answer
38 views

How to show that $R_{\mathfrak{m}}$ is $R$?

Let $R$ be a discrete valuation ring and $\mathfrak{m}$ its unique non-zero maximal ideal. How to show that $R_{\mathfrak{m}}$ is $R$ using definition of a discrete valuation ring? I know that ...
3
votes
0answers
83 views

Question about localizations of discrete valuation rings.

Let $R$ be a discrete valuation ring. Then $R$ has only two prime ideals: $0$ and the maximal ideal $\mathfrak{m}$. It is said in Hartshorne, page 74, Example 2.3.2 that the localization of $R$ at $0$ ...
3
votes
1answer
66 views

Regarding valuation on function field

Notations: Let $k$ be a field of characteristic $\neq 2$, $k(X)$ be a function field. Suppose $p(X)\in k[X]$ is an irreducible polynomial and $\alpha$ be a root of $p(X)$. Let ...
0
votes
2answers
82 views

Primes corresponding to embeddings of a number field

Let $k$ be a number field. Define a prime of $k$ to be an equivalence class of absolute values on $k$. If $\sigma:k\hookrightarrow \mathbb{C}$ is an embedding of $k$ into the complex numbers then we ...
2
votes
1answer
57 views

Integral elements of a non-archimedean completion of a number field

Let $k$ be a number field, $v$ a discrete non-archimedean valuation on $k$. Let $k_v$ be the completion of $k$ wrt $v$ and $\mathcal O_v$ its valuation ring. My question is: If $x\in k_v$ then is ...
0
votes
1answer
31 views

Module Notation $Dx$

Let $K$ be a field, and let $D$ be a subring of $K$ with identity. Let $K^*$ be the multiplicative group of nonzero elements of $K$. The group $U$ of units of $D$ is a subgroup of $K^*$. We take ...
1
vote
1answer
29 views

Quotients of a valuation ring in the completion of a number field

Let $k$ be a number field, $v$ a discrete (non-archimedean) valuation on $k$. Let $k_v$ be the completion of $k$ with respect to $v$. Also let $\mathcal{O}_v$ be the valuation ring of $k_v$ and ...
0
votes
1answer
76 views

discrete valuation ring

I am struggling to understand the proof of the following proposition Let $A=\{x\in K|v(x)\ge 0\}$ for a field $K$ be a discrete valuation ring. Let $t\in A$ s.t. $v(t)=1$. Then any element $x\in A$ ...
3
votes
2answers
160 views

Learn about valuations, valuation rings, value group

I am reading a paper for a summer research project (Example of an interpolation domain ). I am unfamiliar with some of the terms used here and I have tried searching on google for definitions but I am ...
6
votes
1answer
118 views

Valuations on a field and ramification

For $K\subseteq L$, where $L$ is a finite number field extension of $K$, we consider $p\subset R_K$ and $p'\subset R_L$ where $p'$ lies over $p$, where $R_K$ is the ring of integers of $K$ and $R_L$ ...
1
vote
0answers
98 views

Extensions of valuations

I'm trying to understand how a valuation $v$ of a field $K$ extends to an algebraic extension $L$. In chapter 8 of his book ANT, Neukirch first chooses a $K$-embedding $\tau : L \longrightarrow ...
5
votes
1answer
124 views

Valuation ring in an algebraically closed field

Let $k$ be an algebraically closed field and $(R, \mathfrak{m})$ a valuation ring in $k$ i.e. the field of fractions of $R$ is $k$. Then Mumford (Red Book, page 127) claimed that the residue field ...
1
vote
1answer
236 views

An application of the Weak Approximation theorem - Artin-Whaples Approximation Theorem

Let us recall the weak approximation theorem from Valuation theory in Algebraic Number Theory. Let K be a field, and let $|\cdot|_{1},\cdots, |\cdot|_n$ be pairwise non-equivalent nontrivial ...
2
votes
1answer
60 views

extension of a valuation of $K$ to $K(X)$

Let $A$ be a Krull ring and $p$ a prime ideal of height 1. Then $A_p$ is a DVR with corresponding valuation $v$ on the field of fractions $K$ of $A$. Question: Can we extend this valuation to an ...
1
vote
1answer
313 views

How do we find prime ideals of a ring of integers of a number fileld?

For example for $F=Q(\sqrt{-5})$. the ring of integers of $F =Z[\sqrt{-5}]$.(since $-5\equiv3 \pmod 4$) but how can we determine prime ideals of this? and another problem is the corresponding ...
2
votes
2answers
154 views

Local fields and infinite extensions, basic questions

Notation throughout: Let $K$ be a discrete valuation field and $L/K$ an infinite (not necessarily Galois) extension of $K$. 1) How can/does one define a ramification index $e(L/K)$ for $L/K$? It ...
3
votes
1answer
140 views

Discrete Valuation Ring and Subring of the Fractions Field

Let $R$ be a Discrete Valuation Ring, and $K$ its fractions field. Now if $B\subseteq K$ is a subring with $R\subseteq B$ then we have $$B=R \text{ or } B=K.$$ Now this seems to be a very basic ...
5
votes
3answers
391 views

Examples of Non-Noetherian Valuation Rings

For valuation rings I know examples which are Noetherian. I know there are good standard non Noetherian Valuation Rings. Can anybody please give some examples of rings of this kind? I am very ...
4
votes
0answers
138 views

Intuition behind “Non-Archimedean” — two senses of “non-archimedean”.

There appear to be two senses of the qualifier "Archimedean" for fields. One is for ordered fields, and one is for "valued fields" (fields with an absolute value function defined). In the first case, ...
2
votes
2answers
201 views

The composite of all unramified extensions inside an algebraic closure

I'm reading Ch.II, $\S$ 7 of Neukirch's Algebraic Number Theory and I'd be really grateful if someone could help me understand the following: Let $K$ be a complete valued field wrt a non-archimedean ...
2
votes
2answers
69 views

Valuations, Isomorphism, Local ring

Let $x \in \mathbb{Q}, \, x \neq 0$, such that $x=p^r \frac{a}{b}, \quad a,b, r \in \mathbb{Z}, \quad p \nmid a, \quad p\nmid b$. Let $v_p(x):=r$ and $v_p(0):= \infty$. Also, $$\mathcal O_p= \left\{ ...
0
votes
1answer
172 views

Discrete Valuation Rings problem 2

An order function on a field $K$ is a function $\phi:K\to \mathbb{Z} \cup {\{\infty}\}$ satisfying: i) $\phi(a) = \infty$ if and only if $a=0$. ii) $\phi(ab) = \phi(a) + \phi(b)$. iii) ...
1
vote
0answers
48 views

A trace formula for an extension of complete valued fields

I'm trying to understand the following fact. Proposition. Let $L/K$ be a finite separable extension of complete valued fields, with respective valuations $w$ and $v$, valuation rings $\mathcal{O}_L$ ...
2
votes
0answers
49 views

A question on a sum of valuations

Let $A$ be a discrete valuation ring of characteristic zero. Let $v$ be the valuation on $A$. Let $I$ be a finite index set and $d_i$ a positive integer for all $i$ in $I$ and define $$ d:= \sum_{i ...
4
votes
1answer
80 views

About Henselization

I have some question about Henselization of valued field. If $(K_{1}, \nu_{1})$ is a Henselization of valued field $(K, \nu)$. Which one is true. $K_{1}/K$ is an algebraic extension. $K_{1}/K$ is a ...
2
votes
2answers
103 views

Valuation rings and domination

I was wondering if the following holds: if $A$ is a valuation ring with maximal ideal $m_A$ and $B$ is a ring extension of $A$ contained in $Frac(A)$ then the only maximal ideal of $B$ is still $m_A$. ...
2
votes
1answer
72 views

Properties of valuation map

It seems not so hard to prove but how can we prove by induction. Let $K$ be a field and $\nu$ be a valuation map. If $a_{1} + a_{2} + ... + a_{n} = 0$ then prove that $\nu(a_{i}) = \nu(a_{j})$ for ...