# Tagged Questions

Questions related to the algebraic structure of algebraic integers

1k views

### Finding the norm in the cyclotomic field $\mathbb{Q}(e^{2\pi i / 5})$

I'm doing one of the exercises of Stewart and Tall's book on Algebraic Number Theory. The problem concerns finding an expression for the norm in the cyclotomic field $K = \mathbb{Q}(e^{2\pi i / 5})$. ...
340 views

### Primes of ramification index 1 with inseparable residue field extension

I've been reading through Neukirch's Algebraic Number Theory, and I'm a little puzzled about a possibility with ramification of primes. As usual, let $\mathcal{O}_K$ be a Dedekind domain with field ...
1k views

### About cyclotomic extensions of $p$-adic fields

I've been working on the problem of finding the maximal abelian extension of $\mathbb{Q}_5$ that is killed by $5$. In other words, find the abelian extension of $\mathbb{Q}_5$ with Galois group ...
178 views

### Quadratic field, $O_K/\mathfrak{p} = \mathbb{F}_p$, $O_K/pO_K$ is a finite field of order $p^2$.

Let $K$ be a quadratic field $\mathbb{Q}(\sqrt{m})$ where $m$ is a square free integer, and let $p$ be a prime number which does not divide $2m$. Where can I find a reference to a proof of the ...
228 views

### likely open number theory problem: finite sum of $\zeta(2)$ equal to a square of rationals

Which $n$ can let $S=1+\frac14+\frac19+\cdots+\frac1{n^2}$ be a square of a rational number? Obviously, $1$ and $3$ work, but how to prove they are the only ones? I think this problem is really hard. ...
296 views

253 views

114 views

### Subgroup generated by $1 - \sqrt{2}$, $2 - \sqrt{3}$, $\sqrt{3} - \sqrt{2}$

For a number field $K$, Dirichlet's unit theorem says that$$(O_K)^\times = \mathbb{Z}^{r - 1} \oplus (\text{a finite cyclic group}),$$where $r$ is the number of all infinite places of $K$. An infinite ...
95 views

### On discriminants and nature of an equation's roots?

Edited: All equations in the post are assumed to have all real coefficients and are minimal polynomials. While trying to ascertain if the Brioschi quintic $B(x)=x^5-10cx^3+45c^2x-c^2=0$ could ever ...
143 views

### Isomorphism of Galois groups induces an isomorphism on decomposition groups?

This is a follow up question to this. Say we have Galois extensions $L ,M$ of $\Bbb{Q}$ with $L \cap M = \Bbb{Q}$ and consider the composite $K = LM$. I want to prove that \begin{array}{cccccc} f : &...
### $\mathbb{Q}(i)$ has no unramified extensions
It is a classical result that every extension of $\mathbb{Q}$ is ramified. Put differently: there are no unramified extensions of $\mathbb{Q}$. The classical proof follows from the following two ...
From Milne's Algebraic Number Theory, we have (he assumes that $K$ is complete with respect to a discrete nonarchimedian absolute value, but I don't know where the discrete part is being used) Let ...