The number-fields tag has no wiki summary.

**23**

votes

**4**answers

2k views

### Which number fields are monogenic? and related questions

A number field $K$ is said to be monogenic when $\mathcal{O}_K=\mathbb{Z}[\alpha]$ for some $\alpha\in\mathcal{O}_K$. What is currently known about which $K$ are monogenic? Which are not? From ...

**22**

votes

**5**answers

2k views

### Global fields: What exactly is the analogy between number fields and function fields?

Note: This comes up as a byproduct of Qiaochu's question "What are examples of good toy models in mathematics?"
There seems to be a general philosophy that problems over function fields are easier to ...

**41**

votes

**4**answers

3k views

### Degree of sum of algebraic numbers

This is an elementary question (coming from an undergraduate student) about algebraic numbers, to which I don't have a complete answer.
Let $a$ and $b$ be algebraic numbers, with respective degrees ...

**14**

votes

**3**answers

2k views

### sum of squares in ring of integers

Lagrange proved that every (positive) rational integer is a sum of 4 squares.
Are there general results like this for ring of integers of a number field? Is this class field theory?
Explicity, ...

**13**

votes

**5**answers

2k views

### Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$?

Given a number field $K$, when is its Hilbert class field an abelian extension of $\mathbb{Q}$? I am going to be on the road soon, so pleas don't be offended if I don't respond quickly to a comment.

**11**

votes

**4**answers

3k views

### A problem on Algebraic Number Theory, Norm of Ideals

A problem on Algebraic Number Theory
$K$ and $L$ are number fields over $\Bbb Q$.($\Bbb Q$ is rational number field)
$K\subseteq L$.
$\mathcal{O}_K$ is the ring of integers of $K$.
and ...

**2**

votes

**0**answers

151 views

### Normal basis in cyclotomic number fields

Let $p$ be an odd prime integer and let $\zeta$ be a primitive $2p$-th root of unity. Does $\alpha=1+\zeta+\zeta^{-1}+\dots+\zeta^{\frac{p-1}{2}}+\zeta^{-\frac{p-1}{2}}$ generates a normal basis of ...