The number-fields tag has no usage guidance.

**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 ...

**23**

votes

**9**answers

6k views

### Why are polynomials so useful in mathematics?

This is perhaps unanswerable,
or perhaps I am too algebraically ignorant to phrase it cogently, but:
Is there some identifiable reason that polynomials over
$\mathbb{C}$,
$\mathbb{R}$, ...

**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 ...

**22**

votes

**0**answers

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

**19**

votes

**2**answers

1k views

### The divisor bound in number fields

The divisor bound asserts that for a large (rational) integer $n \in {\bf Z}$, the number of divisors of $n$ is at most $n^{o(1)}$ as $n \to \infty$. It is not difficult to prove this bound using the ...

**19**

votes

**1**answer

696 views

### How random are unit lattices in number fields?

I was wondering how random unit lattices in number fields are. To make this more precise:
If $K$ is a number field with embeddings $\sigma_1, \dots, \sigma_n, \overline{\sigma_{r+1}}, \dots, ...

**18**

votes

**1**answer

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

**18**

votes

**1**answer

915 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 ...

**14**

votes

**4**answers

2k views

### $Q(\sqrt{2})=Q((\sqrt{2}+1)^n)$

Observe that we have $Q(\sqrt{2})=Q((\sqrt{2}+1)^n)$.
More generally, assume that $K$ is a finite extension of Q. Is there any $\alpha \in K$ such that $K=Q(\alpha^n)$ for every $n \in N$?

**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, ...

**14**

votes

**5**answers

1k views

### Families of number fields of prime discriminant

When I am testing conjectures I have about number fields, I usually want to control the ramification, especially minimize to a single prime with tame ramification. Hence, I usually look for fields of ...

**14**

votes

**6**answers

1k views

### Solving polynomial equations when you know in which number field the solutions live

Suppose I have a bunch of polynomial equations with coefficients in a number field, and suppose further that I'm guaranteed a priori that they have a solution in that number field. Can I leverage ...

**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.

**12**

votes

**3**answers

2k views

### Computing (on a computer) higher ramification groups and/or conductors of representations.

I am supervising an undergraduate for a project in which he's going to talk about the relationship between Galois representations and modular forms. We decided we'd figure out a few examples of weight ...

**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 ...

**11**

votes

**2**answers

459 views

### Which polynomials arise as formulas for a conjugate

For any integer $r \geq 2$, et $V_r$ be the set of polynomials $Q \in {\mathbb Q}[X]$ of degree $r-1$ such that there is an algebraic number $\alpha$ of degree $r$ , such that
$Q(\alpha)$ is a ...

**11**

votes

**2**answers

361 views

### Records for low-height points on elliptic curves over number fields

Elkies maintains a list of nontorsion points of low height on elliptic curves over Q; does anyone know of anything similar for curves over number fields?
Everest and Ward give examples of points of ...

**10**

votes

**2**answers

1k views

### Irreducible polynomial over number field with roots in every completion?

Let K/Q be a field, probably not a finite extension. Is it possible for a polynomial to be irreducible over K but have a root in every completion of K? What about all but finitely many completions?
...

**10**

votes

**1**answer

593 views

### local-global principle for units

Say that $L/K$ is a quadratic extension of number fields with $K$ totally real and $L$ totally imaginary.
Then the Hasse norm theorem says that an element of $K$ that is everywhere a local norm is ...

**10**

votes

**2**answers

548 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 ...

**10**

votes

**1**answer

1k views

### Go I Know Not Whither and Fetch I Know Not What

Next day: apparently my original question is harder, by far, than the other bits. So: it is a finite check, I was able to confirm by computer that, if the polynomial below satisfies $$ f(a,b,c,d) ...

**9**

votes

**8**answers

3k views

### Which computer algebra system should I be using to solve large systems of sparse linear equations over a number field?

This is related to Noah's recent question about solving quadratics in a number field, but about an even earlier and easier step.
Suppose I have a huge system of linear equations, say ~10^6 equations ...

**9**

votes

**2**answers

625 views

### Why the roots of unity are the analogs of constants ?

Hello,
Joel Dogde, in a comment on his question "Roots of unity in different completions of a number field", says the following, about the analogy between number fields and function fields :
...

**9**

votes

**1**answer

370 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 ...

**9**

votes

