4
votes
1answer
42 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}$ ...
2
votes
0answers
64 views

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

Let $k$ be a field, $X$ and $Y$ indeterminate, and suppose that $\alpha$ is a positive irrational number. Then the map $\nu:k[X,Y]\rightarrow \mathbb{R}\cup \{\infty\}$ defined by taking $\sum ...
2
votes
1answer
50 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
1answer
96 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 ...
1
vote
1answer
119 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}\, ...
0
votes
1answer
67 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$ ...
2
votes
2answers
138 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 ...
1
vote
1answer
98 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, ...