Tagged Questions

The tag has no usage guidance.

4k views

266 views

963 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 ...
1k views

Are class numbers encoded in the absolute Galois group of ${\mathbb Q}$?

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), ...
853 views

Can the Dedekind zeta function distinguish between real and imaginary quadratic number fields?

Suppose I am given a machine that gives me the coefficients $a_1$, $a_2$, $a_3$, ... of a Dirichlet series $$\sum_1^{\infty} \frac{a_n}{n^s}$$ and assume that I know that this Dirichlet series is the ...
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, ...
664 views

670 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 ...
392 views

Irreducibility of the trinomial over Q

I'm trying to find an algebraic proof of irreducibility of the polynomial $x^n-x-1$ over rational numbers (or integers, which the same). I've read the Selmer's paper "On the irreducibility of certain ...
358 views

2k views

Extension of valuation

Fix a prime number $p$. Suppose that I have a valuation $v_p: \mathbb{Q} \to \mathbb{Q}$ on the rationals $\mathbb{Q}$. That is, $v_p( p^n(\frac{a}{b})) = p^{-n}$ where each of $a,b$ is not divisible ...
1k 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 ...
467 views

If the n-th root of unity exists locally, does it exist globally?

My question is: is it true that $\zeta_n$ is in $K$ (a number field) iff $\zeta_n$ is in all but finitely many of the $K_{\mathfrak{p}}$?
476 views

877 views

number fields generated by units of number fields

Which number fields are generated by the units of some number field? That is, if $K$ is a number field and $U(K)$ its group of units, the field $k = \mathbb{Q}(U(K))$ is a subfield of $K$. But which ...
362 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 ...
506 views

Given $v,w$ primes of $k$, is there $K/k$ so $K_v\cap\Bbb Q^{cycl}=K_w\cap\Bbb Q^{cycl}=K\cap\Bbb Q^{cycl}$?

For any field $k$, let $\mu(k)$ denote the roots of unity in $k$. Now let $k$ be a number field and let $v, w$ be non-archimedean primes of $k$ with distinct residual characteristics. Does there ...
587 views

Isomorphism problem for two radical extensions

Let $n\geq 2$ and let $a,b\in{\mathbb Q}$. Suppose that both the polynomials $A=X^n-a$ and $B=X^n-b$ are irreducible. We want to know whether ( * ) there is a root $\alpha$ of $A$ and a root $\beta$ ...
417 views

Do all algebraic number fields arise from Eisenstein polynomials?

This question came up while going through the application of Eisenstein criterion: The $p$-th cyclotomic polynomial after changing the variable $x$ to $(x+1)$ satisfies Eisenstein criterion. That is ...
534 views

Simultaneous Powers Far From 1

I'm looking for a reference or proof of the following. Let $K/\mathbb{Q}$ be a finite Galois extension of degree $n$. Let $a_1,\ldots,a_n$ be Galois conjugate elements in the ring of integers of $K$ ...
160 views

Let $K/\mathbb{Q}$ be quadratic and let $L/K$ be an (everywhere) unramified Galois extension. If $L/K$ is abelian, then one can show that $L/\mathbb{Q}$ is Galois (eg see here). Is $L/\mathbb{Q}$ ...
492 views

What is the set of possible values of the degree of the sum of two algebraic numbers with fixed degrees?

This question is related to Degree of sum of algebraic numbers and algebraic numbers of degree 3 and 6, whose sum has degree 12. In this last question I asked a very special case of the following ...
680 views

Is it known if the absolute Galois group is “divisible”?

The definitions of a divisible group that I have seen all seem to assume abelian is an a priori property of the group. My question is as to whether or not it is known that--given a non-torsion element ...
Let $K$ be some number field, $\mathcal O_K$ denote its ring of integers, and let $n$ be a positive integer. Take $\alpha \in \mathcal O_K$, and consider the quantity $r_{n,K}(\alpha)$, which denotes ...