0
votes
1answer
19 views

Extension of a discrete non-archimedean absolute value

Let $P$ be a prime ideal of a Dedekind domain $A$, $v$ an absolute value induced by $P$, and $B$ the integral closure of $A$ in a finite separable extension $E$ of $A$'s quotient field $K$. If $w$ is ...
1
vote
1answer
19 views

Formula for Hilbert symbol for primes lying above 2

Let $K$ be any number field, and let $\mathfrak{p}$ be a prime lying over 2. Is there a formula for computing the Hilbert symbol $(a,b)_\mathfrak{p}$? I know the formula when $\mathfrak{p}$ lies above ...
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
37 views

How to show that $|z|=(z\overline{z})^{1/2}$ is the only valuation of $\mathbb{C}$ that extends the absolute value of $\mathbb{R}$?

How can I show that $|z|=(z\overline{z})^{1/2}$ is the only valuation of $\mathbb{C}$ that extends the absolute value of $\mathbb{R}$? I can see that it suffices to work with the unit disk, i.e. it ...
4
votes
1answer
36 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
0answers
71 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 ...
1
vote
1answer
27 views

A certain ideal of a valuation ring

A question from Frohlich and Taylor's book 'Algebraic Number Theory', page 60. Let $\mathfrak o$ be a Dedekind domain with quotient field $K$ and let $v$ be a discrete valuation on $K$. Let ...
0
votes
1answer
28 views

Two discrete valuations on a Dedekind domain

A question from Frohlich and Taylor's book 'Algebraic Number Theory', page 60. Let $\mathfrak o$ be a Dedekind domain with quotient field $K$ and let $v$ be a discrete valuation on $K$. Let ...
0
votes
0answers
15 views

Division in a complete subring of a local field

Suppose $A$ is a complete subring of a local field such that a prime element $\pi$ belongs to $A$. Is it true that if $\beta=\pi^k u$ (with $k\ge 0$ and $v(u)=0$) and $\beta\in A$ then also $u\in A$? ...
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
2answers
72 views

Primes corresponding to embeddings of a number field

Let $k$ be a number field. Define a prime of $k$ to be an equivalence class of absolute values on $k$. If $\sigma:k\hookrightarrow \mathbb{C}$ is an embedding of $k$ into the complex numbers then we ...
2
votes
1answer
42 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 ...
1
vote
1answer
26 views

Quotients of a valuation ring in the 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$ with respect to $v$. Also let $\mathcal{O}_v$ be the valuation ring of $k_v$ and ...
6
votes
1answer
95 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
147 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 ...
1
vote
1answer
157 views

How do we find prime ideals of a ring of integers of a number fileld?

For example for $F=Q(\sqrt{-5})$. the ring of integers of $F =Z[\sqrt{-5}]$.(since $-5\equiv3 \pmod 4$) but how can we determine prime ideals of this? and another problem is the corresponding ...
2
votes
2answers
140 views

The composite of all unramified extensions inside an algebraic closure

I'm reading Ch.II, $\S$ 7 of Neukirch's Algebraic Number Theory and I'd be really grateful if someone could help me understand the following: Let $K$ be a complete valued field wrt a non-archimedean ...
1
vote
0answers
43 views

A trace formula for an extension of complete valued fields

I'm trying to understand the following fact. Proposition. Let $L/K$ be a finite separable extension of complete valued fields, with respective valuations $w$ and $v$, valuation rings $\mathcal{O}_L$ ...
2
votes
0answers
46 views

A question on a sum of valuations

Let $A$ be a discrete valuation ring of characteristic zero. Let $v$ be the valuation on $A$. Let $I$ be a finite index set and $d_i$ a positive integer for all $i$ in $I$ and define $$ d:= \sum_{i ...
9
votes
4answers
361 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 ...
0
votes
1answer
94 views

Ramification of local field

Let $K$ be finite field, $E=K((x))$ and $F=K((x^n))$, that is $F$ is field of formal laurent series in $x^n$. I know that $E\cong F$ (because you can consider $x\rightarrow x^n$ ) I want to prove if ...
3
votes
2answers
261 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 ...
6
votes
1answer
175 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 ...
2
votes
2answers
123 views

Problem in valuation theory

Find $\alpha\in \mathbb{Q}$, such that $v_2(\alpha-1/3)\ge 2$, $v_3(\alpha-1/2)\ge 3$ and $|\alpha-1|_\infty<1/2$, where $v_p$ is the $p$-adic exponential valuation and $|\cdot|_\infty$ is the ...
2
votes
1answer
77 views

Difficulty with nonarchimedean valuation exercise

I'm reading through a book on algebraic number theory, and in the opening section on valuation theory I've been stumped by one of the problems. The problem is in two parts; the first says "Let ...
1
vote
0answers
145 views

units in discrete valuation rings

Let $B/A$ be an extension of discrete valuation rings such that the purely inseparable extension of residue fields $l/k$ has a primitive element, i.e., $l=k(y)$ for some element $y$ in $l$. I want to ...
5
votes
1answer
130 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
60 views

How do I compute the discrete valuation of the sum of two elements

Let $O$ be a discrete valuation ring with valuation $v$. We normalize by $v(\pi) =1$, with $\pi$ a prime element in $O$. By definition, for all $x,y$ in $O$, we have $v(x+y) \geq \min (v(x),v(y))$. ...
4
votes
2answers
606 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
2answers
153 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 ...