**9**

votes

**2**answers

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

**2**

votes

**0**answers

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

**24**

votes

**0**answers

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

**9**

votes

**1**answer

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

**5**

votes

**0**answers

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

**0**

votes

**1**answer

194 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

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

**0**

votes

**0**answers

138 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

316 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

189 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

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

**3**

votes

**1**answer

117 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

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

**2**

votes

**0**answers

116 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

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

**6**

votes

**1**answer

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

**38**

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

**6**

votes

**2**answers

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

**2**

votes

**1**answer

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

**15**

votes

**1**answer

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

**0**

votes

**1**answer

221 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

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

**5**

votes

**1**answer

458 views

### Disjoint images of polynomials

Are there any $f,g \in \mathbb{Q}[x]$ such that for every root of unity $\zeta$, and every $a,b \in \mathbb{Q}(\zeta)$, $f(a) \neq g(b)?$

**3**

votes

**0**answers

128 views

### Computing local volumes : the case of Hecke p-adic subgroups

I am quite interested in knowing how to compute some volumes of groups defined on local fields $K$, mainly in order to evaluate the identity term in trace formulas. It is something well done in the ...

**12**

votes

**1**answer

1k views

### Is a number field uniquely determined by the primes which split in it?

Let $K/\mathbb{Q}$ be a number field. We say that a rational prime $p$ splits in $K$ if there exists a prime $\mathfrak{p}$ of $K$ above $p$ of interia degree $1$.
Is a number field $K$ ...

**1**

vote

**1**answer

82 views

### Slope decomposition of a product of operators

I'm trying to relate the slope decomposition of a product of linear operators to the slope decompositions with regard to each of the operators in the product.
First I'll give some background, for ...

**1**

vote

**0**answers

111 views

### Skew symmetry for the Hilbert symbol

Let $K$ be a local field containing the group $\mu_n$ of $n$th roots of 1 and the $\theta_K:K^*\to G_K^{ab}$ be the reciprocity map. The we know that the Hilbert symbol $$K^*\times K^*\to \mu_n$$ ...

**4**

votes

**3**answers

526 views

### Textbook request for class field theory [duplicate]

I am studying class field theory. I need good reference books, notes, or other materials which explain the following topics: ideles and ideals, Haar measure and integration on local fields, Fourier ...

**2**

votes

**0**answers

151 views

### What are the minimal degrees of the real and imaginary part of an algebraic complex number? [closed]

Let $z=a+bi\in\mathbb C$ with $b\ne0$ be an algebraic complex number of minimal degree $n$. It is obvious that $a=\dfrac {z+\bar{z}}2$ and $b=\dfrac {z-\bar{z}}{2i}$ are also algebraic. For $n=3$, it ...

**6**

votes

**1**answer

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

**1**

vote

**1**answer

159 views

### What is the ring $A_{\Gamma}$ in the Cohen-Lenstra Heuristics?

I understand the work in Cohen and Lenstra's paper that leads up to the heuristics themselves, where they count weighted averages of functions defined over isomorphism classes of $A$-modules, where ...

**8**

votes

**1**answer

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

**33**

votes

**2**answers

1k views

### What is an infinite prime in algebraic topology?

The links between algebraic topology (stable homotopy theory in particular) and number theory are nowadays abundant and fruitful. In one direction, there is chromatic homotopy theory, exploiting the ...

**1**

vote

**0**answers

199 views

### Rings of algebraic integers as quotients of polynomial rings