**2**answers

357 views

### Subfields joining an algebraic element to another

Let $\alpha$ and $\beta$ be two algebraic numbers over $\mathbb Q$. Say that a subfield $\mathbb K$ of $\mathbb C$ joins $\alpha$ to $\beta$ iff $\beta \in {\mathbb K}[\alpha]$ but $\beta \not\in ...

**8**

votes

**2**answers

465 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}}$?

**7**

votes

**4**answers

968 views

### The “interplay” between additive and multiplicative structure in a field

A field is an ordered triple $(F, +,\cdot)$ of a set $F$ and binary operations $+,\times$ on $F$ such that $(F,+)$ and $(F\backslash 0,\times)$ are abelian groups satisfying the distributive laws
...

**7**

votes

**4**answers

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 ...

**7**

votes

**2**answers

571 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$ ...

**7**

votes

**2**answers

402 views

### Number of ways to write an integer as a product of irreducibles

Is there any way to tell the number of distinct ways to factor $a\in\mathcal{O}_k$ (up to units, of course) when $k$ is not a PID? A simple investigation in $\mathbb{Q}(\sqrt{-5})$ with integer ring ...

**7**

votes

**2**answers

859 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 ...

**7**

votes

**2**answers

390 views

### Is realness of number fields exponentially bounded?

In a given non-real algebraic number field (say, given by an irreducible polynomial over $\mathbb{Q}$) is there a complexity bound on the summands $x,\dots,t$ that make $-1$ a sum of squares? So ...

**7**

votes

**1**answer

644 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 ...

**7**

votes

**2**answers

822 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 ...

**7**

votes

**1**answer

317 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 ...

**6**

votes

**1**answer

390 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 ...

**6**

votes

**2**answers

529 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$ ...

**6**

votes

**2**answers

489 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 ...

**6**

votes

**2**answers

617 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 ...

**6**

votes

**1**answer

463 views

### Roots of unity in different completions of a number field

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 ...

**5**

votes

**5**answers

1k views

### Why is every quadratic subfield of a Galois extension of the rationals with the quaternions as Galois group real?

Suppose that L is a field extension of the rationals with Galois group the quaternions Q={1,-1,i,-i,j,-j,k,-k}. Furthermore assume that L contains a quadratic subfield K. I have learned from this link ...

**5**

votes

**1**answer

254 views

### Continued fraction expansion of an algebraic number and its conjugates

Let $w$ be an element of a Galois extension $L:\mathbb{Q}$ such that $\text{Gal}(L/\mathbb{Q})=\langle g\rangle$ is cyclic of order $n$ (here $\mathbb{Q}$ is rationals). Suppose we know the continued ...

**5**

votes

**1**answer

959 views

### Dirichlet's theorem for number fields

I'd like to see a formulation of Dirichlet's theorem for number fields, i.e. some analogue of the assertion:
The number of primes less than $N$ congruent to $a \pmod{m}$ where $(a,m)=1$ is
...

**5**

votes

**1**answer

327 views

### Are the Szpiro ratios of 37b1 over certain number fields {33,39,42,48,51,66}?

Related to this question.
According to Hindry p.7 Conj 3.1
and Stein's notes Szpiro's conjecture over number fields states that the Szpiro ratio is:
$$ ...

**5**

votes

**3**answers

598 views

### Transformations of integer polynomials under combinations of their roots

I'm wondering whether the following ideas/questions give rise to an existing body of research. (Accordingly: please suggest appropriate changes to the tags!)
Preamble
We consider polynomials ...

**5**

votes

**0**answers

478 views

### Elliptic curve with no points in a number field

The following is probably well-known (I'd appreciate a link):
for a field $K$ that is a finite extension of the field of rational numbers, give a polynomial $f(x,y) ∈ Q[x,y]$ of the form $y^2 − x^3 ...

**4**

votes

**3**answers

2k 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 ...

**4**

votes

**1**answer

630 views

### Is there a section disjoint from 0, 1 and infinity on the projective line

Let $K$ be a number field with ring of integers $O_K$. Is there a section of $\mathbf{P}^1_{O_K}$ over $O_K$ whose image is disjoint from $0$, $1$ and $\infty$? If $K=\mathbf{Q}$ this is not possible ...

**4**

votes

**2**answers

226 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 ...