0
votes
0answers
30 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
16 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) ...
2
votes
1answer
23 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
33 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
31 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$). ...
3
votes
1answer
44 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
31 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 ...
0
votes
1answer
42 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
136 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
0answers
55 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}) ...
0
votes
1answer
90 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
95 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 ...
4
votes
1answer
37 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 ...
7
votes
1answer
116 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
113 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
2answers
39 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
38 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 ...
3
votes
1answer
55 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
1answer
62 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
114 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
97 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
1answer
148 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 ...
3
votes
2answers
183 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 ...
5
votes
3answers
522 views

Algebraic Closure of Puiseux Series

Using the construction $R_N = K[t^\frac1N]$ $L_N = Quot(R_N)$ and $P = \bigcup_{N\in \mathbb{N}} L_N$ one automatically gets that the puiseux series are a field. Nevertheless they are also an ...
13
votes
1answer
328 views

Why is $\mathbb{C}_p$ isomorphic to $\mathbb{C}$?

I know that two closed fields of caracteristic $0$ and uncountable are isomorphic iff they have the same cardinality. But I don't know why $\mathbb{C}_p$ has the same cardinality as $\mathbb{C}$. Can ...