The tag has no usage guidance.

learn more… | top users | synonyms

7
votes
1answer
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 ...
6
votes
1answer
131 views

Unramified extensions of quadratic fields

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}$ ...
15
votes
1answer
641 views

What's so special about these $17$th deg equations?

While browsing the Database of Number Fields, I came across 17T8. It only had four equations, one of which is, $$\small{x^{17} - 5x^{16} + 40x^{15} - 140x^{14} + 610x^{13} - 1622x^{12} + 4870x^{11} - ...
15
votes
1answer
815 views

A set of generators for $\bar{\mathbb{Q}}$

Two questions: Does there exist a sequence $\alpha_1,\alpha_2,...$ of algebraic numbers with degrees $d_1,d_2,...$ s.t. for each $i$, $d_i|d_{i+1}$ and $\alpha_i= p_i(\alpha_{i+1})$ with $p_i$ a ...
30
votes
3answers
950 views

Simple argument regarding sums of two units in a number field?

I wonder if it is possible to show, without using the Schmidt subspace/Roth theorem/Baker's bounds on linear forms in logarithms or other very deep results, that, in a number field, not all integral ...
15
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, ...
6
votes
2answers
220 views

Number of representations as sums of squares in rings of integers of number fields

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 ...
0
votes
0answers
155 views

Writing integers in ring of integers of number fields

Given $a,b\in\Bbb N$, we can write $a=a_tb^t+a_{t-1}b^{t-1}+\dots+a_1b+a_0$ where $t=\lceil\log_ba\rceil$ and $a_i<b<a$. (1) Supposing if $b\in\mathcal{O}_K$ where $\mathcal{O}_K$ is ring of ...
1
vote
1answer
95 views

Freeness of the group of principal ideals of a number field

This is just a question wondering whether a concrete (enough) result that can be proved using the axiom of choice can be proved without it. The result being that the group of principal ideals $P_K$ of ...
3
votes
1answer
171 views

A question about “small” sets of algebraic numbers

For the sake of brevity let me use the following terms. A subset $X$ of $\bar{\mathbb{Q}}$ will be called "small" if for any number field $K$, the intersection $X\cap K$ is finite. Similarly, a set ...
2
votes
0answers
161 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 ...
2
votes
1answer
156 views

“frequency” of fields for which the p-adic regulator vanishes (mod p)

There is a very nice question which arises in the study of the Discrete Logarithm Problem which I wish to present here. The question, in a general setting, is to specify an empirical expression for ...
0
votes
1answer
174 views

Normal basis with cyclotomic units

Let p be an odd prime integer and let $\zeta$ be a primitive p-th root of unity. Let $\alpha$ be a non-trivial cyclotomic unit of $\mathbb Q(\zeta)$, i.e. an element of the form ...
6
votes
1answer
408 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
2answers
586 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$ ...
0
votes
0answers
109 views

construct totally real cubic fields

Given some $e_i=0$ or $1$ for $1\le i \le 3$. I wish to construct a totally real cubic number field $K$ so that $\prod_{i=1}^3 sgn(\sigma_i(u))^{e_i}$ is always $1$ for any $u\in O_K^\times$ where ...
1
vote
0answers
139 views

Siegel Walfisz Theorem for algebraic number fields

Is there a generalization of the Siegel Walfisz to algebraic number fields? This has been done for the prime number theorem in the prime ideal theorem.
2
votes
0answers
115 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) = ...
5
votes
1answer
334 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: $$ ...
9
votes
1answer
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) ...
1
vote
0answers
178 views

Is it trivial to get $200$ algebraic abc triples of equal quality $1.6978…$ over isomorphic number fields?

Got $200$ algebraic abc triples over distinct though isomorphic number fields of equal quality $1.6978...$ Strongly suspect I can get as many as I like (assuming the computations are correct). Is ...
10
votes
2answers
616 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 ...
23
votes
4answers
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 ...
11
votes
4answers
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 ...
7
votes
1answer
266 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 ...
23
votes
9answers
7k 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}$, ...
9
votes
1answer
383 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 ...
4
votes
2answers
283 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 ...
7
votes
1answer
344 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 ...
23
votes
0answers
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 ...
1
vote
1answer
223 views

lattice in number field already a fractional ideal?

Let $K=\mathbb{Q}[\alpha]$ where $\alpha$ is integral over $\mathbb{Z}$ such that the Galois hull of $K$ can be embedded in $\mathbb{R}$. Let $S=\mathbb{Z}[\alpha]$. Let $x_1, \ldots , x_n$ be a ...
7
votes
2answers
395 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 ...
2
votes
1answer
301 views

Number field of degree 5

I am interested in field extensions of the rationals. About degree 3 extensions there are many refrences including the famous paper of Shanks "The Simplest Cubic Fields". In particular he gave ...
0
votes
1answer
89 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
1answer
137 views

Aurifeuillean factorization with number fields

Basically the question is if number fields can be used in Aurifeuillean factorization. Probably this is easy and the answer is "no". Let $f,g \in \mathbb{Z}[x], a \in \mathbb{N}$. Let $f(x)$ and ...
11
votes
2answers
363 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 ...
3
votes
1answer
131 views

Definability of orderings on a formally real number field

For vector basis $b_1,..,b_n$ on a finite extension $F$ of $\mathbb{Q}$, where $-1$ is not a sum of squares, each linear order on $F$ is determined by an order on the basis. This uses information ...
4
votes
2answers
368 views

On class numbers $h(-d)$ and the diophantine equation $x^2+dy^2 = 2^{2+h(-d)}$

Given fundamental discriminant $d \equiv -1 \bmod 8$ such that the quadratic imaginary number field $\mathbb{Q}(\sqrt{-d})$ has odd class number $h(-d)$. Is it true that one can always solve the ...
7
votes
2answers
442 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 ...
0
votes
1answer
112 views

One parameter families of elliptic curves over rings of integers of number fields

Let $A(n), B(n) \in \mathbb{Z}[n]$ be polynomials, not both constant, such that $4A^3(n) + 27B^2(n)$ is not the zero polynomial and the polynomial (in variables $x, y$) $$y^2 - x^3 - A(n)x - B(n) \in ...
2
votes
2answers
624 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 ...
0
votes
1answer
581 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 ...
42
votes
4answers
4k 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 ...
3
votes
1answer
142 views

Irreducibility of trinomials over number fields

I wonder if the following is known or, not very difficult to see: Let $K$ be a number field and $\alpha \in K$ be nonzero. Does there necessarily exist a positive integer $n > 1$ such that the ...
3
votes
1answer
221 views

Irreducibility of trinomials

I wonder if the following is known or, not very difficult to see: Let $K$ be a number field and $A, B \in \mathcal{O}_K$ be nonzero integers of $K$. Does there necessarily exist a positive integer $n ...
0
votes
0answers
82 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 ...
6
votes
2answers
530 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$ ...
1
vote
1answer
168 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 ...
8
votes
2answers
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 ...
1
vote
0answers
146 views

Full $n$-torsion of elliptic curves and the cyclotomic field of order $n$

Hi, overflowers. I have a question concerning the torsion of elliptic curves over number fields. Let us consider an elliptic curve $E$ defined over ${\mathbb Q}$. From the Weil pairing one can ...