**13**

votes

**3**answers

374 views

### Infiniteness of the Galois cohomology over a number field with coefficients in a finite Galois module

Let $k$ be a number field and $M$ be a nonzero finite discrete $\mathrm{Gal}(\bar k/k)$-module. Is it true that $H^1(k,M)$ is infinite?
This would complete the answer of Daniel Loughran. There is a ...

**5**

votes

**0**answers

93 views

### Primitive element for a number field, and ramification

Let $K=\mathbb Q(\theta)$ be a number field with integral primitive element $\theta$, and let $f(x)$ be the minimal polynomial of $\theta$. Let $p$ be a rational prime. It's well known that if $p$ ...

**3**

votes

**0**answers

77 views

### Globalizing local field extensions with controlled ramification

Let $K_1/k_1, \ldots, K_r/k_r$ be "separable cyclic" extensions of degree $n$ where each $k_i$ is a local field of characteristic 0 (archimedean or not). By separable cyclic of degree $n$, I mean the ...

**5**

votes

**1**answer

325 views

### Unique quadratic subextension of a ray class field

Let $K_q$ denote the unique quadratic subextension of the ray class field over $\mathbb{Q}$ of conductor $q\times\infty$. Then $K_q$ should be $\mathbb{Q}(\sqrt{q})$ if $q$ if 1 mod 4 and ...

**1**

vote

**2**answers

293 views

### Expository articles on Algebraic Number Theory

I am about to start learning Algebraic Number Theory and thus was looking for some expository articles on this subject. So far I have found two such articles:
Dickson, L. E.. (1917). Fermat's Last ...

**0**

votes

**2**answers

316 views

### local field and number field

Let $K$ be a local field (locally compact topological field) of characteristic zero.
Is it true that $K$ is isomorphic to the completion of a number field
under some valuations?
If yes, then how to ...

**7**

votes

**1**answer

348 views

### Can one define “Ramanujan Summation” over algebraic number fields?

With some trepidation, I ask to "evaluate" badly divergent sums. Generalizing $\sum n = -\tfrac{1}{12}$ what would be the value of this sum over $\mathbb{Z}[i]$?
$$\sum_{m,n \geq 0} (m+in) ...

**5**

votes

**1**answer

233 views

### Subfields of $\mathbb{Q}\bigl(\sqrt[n]{a}\bigr)$ for $a>0$

This is related to a question on Math Stack Exchange.
Given a rational number $a>0$ and an $n\in\mathbb{N}$ such that $x^n - a$ is irreducible over $\mathbb{Q}$, it is known that every subfield of ...

**1**

vote

**0**answers

72 views

### Exceptional primes in Kummer-Dedekind theorem

Suppose that $A$ is a Dedekind domain with fraction field $K$, $L$ is a finite separable extension of $K$, and $B$ is the integral closure of $A$ in $L$. Suppose that $t$ is a primitive element for ...

**1**

vote

**0**answers

67 views

### “Algebrazing” canonical subgroups of elliptic curves

I'm puzzled by a part of the construction of the canonical subgroup of a "not too supersingular" elliptic curve. In Katz's paper, one produces a subgroup of the formal group of the elliptic curve but ...

**2**

votes

**1**answer

148 views

### Fundamental Units in Totally Real Cubic Fields

How much is known about the fundamental units in totally real cubic fields? For example, Daniel Shanks has a family of totally real cubic fields for which the fundamental units are known; those with ...

**2**

votes

**1**answer

144 views

### Character group of the multiplicative rationals

I was reading some stuff on Hecke characters and came across an issue I have not been able to resolve. I posted it here on math stack exchange first.
Let $\mathbb{Q}^{\times}$ be the multiplicative ...

**4**

votes

**2**answers

718 views

### Prime ideals in the ring of algebraic integers

Let $m(x) = x^n + a_{n-1}x^{n-1} + \dots + a_1 x+ a_0$, $a_i \in \mathbb{Z}$, be an irreducible polynomial over $\mathbb{Q}$ and $K = \mathbb{Q}[x] / {m(x)\mathbb{Q}[x]}$, so $K$ is an algebraic ...

