The algebraic-number-theory tag has no wiki summary.

**60**

votes

**4**answers

7k views

### How small can a sum of a few roots of unity be?

Let $n$ be a large natural number, and let $z_1, \ldots, z_{10}$ be (say) ten $n^{th}$ roots of unity: $z_1^n = \ldots = z_{10}^n = 1$. Suppose that the sum $S = z_1+\ldots+z_{10}$ is non-zero. How ...

**7**

votes

**2**answers

495 views

### Positive primes represented by indefinite binary quadratic form

Neil Sloane asked me about commands in computer languages to find the (positive) primes represented by indefinite binary quadratic forms. So I wrote something in C++ that works. This is for the OEIS, ...

**10**

votes

**8**answers

4k views

### Suggestions for good books on class field theory

Recently I learn class field theory, but I find it is difficulty. I have read the book "Algebraic Number Theory" by J. W. S. Cassels and A. Frohlich. In the book, the approach to class field theory is ...

**45**

votes

**5**answers

2k views

### If a unitsquare is partitioned into 101 triangles, is the area of one at least 1%?

Update: The answer to the title question is not necessarily, as pointed out by Tapio and Willie. I would be more interested in lower bounds.
Monsky's famous and amazingly tricky proof says that if we ...

**12**

votes

**1**answer

478 views

### primes represented by an indefinite binary quadratic form

Suppose I have a form $$ f(x,y) = a x^2 + b x y + c y^2, $$ with $a,b,c$ integers, $\gcd(a,b,c)=1$ and $\Delta = b^2 - 4 a c > 0,$ but $\Delta \neq n^2$ for any integer $n.$
Do there exist ...

**7**

votes

**7**answers

960 views

### Old question of Serre on discriminants of a sequence of polynomials

Let $P_n(t)$ be polynomials with integer coefficients with $d_n = \deg(P_n(t))$ going to infinity when $n$ goes to infinity
and with nonzero discriminants $disc(P_n(t)) \neq 0$.
Question: Is
$$
...

**8**

votes

**2**answers

1k views

### Eigenvalues of nonnegative integer matrices

Edit
I realized that the key piece of information that I need is question 1, and so I'd like to rephrase this post:
What are the possible eigenvalues of nonnegative integer matrices?
Any answer ...

**33**

votes

**2**answers

2k views

### Formal group laws and L-series

Let E be an elliptic curve, let $L(s) = \sum a_n n^{-s}$
denote its L-function, and set
$$ f(x) = \sum a_n \frac{x^n}{n}. $$
Then Honda has observed that
$$ F(X,Y) = f^{-1}(f(X) + f(Y)) $$
defines ...

**30**

votes

**1**answer

615 views

### Degree 17 number fields ramified only at 2

The number $17$ is the smallest odd number that occurs as the degree of a number field $K/\mathbb{Q}$ for which the only finite prime that ramifies is $2$. The non-existence for $n < 17$ follows ...

**31**

votes

**1**answer

3k views

### Integers not represented by $ 2 x^2 + x y + 3 y^2 + z^3 - z $

EDIT, 9 March 2014: when I asked this in 2010, I did not have the courage of my convictions, and so did not ask for an if and only if proof, as Kevin Buzzard quite properly pointed out. Such problems ...

**18**

votes

**1**answer

1k views

### Number of distinct values taken by x^x^…^x with parentheses inserted in all possible ways

For what positive x's the number of distinct values taken by x^x^...^x with parentheses inserted in all possible ways is not represented by the sequence A000081? Is it exactly the set of positive ...

**41**

votes

**13**answers

4k views

### Erratum for Cassels-Froehlich

Edit 25 April 2010: I have a physical copy of the new printing of the book. I can only assume the LMS is now selling it (but have no details).
IMPORTANT EDIT: THE RESULTS ARE IN! Ok, the deadline has ...

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

**1**answer

497 views

### components of E[p], E universal in char p.

I have just realised that a group scheme I've known and loved for years is probably a bit wackier than I'd realised.
In this question, in Charles Rezk's answer, I erroneously claim that his ...

**7**

votes

**2**answers

896 views

### Explicit examples of algebraic Hecke characters with infinite image?

Jerry Shurman has a lovely set of notes explaining the classical definition of Hecke characters, the idelic definition of Hecke characters, their relationship, and the classification of algebraic ...

**13**

votes

**6**answers

1k views

### Text for Algebraic Number Theory

I have the privilege of teaching an algebraic number theory course next fall, a rare treat for an algebraic topologist, and have been pondering the choice of text. The students will know some ...

**19**

votes

**1**answer

358 views

### Proportion of irreducible polynomials $P$ such that $\mathbf Z[X]/(P)$ is the ring of integers of $\mathbf Q[X]/(P)$

I know that number fields have been the object of many statistical experiments.
Is there some kind of heuristics for the following?
Fix a degree $d$ and fix a bound $N$ on the coefficients of a monic ...

**5**

votes

**4**answers

2k views

### Height of algebraic numbers

I would like to find effective upper bound for the height of $a+b$ and $a/b$ and $ab$ knowing the heights of $a$ and $b$. Thanks.

**14**

votes

**0**answers

365 views

### Can there be arbitrarily many cubic fields unramified outside $\{p,\infty\}$?

Observe, trivially, that since quadratic fields correspond to rational integers modulo squares (viz. discriminants), there are (roughly about, but certainly at most) $2^{|S|+1}$ quadratic fields ...

**12**

votes

**2**answers

425 views

### Asymptotics for algebraic numbers of height less than one

