2
votes
1answer
72 views

Infinite primes of a number field

Let $K$ be a number field. I know that to each real and to each complex conjugate pair of embeddings of $K$ there corresponds exactly one prime (equivalence class of absolute values) of $K$. How do I ...
1
vote
1answer
51 views

When Is there no Local Power Integral Basis?

Let $A$ be a Dedekind domain, $K, L, B$ the usual designations of $A$'s quotient field, a finite separable extension of $K$, and integral closure of $A$ in $L$ respectively. If $\alpha \in B$ ...
1
vote
1answer
22 views

Extensions of nonarchimedean valuations

This is a question from Janusz 'Algebraic Number Theory'. Let $R$ be a DVR with maximal ideal $\mathfrak p=\pi R$. Let $K$ be the quotient field of $R$ and $\mid\cdot\mid_{\mathfrak p}$ the ...
3
votes
1answer
42 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 ...
4
votes
1answer
91 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 ...
2
votes
0answers
39 views

The number of abolute value on $\mathbb{Q}(\sqrt{2})$

Let $|.|$ be the usual absolute value on $\mathbb{Q}$. The number of absolute value on $Q(\sqrt{2})$ extending |.| is 2 since $x^2-2=(x-\sqrt{2})(x+\sqrt{2})$ in $\mathbb{R}[x]$. Let ...
4
votes
0answers
46 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 ...
0
votes
1answer
26 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
30 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
56 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 ...
0
votes
1answer
38 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
43 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 ...
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 ...
1
vote
1answer
31 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
36 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
16 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
62 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
81 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
55 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
28 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
110 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
200 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
272 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
163 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
47 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
48 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
433 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
97 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
349 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 ...
7
votes
1answer
185 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
124 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
79 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 ...
3
votes
1answer
163 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
145 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
67 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
652 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
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 ...