**3**

votes

**1**answer

182 views

### Connected-étale sequence for ordinary CM elliptic curves

Let $E/k$ be an elliptic curve over algebraically closed field of characteristic $p$ with CM, for simplicity, by the maximal order of a quadratic imaginary field $K/\mathbb{Q}$.
Suppose that $p$ is ...

**1**

vote

**2**answers

255 views

### About a decomposition of the ideles and the relation to the Artin map

The ideles of $\mathbb{Q}$, lets denote them by $\mathbb{I}$, satisfy the following decomposition:
$\mathbb{Q}^\times\times \mathbb{R}_{>0}\times\prod_p \mathbb{Z}_p^\times \to \mathbb{I}$
The ...

**0**

votes

**2**answers

1k views

### About list of discriminants of real quadratic fields with narrow class number 1?

I have a couple of questions regarding the list of discriminants of real quadratic fields with narrow class number 1.
The sequence A003655 in OEIS portraits a list of discriminants of real quadratic ...

**2**

votes

**3**answers

327 views

### Primes in arithmetic progressions in number fields

My general question is how does one prove equi-distribution results for primes in arithmetic progressions in number fields? I am interested in the equi-distribution of prime elements of the ring of ...

**9**

votes

**2**answers

532 views

### Number of polynomials whose Galois group is a subgroup of the alternating group

Let $f = x^n + a_{n-1}x^n + \cdots + a_0$ be a monic polynomial of degree $n \geq 2$ with integer coefficients. By $\text{Gal}(f)$ we mean the Galois group over $\mathbb{Q}$ of the Galois closure of ...

**10**

votes

**1**answer

222 views

### On $\eta(6z)\eta(18z)$ and the splitting / modularity of $x^3 - 2$

Consider one of the simplest non-abelian examples of modularity. Let $$\eta(6z)\eta(18z) = q\prod_{n=1}^\infty (1 - q^{6n})(1 - q^{18n}) = q - q^7 - q^{13} -q^{19} + q^{25} + 2q^{31} - q^{37} + ...

**5**

votes

**1**answer

465 views

### On the Diophantine equation $x^2 = y^p + 2^{r}z^p$ where $p\geq 7$ is an odd prime and $r \geq 2$