The ring of integers $\mathcal{O}_K$ of a number field $K$ is always isomorphic to some ring of the form $\mathbb{Z}[x_1, ..., x_r]/\mathfrak{p}$, where $\mathfrak{p} \subset \mathbb{Z}[x_1, ..., ...

**0**

votes

**0**answers

95 views

### Reciprocity laws in different dimensions

Let $M/L/Qp$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathbb{Z}}a_iT^i:a_i\in M,\min_{i\in \mathbb{Z}}, v(a_i)>−\infty , \lim_{i\to ...

**1**

vote

**0**answers

84 views

### Relation between 1-dimensional and 2-dimensional reciprocity maps

Let $M/L/\mathbb{Q}_p$ be a finite galois abelian extension of local fields and define
$\mathcal{M}=M\{\{T\}\}=\{\sum_{i\in \mathcal{Z}}a_iT^i : a_i\in M, \min_{i\in \mathcal{Z}} v(a_i)>-\infty, ...

**7**

votes

**0**answers

355 views

### The construction of the 257gon

If $\zeta\in\mathbb C$ is a primitive $257$th root of unity, the Galois group $\operatorname{Gal}(\mathbb Q(\zeta)/\mathbb Q)$ is cyclic of order $256=2^8$, so we know that there is a sequence of $8$ ...

**5**

votes

**2**answers

296 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

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

**0**

votes

**1**answer

103 views

### Units of an extension of $\mathbb{Z}$ [closed]

Let $P(x)\in\mathbb{Z}[x]$ be monic and irreducible over $\mathbb{Q}[x]$, and let $\theta$ be a root of $P(x)$. Let $K = \{a + b\theta\} \subseteq \mathbb{Z}[\theta]$. When is it the case that there ...

**7**

votes

**2**answers

605 views

### Galois groups and prescribed ramification

What is known about finite groups $G$ for which there exists a Galois extension $K$ of $\mathbb{Q}$ ramified only at $2$ such that $\text{Gal}(K/\mathbb{Q}) \cong G$ ? More generally, which groups can ...

**8**

votes

**2**answers

450 views

### How did height in algeb. number theory/elliptic curves started?

Maybe this is obvious but it isn't to me yet. What is the history of heights used in say points of the project plane over a number field or of elliptic curve over a number field? I would guess people ...

**1**

vote

**0**answers

230 views

### Motivating mathematics(particularly algebraic number theory) through historical problems [closed]

Most mathematical textbooks start a subject by going backwards, historically. They will define the terms that were invented to solve a problem in their polished form and then use these definitions and ...

**5**

votes

**2**answers

238 views

### Why is the supersingular locus the zero locus of a modular form?

This question is related to my other question here: Examples of subspaces singled out by modular forms.
Here I am wondering if there is a philosophical explanation about why the supersingular locus ...

**11**

votes

**4**answers

2k views

### Can a sum of roots of unity be an integer?

Let $n \geq 2$, $H \lneq (\mathbb{Z}/n\mathbb{Z})^*$, $\zeta_k$ a primitive $k$-th root of unity. Is it possible that $$\sum_{h \in H} \zeta_k^{h} \in \mathbb{Z}$$ for every $k$ dividing $n$ such that ...

**4**

votes

**1**answer

150 views

### explicit uniformizer for the false Tate extension

Let $p$ be an odd prime and let $n\geq 1$. Set $K=\mathbb{Q}_p(\zeta_{p^n})$,
$L=\mathbb{Q}_p(\sqrt[p^n]{p})$, and $M=KL$. I claim that $M$ is totally ramified of degree $\phi(p^n)p^n$ (the proof ...

**1**

vote

**0**answers

47 views

### Semi-simple controlling operator

I've just come across this paper by Coleman and Edixhoven called "On the semi-simplicity of the $U_p$ operator on modular forms", where (as the title says) they show that the $U_p$ operator is ...

**2**

votes

**0**answers

52 views

### Image of the typenorm contains the squares

I am having a look at the paper Explicit CM-theory for level 2-structures on abelian surfaces by Bröker, Gruenewald and Lauter, and there is an argument which I don't understand. The main reason being ...

**1**

vote

**2**answers

124 views

### Results for resolution of equations in polynomial ring

Is there any reference for resolution of equations in a polynomial ring, such as $x^2+y^2=z^2$ in $\mathbb{C}[t]$? Thanks!

**4**

votes

**0**answers

198 views

### Without Skolem–Mahler–Lech Theorem? [closed]

Using Skolem–Mahler–Lech theorem one can easily prove the $\displaystyle \lim_{n\to +\infty}\left|\Re\left(\frac{1+i\sqrt{7}}{2} \right)^n\right| =+\infty$.
Is there a "simple way" to prove this ...