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

**2**

votes

**2**answers

515 views

### When does the absolute value of a sum of an integer and an algebraic integer equal an integer?

Let's say Z is a sum of n-th roots of unity and thus an algebraic integer, and D is a rational integer. If |z+D| is an integer, what can we conclude regarding Z? Can we say |Z| is an integer?
Another ...

**31**

votes

**0**answers

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

**0**

votes

**0**answers

46 views

### separating parameters in generalized quadratic Gauss sum

The normalized generalized quadratic Gauss sum is defined by
$$
G(a,b,c)=\frac{1}{c}\sum_{n=1}^ce\left(\frac{an^2+bn}{c}\right)
$$
where $e(x)=\exp(2\pi ix)$.
Under what conditions on $c$ can we ...

**3**

votes

**0**answers

106 views

### Application of Stickelberger's Theorem to Quadratic field

I am trying to understand a proof of the Kronecker-Weber Theorem by Franz Lemmermeyer,[http://arxiv.org/pdf/1108.5671.pdf] in which he uses Stickelberger's Theorem applied to Kummer extensions. I can ...

**1**

vote

**1**answer

141 views

### Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...

**1**

vote

**0**answers

95 views

### Averages of $L(s,\chi)$

Let $(\frac{m}{n})$ denote the usual quadratic Jacobi symbol.
What is the
abscissa of convergence
of the double Dirichlet series ?
$$
\sum_{\substack{m,n \in \mathbb{N} \\ \gcd(m,n)=1 \\m,n\equiv 1 ...

**0**

votes

**0**answers

42 views

### To prove ideals are coprime [closed]

Let $K=\mathbb Q(\sqrt{-m}) $ be a quadratic field. Let $ O_K$ be ring of algebraic integers. Let $\alpha=a+b\sqrt{-m}\in O_{K} $ with gcd$(a,b)=1 .$ Then how to show that $\langle \alpha \rangle $ ...

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

**2**

votes

**1**answer

119 views

### Irreducibility of Faulhaber-like Polynomials over $\mathbb Q[x]$

Motivation: Inspired by the famous Faulhaber polynomials $F_k(N)=\displaystyle\sum_{n=0}^Nn^k,$ I decided to study their alternating versions, $\Phi_k(M)=\displaystyle\sum_{n=0}^M(-1)^nn^k$.
For ...

**4**

votes

**1**answer

246 views

### Square-free grows as $6n/\pi^2$: $k$-th free?

The asymptotic number of
square-free numbers
$\le n$ is $Q(n) = 6n/\pi^2 + O(\sqrt{n})$.
Because
$\zeta(2)=\pi^2/6$,
$Q(n) \approx n/\zeta(2)$.
OEIS A004709
says that cube-free numbers have ...

**0**

votes

**1**answer

101 views

### Irreducibility of cyclotomic polynomial over real quadratic number field

Let $n$ and $d$ be positive integers, with $d\ge 2$ square-free. It is well known that $\Phi_n=\Phi_n(x)$, the $n$-th cyclotomic polynomial, is irreducible over $\mathbb{Q}$. However, as the simple ...

**8**

votes

**2**answers

690 views

### What is known about primes of the form x^2-2y^2?

David Cox's book Primes of The Form: $x^2+ny^2$ does a great job proving and motivating a lot of results for $n>0$. I was unable to find anything for negative numbers, let alone the case I am ...

**33**

votes

**4**answers

3k views

### Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here ...

**1**

vote

**0**answers

67 views

### Spectrum of primitive nonnegative integer matrices

Let $P(X) = a_nX^n + \cdots + a_1X + a_0$ with $a_i \in \mathbb Z$.
Question 1. Is there an efficient criterion on the $a_i$ to decide if there exists a primitive nonnegative integer matrix with ...

**11**

votes

**2**answers

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

**6**

votes

**1**answer

131 views

### Finite Nontrivial Unramified Towers of Number Fields

Let $F$ be a number field and $L=F^{un}$ its maximal unramified extension. By Class Field Theory, $$Gal(L/F)^{ab}\cong Cl(F).$$ It's well-known that we can have $[L:F]=1$ (e.g. $F=\mathbb{Q}$), and ...

**8**

votes

**0**answers

308 views

### What is known about the reverse mathematics of algebraic number fields?

I know work on the reverse mathematics of countable algebraic field extensions including Galois theory, notably including Dorais, Hirst, and Shafer http://arxiv.org/pdf/1209.4944v2.pdf. But algebraic ...

**14**

votes

**0**answers

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

**4**

votes

**1**answer

346 views

### How to test if the power of some algebraic number is the rational combination of two specific algebraic numbers?

Suppose we are given three algebraic numbers $\alpha,\beta,\gamma$ by presenting their minimal polynomial (degree less than $m$), the goal is to compute all positive integers $n$ such that $\alpha^n$ ...

**18**

votes

**1**answer

633 views

### What are the products $\prod_{A\subset{\mathbb F}_p\colon |A|=n} \sum_{a\in A} \zeta^a$ equal to?

This is a somewhat more explicit version of a question I have recently asked.
Let $p$ be an odd prime, and write $\zeta:=\exp(2\pi i/p)$ (any other primitive $p$th root of unity will do as well). For ...

**8**

votes

**1**answer

212 views

### Intersection of a ring class field of a quadratic field K with the cyclotomic extension of K

Let $K$ be a quadratic field. Let $f\in\mathbb{Z}_{\geq 1}$. Let $\mathcal{O}_f=\mathbf{Z}+f\mathcal{O}_K$ be the unique order of $K$ of index $f$ in $\mathcal{O}_K$. Let $H_f^{ring}$ denote the ring ...

**0**

votes

**1**answer

112 views

### Fixed field of the Nebentypus of a newform for $\Gamma_1(N)$

Let $f=\sum_{n\geq 1}\in S_2(\Gamma_1(N),\varepsilon)$ be a normalized newform without CM and with Nebentypus $\varepsilon$. Let $L=\mathbb Q(a_n\colon n\in \mathbb N)$ be the number field generated ...

**8**

votes

**2**answers

331 views

### Quintic polynomials generating cyclic extensions

We know that a cubic equation generates a cubic cyclic extension iff it has a perfect square discriminant. Now I am wondering if there is a similar condition for quintic polynomials. So I am trying to ...

**6**

votes

**1**answer

403 views

### An old paper of S.Chowla on unit equations

It is referenced that in
Chowla, S., Proof of a conjecture of Julia Robinson, Norske Vid. Selsk. Forh. (Trondheim) 34, 100–101 (1961),
it is shown that the equation $\epsilon_1 + \epsilon_2 = 1$ ...

**22**

votes

**0**answers

628 views

### On certain representations of algebraic numbers in terms of trigonometric functions

Let's say that a real number has a simple trigonometric representation, if it can be represented as a product of zero or more rational powers of positive integers and zero or more (positive or ...

**2**

votes

**0**answers

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

**5**

votes

**0**answers

401 views

### For which rational values of $c$ and $d$ are the numbers $\sin{(\pi\cdot c)}$, $\sin{(\pi\cdot d)}$ and $1$ linearly dependent over $\mathbb{Q}$?

A year ago, I posted this problem on [MSE]. After a number of edits, I have arrived at the following more general problem (suggested by Hjalmar Rosengren; see the comments below).
For which ...

**6**

votes

**1**answer

352 views

### Some questions about the ring Z((x))

$\newcommand{\ZZ}{\mathbb{Z}}$
$\newcommand{\dim}{\text{dim }}$
Let me begin by apologizing for the length of this question, but I thought this might be interesting to some of you. This ring isn't ...

**1**

vote

**1**answer

178 views

### automorphism group of a given period

Maxim Kontsevich and Don Zagier defined the algebra of periods and conjectured that one can pass from a representation of a given period to another one using only three rules. Assuming this ...

**0**

votes

**0**answers

116 views

### Number of lattice points in a given triangle

Given a triangle with real coordinates, does anybody know how to find the number of lattice points contained within it? What if the points are only rational? I know Pick's formula can be used for the ...

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

**0**

votes

**0**answers

62 views

### Nontrivial norm values in rings of integers

Let $L=Q(\sqrt{d})$ for some SQF integer $d\equiv_4 3$ (the same can be asked for $d\equiv_4 1$). In this case the ring of integers of $L$ is $O_L=\{x+\sqrt{d}y \mid x,y\in Z\}$ so the norms of $O_L$ ...

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

**2**

votes

**1**answer

165 views

### Chebyshev polynomials factoring uniformly modulo all primes

Consider the Chebyshev polynomial of the first kind $T_n(x)$ and its factorization in $\mathbb F_p$ for a given prime $p$. Most often, this factorization is not uniform (meaning that the irreducible ...

**0**

votes

**0**answers

94 views

### Relation between cyclotomic character and fundamental character of level

The question I have is the following: is it true that the $p+1$ exponentiation of the fundamental character of level $2$ gives us the reduction (mod $p$) of the cyclotomic character?
For a review of ...

**0**

votes

**0**answers

233 views

### Irreducible polynomial?

Let $K$ be the splitting field of a polynomial $f\in \mathbb Q[x]$, which is irreducible $\mod 3$, with $G:=\text{Gal}(K|\mathbb Q)=S_n$ (symmetric group). Let $U$ be a subgroup of $G$ with fixed ...

**0**

votes

**1**answer

767 views

### A letter from J. P. Serre

Which is the letter where J. P. Serre present "Analogues Kählériens de certaines conjectures de Weil" to Weil?

**2**

votes

**1**answer

95 views

### Does the Lehmer quintic parameterize certain minimal polynomials of the $p$th root of unity for infinitely many $p$?

The solvable Emma Lehmer quintic is given by,
$$F(y) = y^5 + n^2y^4 - (2n^3 + 6n^2 + 10n + 10)y^3 + (n^4 + 5n^3 + 11n^2 + 15n + 5)y^2 + (n^3 + 4n^2 + 10n + 10)y + 1 = 0$$
with discriminant $D = (7 + ...

**0**

votes

**0**answers

112 views

### examples of class fields

Can anyone explain with a numerical example of generating class field with Kummer extension? I have not come across any standard reference which does give examples. Please help or cite any reference ...

**4**

votes

**2**answers

184 views

### Iwasawa's mu-invariant for noncyclotomic $\mathbf{Z}_p$ extensions of cyclotomic fields?

Let $p$ be an odd prime number, $m$ a positive integer with $p\mid m$. Put $k=\mathbf{Q}(\mu_m)$.
(1) Is there any example where certain noncyclotomic $\mathbf{Z}_p$-extension $k_\infty/k$ has ...

**2**

votes

**0**answers

107 views

### $\mathbb{Q}$-forms of $\mathrm{SL}_2\times \mathrm{SL}_2$

I am learning something about lattices in algebraic groups. Consider the algebraic group $\mathrm{SL}_2\times \mathrm{SL}_2$. What are the $\mathbb{Q}$-forms of such groups?

**8**

votes

**2**answers

506 views

### Adjoining torsion points from abelian varieties

Let $L/\mathbb{Q}$ be the field generated over $\mathbb{Q}$ by all of the (projective) coordinates of all of the torsion points of all abelian varieties defined over $\mathbb{Q}$. Is $L$ algebraically ...

**59**

votes

**10**answers

7k views

### “Understanding” $\mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$

I have heard people say that a major goal of number theory is to understand the absolute Galois group of the rational numbers $G = \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})$. What do people mean when ...

**13**

votes

**1**answer

454 views

### References for $K_{4k}(\mathbb{Z})$

Weibel's "Algebraic K-theory of rings of integers in local and global fields" says $K_{4k}(\mathbb{Z})$ are known to have odd order, with no prime factors less than $10^7$, but are conjectured to be ...

**7**

votes

**2**answers

268 views

### On a minimal algebraic number field which satisfies the principal ideal theorem

By an algebraic number field, we mean a finite extension field of the field of rational numbers.
Let $k$ be an algebraic number field, we denote by $\mathcal{O}_k$ the ring of algebraic integers in ...

**6**

votes

**1**answer

554 views

### A good book on adeles and ideles

Many results in number theory are stated either in a classical language or in an adelic one. I am often impressed of the efficiency and the satisfactory computational properties of the adelic setting, ...

**2**

votes

**1**answer

189 views

### not Gauss sum with the same magnitude

Gauss sum is a sum of $p$ roots of unity with magnitude $\sqrt{p}$. Does another sum with such property exist?
More exactly. Let $p$ be a prime number. $\zeta^p=1,\;\zeta\ne 1$. Causs sum: ...

**0**

votes

**0**answers

71 views

### Nilpotent differential operators

I am reading Dwork's book an Introduction to G-Funcions and confronted with a problem. In section 2, chapter III (page 81), he assumes that $\mathscr F=K(X)$ the field of rational functions with ...

**0**

votes

**1**answer

204 views

### The number of solutions of a Diophantine equation [closed]

Is $\lim_{n \rightarrow \infty} |\{(x,y) \in \mathbb{Q}(\zeta_n)^2 : y^3 = x^3 + x + 1\}| < \infty ?$ where $\zeta_n$ is a primitive $n$-th root of unity.
That is, I am asking whether the number ...

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