It is known that the only nonzero pairwise coprime integer solutions to the above Diophantine equation are for $r=3$, for which $(x, y, z) = (3,1,1)$ and $(-3,1, 1)$. (Cohen, Number Theory Volume 2: ...

**14**

votes

**1**answer

718 views

### Even Galois representations “mod p”

Consider an irreducible $\mathrm{mod}$ $p$ representation:
$$\rho: \mathrm{Gal}(\bar{\mathbb{Q}}/\mathbb{Q})\to\mathrm{GL}_2(\bar{\mathbb{F}}_p)$$
If $\rho$ is odd, it was conjectured by Serre in ...

**2**

votes

**1**answer

296 views

### Some identities with the Riemann-Hurwitz zeta function

The only definition that I have ever seen of this Riemann-Hurtwitz zeta-function is this,
For $0 < a \leq 1$ we have the identity
$$ \zeta(z, a) = \frac{2 \Gamma(1 - z)}{(2 \pi)^{1-z}} \left[\sin ...

**1**

vote

**0**answers

74 views

### Why is the kernel of an algebraic Hecke character open in the ideles?

I've been reading about algebraic Hecke characters, and how one obtains one dimensional $p$-adic representations from them. I have a question about why the kernel of a map defined on the ideles is ...

**21**

votes

**0**answers

227 views

### Does every ring of integers sit inside a monogenic ring of integers?

Given a number field $K/\mathbf{Q}$ whose ring of integers $\mathcal{O}_K$ is, in general, not of the form $\mathbf{Z}[\alpha]$ (not monogenic), does there exist an extension $L/K$ which has ...

**1**

vote

**0**answers

146 views

### What is the ring of integers in $\mathbb Q^c\otimes_K K_\mathfrak p$? [closed]

Let $K$ be a number field with ring of integers $\mathcal O_K$ and $\mathfrak p$ a prime of $K$. Let $\mathbb Q^c$ be the algebraic closure of $\mathbb Q$ in $\mathbb C$.
If $L$ is a number field ...

**0**

votes

**0**answers

104 views

### More generalized RSA construction

Is there a way to construct RSA type cryptosystem over general number rings?
Can Number Field Sieve technique be applied here?

**4**

votes

**0**answers

63 views

### An order in $\mathbb Q[G]$ which is a maximal $\mathbb Z_p$-order in $\mathbb Q_p[G]$ for finitely many primes $p$

Let $G$ be a finite group and $S$ a finite set of prime numbers. I know that every separable $\mathbb Q$-algebra $A$ contains a maximal $\mathbb Z$-order but I wonder if the following is true.
Is ...

**5**

votes

**2**answers

170 views

### Mahler measure of a totally positive, expanding algebraic integer

Consider a degree-$d$ algebraic integer $\alpha$ all of whose conjugates (including itself) are real numbers greater than 1. Its Mahler measure $M(\alpha)$ is simply equal to the norm $N(\alpha)$. ...

**4**

votes

**2**answers

267 views

### The best possible density in Hilbert's Irreducibility Theorem

Let $f(X,t_1,\dots,t_s)$ be an irreducible polynomial with coefficients in $\mathcal{O}_K$, the ring of integers of a number field $K$. By work of S. D. Cohen ...

**7**

votes

**1**answer

200 views

### If two Hecke characters cut out the same field, are they Galois conjugates?

First question on MathOverflow, I hope it is appropriate for this site. There are two related questions.
Let $K$ be a number field, $G_K = Gal(\overline{K}/K)$, $p$ a prime, and
...

**15**

votes

**4**answers

2k views

### Is there an elementary way to find the integer solutions to $x^2-y^3=1$?

I gave this problem to my undergraduate assistant, as I saw that Euler had originally solved it (although I am having trouble finding his proof). After working on it for two weeks, we boiled the hard ...

**11**

votes

**0**answers

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

**9**

votes

**0**answers

450 views

### Algebraic proofs of algebraic theorems about algebraically closed fields

It is well-known that the first order theory of algebraically closed fields admits quantifier elimination, whence the theory $ACF_p$ of algebraically closed fields of given characteristic $p$ is ...

**3**

votes

**0**answers

110 views

### How to Taylor series expand at the prime at infinity

Given a rational number, one can find a Taylor series expansion with respect to any $p$-adic valuation, as covered in Gouvea's introductory text on $p$-adic numbers. My question is how does one do ...

**12**

votes

**1**answer

211 views

### Are quadratic units cyclotomic norms?

Consider the fundamental unit $\varepsilon$ of a real quadratic number field $k = {\mathbb Q}(\sqrt{p})$ for primes $p \equiv 1 \bmod 4$, and let $h$ denote its class number. By Dirichlet's work on ...

**11**

votes

**5**answers

1k views

### How much do I need to learn algebraic geometry to understand arithmetics over number fields

I am at the stage of learning. Mostly, I am attracted by algebraic number theory. Roughly speaking, I am interested in the rational points of algebraic varieties. I am little bit afraid to start to ...

**3**

votes

**0**answers

116 views

### How to show that $h(-D)\geq \displaystyle\sum_{a\in A_1\\, 1\leq a\leq{\frac{\sqrt D}{2}}} 1$?

Here $A_1=\{u;p|u\Longrightarrow \chi(p)=1\}$ with $\chi$ a real quadratic character and $h(-D)$ the class number of the imaginary quadratic field of the fundamental discriminant. This problem occurs ...

**11**

votes

**3**answers

562 views

### Philosophy behind cohomological representations

For a given real reductive Lie group $G$, we have the notion of a representation being cohomological using the Lie algebra cohomology. In particular we know that the discrete series representations of ...

**12**

votes

**3**answers

659 views

### Profinite groups as absolute Galois groups

It is a well-known result that all profinite groups arise as the Galois group of some field extension.
What profinite groups are the absolute Galois group
$\mathrm{Gal}(\overline{K}|K)$ of some ...

**24**

votes

**10**answers

3k views

### What are some interesting problems in the intersection of Algebraic Number Theory and Algebraic Topology?

I'm a beginning graduate student and while my background is primarily in algebraic number theory, I've found myself a bit smitten with the subject of algebraic topology recently after only having read ...

**16**

votes

**2**answers

729 views

### Special topics to include in course in algebraic number theory

I'll be teaching an introductory course in algebraic number theory this fall (stopping before class field theory). I'm looking for a good list of "special topics" I can include to illustrate the ...

**23**

votes

**1**answer

491 views

### Artin reciprocity $\implies $ Cubic reciprocity

I asked this on math.SE a few days ago with no reply, so I'm reposting it here. Hope this is not considered too elementary for MO (feel free to close if so).
I'm trying to understand the proof of ...

**-1**

votes

**1**answer

62 views

### Equation with norms of cyclic extensions of coprime degrees

Let $\mathbb{K}$ be a quadratic extension of $\mathbb{Q}$ and $\mathbb{L}$ be a cyclic extension of $\mathbb{Q}$ of odd degree. Given a rational $r\neq 0$, does there always exist $k\in \mathbb{K}^*$ ...

**3**

votes

**0**answers

103 views

### Siegel's article “The volume of the fundamental domain for some infinite groups”: trouble with understanding computations

This is the article I mentioned. While the idea of what Siegel is doing in order to compute the volume of the fundamental domain described in the article (the very first one, for there are discussed ...

**3**

votes

**0**answers

148 views

### Computing algebraic properties of trace fields, as given by SnapPy

SnapPy can tell you the trace field of a hyperbolic $3$-manifold (which is awesome), but it specifies the field by outputting:
the minimal polynomial of the field over $\mathbb{Q}$, and
a decimal ...

**12**

votes

**1**answer

212 views

### A prime ideal $\mathfrak{p}$ decomposes in $\mathbb{Q}(\zeta_{24})/\mathbb{Q}(\sqrt{-6})$ iff it is generated by $\alpha\in1+2\Bbb{Z}[\sqrt{-6}]$

For a nonzero prime ideal $\mathfrak{p}$ of $\mathbb{Z}[\sqrt{-6}]$ which does not divide $2$, does $\mathfrak{p}$ decompose completely in the extension $\mathbb{Q}(\zeta_{24})/\mathbb{Q}(\sqrt{-6})$ ...

**3**

votes

**0**answers

74 views

### Sign of bivariate polynomial evaluated over two algebraic numbers

I would like to compute the sign of a bivariate polynomial $f$ evaluated over two algebraic numbers $a$, $b$. The numbers are in "isolating interval representation" meaning that each one is defined by ...

**4**

votes

**0**answers

136 views

### extending $p$-adic character of the local intertia to the absolute Galois group

Suppose I have a number field $F$, and a finite place $v$ of $F$. Let $E$ be finite extension of $F_v$. I start with a continuous morphism
$$
\chi \colon O_{F_v}^\times \to E^\times.
$$
where ...

**34**

votes

**13**answers

3k views

### Applications of the Cayley-Hamilton theorem

The Cayley-Hamilton theorem is usually presented in standard undergraduate courses in linear algebra as an important result. Recall that it says that any square matrix is a "root" of its own ...

**6**

votes

**3**answers

255 views

### For an arithmetic hyperbolic 3-manifold group, when is its trace field not its invariant trace field?

Edit: In my original post I failed to require the group to be a manifold group. The answer below from @BenLinowitz works in that case. I am really interested though in when the group is torsion-free, ...