The question. Is an asymptotic equivalent known or conjectured for the number $N(d)$ of $\alpha \in \bar{\mathbb{Q}}$ with $h(\alpha) < 1$ and $[\mathbb{Q}(\alpha):\mathbb{Q}] \leq d$?
The rather ...

**9**

votes

**4**answers

806 views

### Elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$

For some research work, I need to know the classification of elements of finite order of $\mathrm{PGL}(n,\mathbb{Q})$, up to conjugation.
Since I essentially need $n\le 4$, I think that I can show it ...

**4**

votes

**3**answers

461 views

### Class number for binary quadratic forms discriminant $\Delta$ to class number $\mathbb Q(\sqrt \Delta)$

Jyrki Lahtonen has suggested I write a blog post relating binary quadratic forms to quadratic field class numbers, ...

**3**

votes

**2**answers

563 views

### Cohen-Lenstra Heuristics reference

I am looking for good references (preferably, books) on Cohen-Lenstra Heuristics (on Real Quadratic fields) which explain in detail the reasons behind its fundamental assumption (higher the ...

**11**

votes

**2**answers

545 views

### Formal group law over $\mathbb{F}_p$

Let $p$ be a prime. For each $n > 0$ there is a unique 1-dimensional commutative formal group law $F$ over $\mathbf{Z}$, $F(X, Y) = X + Y + \dots \in \mathbf{Z}[[X, Y]]$, whose logarithm function ...

**11**

votes

**0**answers

284 views

### Evaluating products of cyclotomic polynomials at roots of unity

Are there general non-trivial conditions on $p(\cdot)$ and $n$, where $p(\cdot)$ is a product of cyclotomic polynomials and $n$ is a positive integer, such that all the coefficients of $p(\cdot)$ are ...

**6**

votes

**3**answers

535 views

### Constructing quintic number fields with certain splitting behaviour

I am looking for number fields $K$ which satisfy the following properties:
$[K:\mathbb{Q}]=5$.
The Galois closure of $K$ has Galois group $S_5$.
For each prime $p$ which ramifies in $K$, there ...

**6**

votes

**0**answers

398 views

### Is formula valid for relating $\pi$ with ALL of its OEIS A002485(n)/A002486(n) convergents?

Could anyone try to prove that the below conjectured formula is valid for relating $\pi$ with ALL of its convergents - those, which are described in OEIS via A002485(n)/A002486(n) ?
$$(-1)^n\cdot(\pi ...

**5**

votes

**3**answers

820 views

### Crystalline Characters

Let $K$, $L$ be finite extensions of the $p$-adic numbers. Suppose $\chi:G_K\rightarrow L^{\times}$ is crystalline. It is my understanding that if either $K$ or $L=\mathbb{Q}_p$, then $\chi$ must be a ...

**4**

votes

**1**answer

219 views

### Reduction mod $p$ of units in a ring of integers

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$ and let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_k$. I'm looking for conditions on $k$ and $\mathfrak{p}$ which ...

**3**

votes

**1**answer

204 views

### The existence of elliptic curves with prescribed supersingular primes

For a given infinite set of primes, not too big, eg, satisfying Lang-Trotter conjecture, can we always find an E.C. with supersingular reduction (at least) at these primes? How about E.C. without CM?
...

**7**

votes

**1**answer

329 views

### When can number rings be spanned (as $\mathbb{Z}$-modules) by units?

Let $\mathcal{O}$ be the ring of integers in an algebraic number field. Define $R \subset \mathcal{O}$ to be the set of all $\mathbb{Z}$-linear combinations of units. Since the product of two units ...

**5**

votes

**1**answer

182 views

### Positive Primes represented by an indefinite binary form, reducing poly degree from 8 to 4

In his lovely answer at Positive primes represented by indefinite binary quadratic form Noam found that a (positive) odd prime $p$ is represented by the indefinite form $x^2 + 13 x y - 9 y^2$ if and ...

**8**

votes

**3**answers

800 views

### which algebraic integers in a cyclotomic field give you integer absolute value?

Does anyone know an answer to this question?
Question: In an cyclotomic field which algebraic integers have integer absolute value?
Revision 1: -1
I like to add this to the above question, Let's ...

**5**

votes

**2**answers

576 views

### Conjecture on irrational algebraic numbers

Conjecture:
For every irrational algebraic number $q$ and natural number $b$, the representation of $q$ on base $b$ contains all the digits $[0,\dots,b-1]$.
Questions:
Has this conjecture been ...

**4**

votes

**2**answers

197 views

### Even unimodular lattices with root system $32 A_1$

I'm studying Venkov's proof of the classification of even unimodular rank 24 lattices, and it prompted the following question.
For an even unimodular lattice $L$, let $R(L)= \{ x \in L : (x,x) =2\}$ ...

**2**

votes

**0**answers

88 views

### Prime factors of $\sum_{i\in I} \zeta_p^i$

For a rational prime $p>3$, denote by $\zeta$ a fixed primitive root of unity of degree $p$, and let ${\mathbb K}={\mathbb Q}(\zeta)$ be the $p$th cyclotomic field. Consider the set of all non-zero ...

**2**

votes

**0**answers

185 views

### Diophantine equations over cyclotomic fields

Let $\mathbb{Q}^{\text{ab}}$ be the compositum of all finite abelian extensions of $\mathbb{Q}$. Explicitly, $\mathbb{Q}^{\text{ab}}$ is the field obtained from $\mathbb{Q}$ by adjoining all roots of ...

**2**

votes

**0**answers

145 views

### Reference request for a basic result on relative differents & discriminants

I am looking for a better reference for the results in this extremely short and elementary paper:
Tôyama, Hiraku,
`A note on the different of the composed field',
Kōdai Math. Sem. Rep. 7 (1955), ...