For questions related to valuation functions on a field.

learn more… | top users | synonyms

13
votes
1answer
336 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 ...
9
votes
2answers
305 views

Concrete examples of valuation rings of rank two.

Let $A$ be a valuation ring of rank two. Then $A$ gives an example of a commutative ring such that $\mathrm{Spec}(A)$ is a noetherian topological space, but $A$ is non-noetherian. (Indeed, otherwise ...
9
votes
4answers
424 views

Why does the equation $x^2-82y^2=\pm2$ have solutions in every $\mathbb{Z}_p$ but not in $\mathbb{Z}$?

I have been working on an exercise in H. P. F. Swinnerton-Dyer's book, A Brief Guide to Algebraic Number Theory. The question is like this: Show that $x^2-82y^2=\pm2$ has solutions in every ...
7
votes
2answers
255 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 ...
7
votes
2answers
169 views

How many absolute values are there?

My question is the following: Are there algebraic norms on the fields $\mathbb{R}, \mathbf{Q_p}$ ''other'' than the absolute value, respectively $|\cdot|_p$? Now phrasing more precisely: If generally ...
7
votes
1answer
183 views

The number of solutions of the equation $x^n+y^n=1$ over $\mathbb{Z}_p$ with $\mathbb{Z}_p=\{\alpha\in \mathbb{Q}_p:|\alpha|_p\le 1\}$.

The number of solutions of the equation $x^n+y^n=1$ over $\mathbb{Z}_p$ with $\mathbb{Z}_p=\{\alpha\in \mathbb{Q}_p:|\alpha|_p\le 1\}=\{\sum_{i=0}^\infty a_ip^i:0\le a_i \le p-1\}$. I was trying ...
7
votes
1answer
121 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 ...
6
votes
1answer
251 views

Valuation ring of $k(x, y)$ of dimension $2$

My question is as follows: Given a field $k$, is it always possible to find a valuation ring of $k(x, y)$ of dimension $2$?
6
votes
1answer
106 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$ ...
5
votes
3answers
573 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 ...
5
votes
1answer
105 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 ...
5
votes
1answer
539 views

Extension of valuation

We define a valuation on the field of rational number $\mathbb Q$ as follows. For example if we choose a prime number $2$ then for $x \neq 0\in \mathbb Q$, $v(x) = v(2^{n}a/b)= n$ where $n$ is an ...
5
votes
1answer
141 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, ...
5
votes
1answer
148 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 ...
5
votes
0answers
77 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 ...
4
votes
2answers
642 views

Roots of unity in a local field

The multiplicative group of a local field $K$ with valuation ring $\mathcal{O}$ and residue class field of $\overline{K}$ of degree $q=p^f$ splits as $K=\langle \pi\rangle\times \mu_{q-1}\times ...
4
votes
1answer
90 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. ...
4
votes
1answer
77 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 ...
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}$ ...
4
votes
1answer
42 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
87 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 ...
4
votes
1answer
48 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 ...
4
votes
1answer
143 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 ...
4
votes
1answer
102 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 ...
4
votes
2answers
155 views

Algebraic Henselian extensions of the rationals

Let $p$ be a fixed prime, $v:\mathbb{Q}\rightarrow\mathbb{Z}$ be the $p$-adic valuation on $\mathbb{Q}$ and $\mathbb{Q}^h$ the Henselization of $\mathbb{Q}$ with respect to $v$. I want to show that ...
4
votes
1answer
285 views

Existence of valuation rings in a finite extension of the field of fractions of a weakly Artinian domain without Axiom of Choice

Can we prove the following theorem without Axiom of Choice? This is a generalization of this problem. Theorem Let $A$ be a weakly Artinian domain. Let $K$ be the field of fractions of $A$. Let $L$ ...
4
votes
0answers
45 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 ...
4
votes
0answers
126 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, ...
4
votes
0answers
111 views

Transfinite induction and valuation rank

In Engler's valued fields, exercise 3.5.2 goes as follows Construct valuations on $\Bbb{C}$ of rank $\kappa$ for every cardinal $\kappa \leq 2^{\aleph_0}$. The idea behind this (for any ...
4
votes
0answers
67 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}, ...
3
votes
2answers
328 views

Why is the restricted direct product topology on the idele group stronger than the topology induced by the adele group?

I am confused by the saying that the restricted direct product topology on the idele group is stronger than the topology induced by the adele group. And perhaps this is elaborated by the following ...
3
votes
1answer
148 views

A property of non-Archimedean metrics

I have recently been reading about non-Archimedean metrics on fields (in Koblitz: $p$-adic Numbers, $p$-adic Analysis, and Zeta-Functions), and came across the exercise: Prove that a norm $\|.\|$ on ...
3
votes
1answer
45 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!
3
votes
1answer
58 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 ...
3
votes
2answers
132 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 ...
3
votes
1answer
77 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$ ...
3
votes
2answers
220 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 ...
3
votes
1answer
35 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
2answers
111 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 ...
3
votes
1answer
87 views

Dividing the ramification index of an extension

Let $f(x)$ be a polynomial of degree $m$ over $\mathbb{Q}_{p}$ with all roots $r_{i}$ such that $\operatorname{ord}_{p} r_{i} = \frac{1}{p}$. Why does $p$ have to divide the ramification index of ...
3
votes
1answer
35 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 ...
3
votes
1answer
121 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 ...
3
votes
1answer
267 views

Non-Archimedean Fields

Are there non-Archimedean fields without associated valuation or being a non-archimedan field implies it is a valuation field? I understand that a non-Archimedean field is a field which does not ...
3
votes
1answer
54 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 ...
3
votes
0answers
69 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$. ...
3
votes
0answers
78 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$ ...
2
votes
3answers
260 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 ...
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 ...
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 ...
2
votes
1answer
53 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 ...