For questions related to valuation functions on a field.

learn more… | top users | synonyms

13
votes
1answer
355 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 ...
11
votes
2answers
496 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
481 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 ...
8
votes
1answer
297 views

Two discrete valuation rings, one contained into another

Let $A$ and $B$ be discrete valuation rings of the same field of fractions. Suppose $A \subset B$. Then $A = B$? I came up with this problem when I was reading van der Waerden's Algebra. The ...
7
votes
2answers
299 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
206 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
190 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
135 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
3answers
924 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 ...
6
votes
1answer
114 views

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

Let $k$ be a field, $X$ and $Y$ indeterminates, and suppose that $\alpha$ is a positive irrational number. Then the map $\nu:k[X,Y]\rightarrow \mathbb{R}\cup \{\infty\}$ defined by $\nu\left(\sum ...
6
votes
1answer
271 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
128 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$ ...
6
votes
0answers
72 views

A slightly stranger Hensel's Lemma

I'm trying to understand the solution to this problem. It came up when doing some revision. It is essentially to show that the conclusion of Hensel's Lemma holds if we have take a valuation ring $R$ ...
6
votes
0answers
92 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 ...
5
votes
4answers
540 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 ...
5
votes
2answers
576 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 ...
5
votes
1answer
152 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
590 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
192 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
162 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
1answer
152 views

Lang's “General Integrality Criterion”

Theorem 3.7 in the chapter on ring extension on page 352 of the latest edition of Lang's "Algebra" appears redundant in its phrasing to me. Specifically, if $g_s$ is a polynomial of total degree ...
5
votes
0answers
48 views

An infinite prime can ramify right? (So what is Neukirch talking about?)

I have been under the impression for several years that if $L/K$ is an extension of number fields, then an infinite place of $K$ is said to ramify in $L$ if it comes from a real embedding of $K$ which ...
5
votes
0answers
91 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
823 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
182 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
2answers
54 views

Reduction map on torsion points of an elliptic curve and their valuation

Let $K$ be a field of characteristic zero, complete with respect a discrete valuation $v$. Assume that the residue field $k$ is of positive characteristic $p$. Now take an elliptic curve $E$ defined ...
4
votes
1answer
93 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
2answers
382 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 ...
4
votes
1answer
57 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
59 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
110 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
87 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
168 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
135 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
186 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
141 views

The role of valuation rings in algebraic geometry

I am familiar with basic algebraic geometry in the tradition of Hartshorne's book. Discrete valuation rings appear there in the criteria for separatedness/properness, and are used to define the order ...
4
votes
1answer
310 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
38 views

Motivation behind the Archimedean norm on number fields .

It is easy to justify the use of non-archimedean norms on number fields from an "inside view" as arising from the prime ideals and are therefore clearly useful a priori. However, it seems to me that ...
4
votes
2answers
77 views

How to prove that any infinite algebraic extension of a complete field is never complete?

My first idea is using Baire category theorem since I thought an infinite algebraic extension should be of countable degree. However, this is wrong, according to this post. This approach may still ...
4
votes
0answers
126 views

Determine all discrete valuations on $\mathbb{C}(x)$.

To clarify, for a field $K$, a valuation $v$ on $K$ is a map $v:K^{\times}\to G$ for $G$ an ordered group (written additively) such that for any $a,b\in K^{\times}$: 1) $v(ab)=v(a)+v(b)$; 2) ...
4
votes
0answers
154 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
115 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
1answer
66 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
2answers
208 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
180 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
73 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
1answer
81 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
1answer
53 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
173 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 ...