Tagged Questions

3
votes
1answer
44 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 ...
0
votes
2answers
75 views

Valuation but not Noetherian 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 ...
-1
votes
1answer
112 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) ...
4
votes
1answer
63 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
43 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$. ...
1
vote
1answer
60 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 ...
1
vote
1answer
74 views

A question in valuation theory

Let $R$ be an integral domain with quotient field $K$. Let $P$ be a prime ideal of $R$, and $L$ be a transcendental extension of $K$. I think there is more than one valuation domain $O'$ with quotient ...
2
votes
1answer
83 views

Construction of a Valuation Ring via Zorn's Lemma, except not

In Atiyah & MacDonald they provide an abstract way to construct valuation rings, I'm curious how easy it is to work this out in general. As a refresher let $K$ be a field, $L$ an algebraically ...
0
votes
2answers
57 views

Function field has infinitely many valuations.

Suppose we have a field $K$ which is a finite algebraic extension of the field $\mathbb{C}(X)$. Can you give me an argument that $K$ admits infinitly many discrete valuations?
6
votes
2answers
167 views

Non-trivial valuation of $\mathbb R$

In a valued fields book on page $82$ there is a question: "show that every non-trivial valuation of $\mathbb R$ has divisible value group and algebraically closed residue class field." How do I ...
4
votes
1answer
108 views

Ring of integers in a field of fractions

Let $R$ be ring with complete non archimedian absolute value. Let $Q$ be the associated field of fractions with the extended absolute value. Does the ring $O_Q = \{x\in Q | |x|\leq 1\}$ is complete ...
3
votes
1answer
69 views

Real valuations on Dedekind domains

Let $D$ be a Dedekind domain. Let $v:D \to \mathbb{R}$ a valuation. We know that for every prime ideal $\mathfrak p$ of $D$ the localization $D_{\mathfrak p}$ is DVR. Does every valuation on $D$ ...
4
votes
1answer
66 views

Henselization and immediate extension

I am reading about the henselization and immediate extension of valuation. I am getting confusion about some basic terminology. I have few question. \ $1)$ Is every hensilization extension of ...
2
votes
1answer
77 views

Valuation over the algebraically closed field of rational number

How do we define the valuation over the algebraically closed field of rational numbers say $\bar{\mathbb Q}$ as an extension of the valuation of $\mathbb Q$ ?
1
vote
1answer
64 views

Valuation rings of complete non-archimedean fields which are not local

I would like to know how are the valuation rings of complete non-archimedean fields which are not local. Take, for example, $\mathbb{C}_p$, and its valuation ring, ...
1
vote
0answers
54 views

Henselization and valued field

What is the importance of henselization in valuation theory, when the rank of valuation is bigger than one? Thanks
3
votes
2answers
84 views

What is a “normalized valuation” corresponding to a valuation ring?

I encountered the phrase "normalized valuation" similar to the following: Let $A_i$ be the valuation ring $k[x_1,...,x_n]_{\langle x_i\rangle}$ and $v_i$ be the normalized valuation defined by ...
2
votes
1answer
152 views

Existence of an element of given orders at finitely many prime ideals of a Dedekind domain

Let $A$ be a Dedekind domain. Let $P$ be a non-zero prime ideal of $A$. Let $\alpha \in A$. Let $k$ be a non-negative integer. If $\alpha \in P^k$ and $\alpha\notin P^{k+1}$, we write $v_P(\alpha) = ...
3
votes
0answers
60 views

Automorphism of $L|K$ mapping 3 distinct rational points of $S_{L|K}$ to other 3 distinct ones

Let $K$ be a field and consider $L = K(x)$ the field of rational functions. Let $v_{1}, v_{2}, v_{3}$ rational points in the abstract Riemann surface $S_{L|K}$, distinct from each other, and $w_{1}, ...
5
votes
1answer
98 views

Discrete valuation ring extension such that $A[\pi]$ is not integrally closed

Let $B/A$ be a finite integral extension of discrete valuation rings of characteristic zero. Question. Is there a uniformizer $\pi$ in $B$ such that $A[\pi]$ is a discrete valuation ring? If not, ...
0
votes
1answer
89 views

A construction in the proof of “ any local ring is dominated by a DVR”

Let $O$ be a noetherian, local domain with maximal ideal $m$. I want to prove: for a suitable choice of generators $x_1,\dots,x_n$ of $m$, the ideal $(x_1)$ in $O'=O[x_2/x_1,\dots,x_n/x_1]$ is not ...
1
vote
2answers
189 views

A characterisation of tame ramification

The following is the statement from Algebraic Number Theory by Neukirch (Chapter 2 Proposition(7.7) p155) Blockquote Suppose $K$ is Henselian field, $p=char(\kappa)$ , the character of the ...