# Tagged Questions

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 ...
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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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$? ...
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 ...
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 ...
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 ...
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 ...
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$ ...
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 ...
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 ...
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 ...
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$ ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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, ...
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))$. ...