1
vote
0answers
89 views

Lowest degree polynomial with integer coefficients yielding $1/\sqrt{2^n}$

Let $x = \cos(\pi/8) = \frac{1}{2} \sqrt{2+\sqrt{2}}$ and $y = \sin(\pi/8) = \frac{1}{2} \sqrt{2-\sqrt{2}}$. What is the lowest degree polynomial $p(x,y)$ with integer coefficients such that $p(x,y) = ...
9
votes
2answers
445 views

Can there be a power basis for a totally real field of high degree?

A number field $K$ is said to have a power basis if there is an $\alpha \in K$ such that the full ring of integers $O_K$ is the $\mathbb{Z}$-linear span of ...
4
votes
2answers
135 views

unit group of biquadratic fields

In the unit group of a real biquadratic field, what is the index of the product of the unit groups of its three quadratic subfields? Is the index 1 if discriminant of these three subfields are always ...
6
votes
1answer
245 views

Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that $$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$ holds for all positive integers $n$, with a positive ...
0
votes
1answer
69 views

Significance of the sign of the field norm for units in real quadratic fields

Let $k = \mathbb{Q}(\sqrt{m})$, where $m \equiv 1 \pmod{8}$. Let $\epsilon$ be the fundamental unit of $k$ satisfying $\epsilon > 1$. A paper I'm reading involves studying the 2-torsion fields ...
0
votes
0answers
74 views

Divisor bounds of ideals in number fields

Let $K$ be an algebraic number field and let $I$ be an ideal in $O_K$ (the ring of integers). Denote by $d(I)$ the number of ideals that divide $I$. So if $I= \prod_{i=1}^k p_i^{e_i}$ is the ...
1
vote
1answer
158 views

Lower Degree Elements in an Algebraic Number Field

Fix an algebraic integer $\alpha$ of degree $n$ such that the extension $K=\mathbf{Q}(\alpha)/\mathbf{Q}$ has intermediate fields. (We can assume $K$ is Galois with non-simple Galois group.) This ...
7
votes
2answers
571 views

Quintic polynomial solution by Jacobi Theta function.

Does someone have a good and rigorous reference for the solution of quintic ploynomial equation with Jacobi Theta function, in English? Mathworld and Wikipedia don't give a good English reference, at ...
20
votes
0answers
932 views

Orders in number fields

Let $K$ be a degree $n$ extension of ${\mathbb Q}$ with ring of integers $R$. An order in $K$ is a subring with identity of $R$ which is a ${\mathbb Z}$-module of rank $n$. Question: Let $p$ be an ...
2
votes
1answer
132 views

ramification of discrete valuation field

Let $K$ be a discrete valuation field with valuation $v:K\rightarrow \mathbb Z\cup \{\infty\}$ which is normalized by $v(\pi)=1$ for a prime element $\pi$. Let $v:\overline K\rightarrow \mathbb ...
2
votes
0answers
110 views

Comparing ideal class numbers of different orders

Let $P$ be a monic irreducible integral polynomial. Let $K=\mathbf Q[X]/(P)$ be the associated number field, $\mathcal O$ be its ring of integers and $R$ be the order $\mathbf Z[X]/(P)$. (In general, ...
0
votes
1answer
556 views

A question on Cebotarev's density theorem

Let $K$ be a number field, $d$ a positive integer and $S$ a finite set of places of $K$. By Cebotarev, there exists a finite set of finite places $T$ disjoint from $S$ such that the conjugacy classes ...
0
votes
0answers
167 views

Ring of Integers as subring with most irreducibles

Let $L$ be a number field. Is it possible to define its ring of integers $R$ by saying it's the subring with (in a fuzzy sense) the "most" irreducibles?
1
vote
1answer
305 views

The union of the totally split primes

Let $R$ be a Dedekind domain with quotient field $K$, let $L$ be a finite separable extension of $K$, and let $S$ be the integral closure of $R$ in $L$. If $\mathfrak{p}$ is a nonzero prime ideal of ...
0
votes
2answers
492 views

Which numbers appear as discriminants of cubics?

I'm trying to show that all possible splitting fields occur for a class of cubic polynomials, so have started by looking at the discriminants. Clearly, given that they are products of squares, all ...
18
votes
1answer
865 views

What is the ring of integers of the Pythagorean field?

Following Hilbert, we call the complex numbers constructible via compass and straight-edge the field of Euclidean numbers, and the totally real such numbers the field of Pythagorean numbers. (Among ...
6
votes
1answer
593 views

Is there an analog of class field theory over an arbitrary infinite field of algebraic numbers?

Recently, I found a paper by Schilling http://www.jstor.org/pss/2371426, which mentions that for certain infinite field of algebraic numbers there is an analog of class field theory. By infinite field ...
2
votes
3answers
745 views

Unit in a number field with same absolute value at a real and a complex place

I was asked whether it was possible to produce a monic polynomial with integer coefficients, constant coefficient equal to $1$, having a real root $r > 1$ and a pair of complex roots with absolute ...
13
votes
5answers
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.
14
votes
3answers
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, ...
4
votes
3answers
1k views

How many primes stay inert in a finite (non-cyclic) extension of number fields?

In the following suppose L/K is a finite Galois extension of number fields, (maybe it works for other cases also, I don't know) By the Chebotorev density theorem when Gal(L/K) is cyclic, there are ...
10
votes
4answers
2k 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 ...
0
votes
1answer
606 views

On algebraic field extensions

Let $L:K$ be a field extension. Let $A$ be a set of elements in $L$, all of which are algebraic over $K$. Construct the field extension $M=K(A)$. I have two questions: [1] Is $M:K$ an algebraic field ...