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

**15**

votes

**3**answers

1k views

### Commutative Algebra with a View Toward Algebraic Number Theory

Someone asked me this today, and I don't know what the standard answer is:
Is there an analogue of David Eisenbud's rather amazing Commutative Algebra With a View Toward Algebraic Geometry but with a ...

**6**

votes

**1**answer

355 views

### Generalization of Hilbert 94 and capitulation

Let $L/K$ be a finite, cyclic extension of number fields, say with $\mathrm{Gal}(L/K)=G$. In my context $G$ is actually of order $p$, an odd prime number, but let me state my question for every cyclic ...

**8**

votes

**3**answers

536 views

### j-invariant fixed point?

If we view the j-invariant of a lattice as a map from the upper-half plane to the complexes by $\tau\mapsto j([1,\tau])$, then it is surjective, holomorphic, and has quite a number of other wonderful ...

**6**

votes

**2**answers

620 views

### Are Cantor type numbers algebraic?

This question may be naive. Take an infinite set of distinct algebraic numbers (hence countable). List them out in a table (randomly) by picking a choice of ordering and change the diagonal numbers.
...

**11**

votes

**1**answer

431 views

### Embedding number fields in fields with class number 1

(Apologies if this question isn't quite research-level: a colleague came across it while preparing a non-examinable bonus lecture on class field theory for an undergraduate algebraic number theory ...

**1**

vote

**2**answers

848 views

### Non-trivial facts about primes coming out of Algebraic Number Theory [closed]

What can be gleaned about primes from Algebraic Number Theory? I know this is too vague. What I mean is the following:
Are there several examples where Algebraic Number Theory helps to solve ...

**2**

votes

**2**answers

460 views

### Special values of a doubly periodic meromorphic function

Consider the following function: $G(z) = \prod_{n \in \mathbb{Z}} {1 \over{\tanh^2\left(\pi\left(z-n\right)\right)}}$.
By constuction, it has poles at $z=m+in$ with $m,n \in \mathbb{Z}^2$.
...

**4**

votes

**1**answer

309 views

### Need there be infinitely many Gaussian primes along lines that contain at least one?

Greetings from EuroCG 2012, from which I post via iPod, so apologies for lack of problem motivation, background research and mathematical formatting.
Question:Suppose L is a horizontal or vertical ...

**4**

votes

**2**answers

266 views

### Eigenvalues for toral Anosov automorphisms

It is well known that on every $d$-dimensional torus there exists linear Anosov automorphisms.
My question is the following:
Given $k< d$ does there exists a linear Anosov automorphism of ...

**3**

votes

**1**answer

993 views

### Trace of Frobenius over $F_q$

Let $q_0$ be a prime and $q$ = $q_0^n$.
Let $a(F_q/F_{q_0})$ denote any integer which is trace of Frobenius over the field $F_q$ for some elliptic curve which can be defined over $F_{q_0}$.
It is ...

**7**

votes

**0**answers

287 views

### Tameness criterion in the reducible case

Dear MO,
This is a follow up to a previous question here in MO, but I will make this question self-contained for convenience. Those already familiar with the following paper [G] by Gross can safely ...

**28**

votes

**1**answer

1k views

### How would Hilbert and Weber think about the Langlands programme?

Explanations to a general mathematical audience about the Langlands programme often advertise it as "non-abelian class field theory". They usually begin as follows: a modern style formulation of ...

**4**

votes

**1**answer

907 views

### Bound for the number of rational points on the modular curve

By Mazur's theorems (Reference:- Modular curves and the Eisenstein ideal, 1977),
we know that the only rational points of X_0(N) for N any prime > 163 are
the two cusps (o) and (oo) (|X_0(N)(Q)| = 2 ...

**0**

votes

**0**answers

165 views

### Ring of Integers as subring with most irreducibles

Let $L$ be a number field. Is it possible to define its ring of integers $R$ by saying it's the subring with (in a fuzzy sense) the "most" irreducibles?

**4**

votes

**2**answers

381 views

### relations between class numbers of quadratic extensions

Let $h_m$ is the class number of $\mathbb{Q}[\sqrt m]$ and let $p>2$ a prime number.
Is there a known connections between $h_p$ and $h_{-p}$? e.g. if $q^i$ divides $h_p$ then it also divides ...

**6**

votes

**1**answer

401 views

### Parity of class number of pure cubic fields

A pure cubic field is an algebraic number field of the form $K = \mathbb{Q}(\theta)$ with $\theta^3 = m$, $m \neq \pm 1$.
What can be said about the parity (odd or even) of the class number of a pure ...

**6**

votes

**1**answer

431 views

### Can elliptic integral singular values generate cubic polynomials with integer coefficients?

For the elliptic integral of first kind, $K(m)=\int_0^{\pi/2}\frac{d\theta}{\sqrt{1-m^2sin^2\theta}} $, it is well-known that $K(m)$ can be expressed in what Chowla and Selberg call "finite terms" ...

**4**

votes

**0**answers

215 views

### A natural mod-n representation of the automorphisms of an elliptic curve

Let $E$ be an elliptic curve over a field of characteristic $p$, and let $n$ be an integer coprime to $p$. Then $E[n]$, the kernel of multiplication by $n$ on $E$, is (etale-locally) isomorphic to ...

**3**

votes

**1**answer

227 views

### Do there always exist integers $\beta_2$, $\beta_3$ such that $\{a, \beta_2 + \omega_2, \beta_3 + \omega_3 \}$ is an integral basis for the ideal $(a, \alpha )$ of a cubic field

Let $K$ be a cubic extension of the rational numbers of discriminant $D$ and $\{ 1, \omega_2, \omega_3 \}$ be an integral basis for the ring of integers $\mathcal{O}_K$ of $K$. Let $\alpha \in ...

**8**

votes

**0**answers

329 views

### Effective lower bound for class numbers of cyclotomic fields

Let $K=\mathbb{Q}(\mu_p)$ with class number $h=h^+h^-$, where as usual $h^+$ is the class number of the maximal real subfield of $K$. My question is whether there is an effective lower bound for $h$ ...

**4**

votes

**0**answers

114 views

### Detecting linear dependence on multiplicative groups

Let G = $\mathbb{G}_m^2/\mathbb{Q}$ and let $\Gamma \subseteq G(\mathbb{Q})$ be a free abelian group of rank 2. Assume that the set of primes $p$ for which $\Gamma \mod p$ is cyclic has positive ...

**6**

votes

**2**answers

1k views

### Image of a Galois representation

Notation:
$E$ is a non-CM Elliptic curve over $\mathbb{Q}$.
$p$ is an ordinary prime.
$f$ - cuspidal eigenform of weight $k$ = 2 attached with $E$.
$\rho_f$ - the global 2-dimensional $p$-adic ...

**2**

votes

**0**answers

245 views

### Order of inertia group on Lang

Let $A$ be a Dedeking ring with field of fraction $K$, $L$ be a Galois extension of $K$, $B$ the integral clousure of $A$ in $L$, $\mathfrak p$ a prime ideal of $A$ and $\mathfrak P$ a prime ideal of ...

**1**

vote

**1**answer

491 views

### A proof in Lang - Algebraic number theory

I'm reading Proposition 14, page 15, Chapter I, taken in Lang - Algebraic number theory. It states that if $A$ is an integrally closed domain with field of fractions $K$, $L$ be a finite galois ...

**6**

votes

**1**answer

612 views

### $\ell$-adic Weil cohomology theory

I have a reference or counterexample request. Suppose $k$ is a field and $\ell\neq char(k)$. There are several common references that show that $H^i_{et}(-, \mathbb{Q}_\ell )$ is a Weil cohomology ...

**2**

votes

**3**answers

633 views

### Are all Finite Subsets of Affine n-space Algebraic sets, and related question [closed]

For an algebraicaly closed field $k$ are all finite subsets of Affine $n$-space $A^{n}\left(k\right)$
algebraic sets (here for $n>1$), and if so, for a given finite set $X\subset ...

**26**

votes

**1**answer

1k views

### Do the algebraic integers form a free abelian group?

It is a well-known fact, proved in every introductory textbook on algebraic number theory, that if $K$ is an algebraic number field, i.e. a finite extension of $\mathbb{Q}$, then its ring ...

**8**

votes

**2**answers

500 views

### primes represented by a binary form

Let $D$ be a square free integer. I am looking at primes representable as $x^2+Dy^2$, where $x,y\in\mathbb Z$. I wonder whether it is always true that this set of primes is the union of finitely many ...

**2**

votes

**1**answer

242 views

### finiteness of class number: a bound for semi-simple groups?

Let $F$ be a number field, and $G$ a connected semi-simple linear algebraic $F$-group, which does not contain anisotropic (simple) $F$-factors. Write $\hat{F}$ for the ring of finite adeles ...

**2**

votes

**1**answer

505 views

### Dedekind Spectra

Is there a class of ring spectra that corresponds to and/or extends the class of Dedekind rings from traditional algebra? Is there a notion of "ring of integers" of a ring spectrum? Additionally, is ...

**8**

votes

**1**answer

348 views

### Non-trivial class number at some finite level in the cyclotomic $\mathbf{Z}_p$-extension of $\mathbf{Q}$?

An MSc student asked me if I knew an example of a prime $p$ and some finite layer $K_n$ in the cyclotomic $\mathbf{Z}_p$-extension of $\mathbf{Q}$ (so $[K_n:\mathbf{Q}]=p^n$) which had non-trivial ...

**4**

votes

**0**answers

259 views

### What is the shape of the zeta function of a singular hypersurface?

So let $X$ be a projective hypersurface inside $\mathbb{P}_{\mathbb{Z}}^n$ of degree $d$.
Assume that
(a) $X(\mathbb{C})$ and $X(\overline{\mathbb{F}}_p)$ are irreducible,
(b) and that ...

**7**

votes

**3**answers

1k views

### Ring of algebraic integers in a quadratic extension of a cyclotomic field

Hello,
I have a question which arose when trying to classify orders of certain algebras.
We know that if $K=\mathbb{Q}(\zeta)$ is any cyclotomic field, and $\zeta$ is an $n$-th root of unity (for ...

**6**

votes

**0**answers

568 views

### Automorphisms of local fields

It is an amusing coincidence (at least it appears to be a coincidence to me) that any completion of the field $\mathbb{Q}$ has trivial automorphism group as an abstract field, i.e. when ignoring the ...

**0**

votes

**2**answers

804 views

### non negative integer solutions : Diophantine Equations [closed]

I want to know the exact number of non-negative integer solutions of a1x1+a2x2+...akxk = n ...
I know that it is the co-efficient of x^n in (1-x^a1)^-1 * (1-x^a2)^-1 * ... (1-x^ak)^-1 ...
but whats ...

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

**3**

votes

**1**answer

302 views

### Do the solutions to the unit equation lie dense in the complex numbers

Let $S\subset \overline{\mathbf{Q}}\subset \mathbf{C}$ be the set of solutions to the unit equation, i.e., $S$ consists of algebraic integers $a$ such that $a$ and $1-a$ are units in the ring of ...

**0**

votes

**3**answers

387 views

### Brauer group of complete DVR

Let $A$ be a complete discrete valuation ring with fraction field $K$ and perfect residue field $\kappa$.
Let $K_{nr}$ be the maximal unramified extension of $K$ and let $A_{nr}$ be its ring of ...

**10**

votes

**2**answers

594 views

### Insolvable number fields ramified only at one (small) prime

In his first Eilenberg Lecture at Columbia, Benedict Gross says that only recently have we been able to give examples of finite galoisian extensions $K$ of ${\bf Q}$ which are ramified only at $2$ ...

**5**

votes

**1**answer

304 views

### Equality of Galois modules

Let $k$ be a number field. Let $M$ be a (continuous) $\text{Gal}(\overline{k}/k)$-module.
One can define two subgroups of the Galois cohomology group $H^i(k,M)$:
the group of elements of $H^i(k,M)$ ...

**1**

vote

**1**answer

279 views

### Centralizer of elliptic elements in $GL(2)$

Consider a global field $F$ and the group $\Gamma =GL(2,F)$. An element $\gamma \in \Gamma$ is called elliptic, if its eigenvalues do not lie in $F$. Now consider a completion $F_v$ of $F$ and $G_v = ...

**1**

vote

**3**answers

433 views

### Genus and Spinor genus of a lattice

Hi, I'm looking for a motivation for the names genus and spinor genus of a lattice (and spinor norm of an isometry).
Is there any relation between the genus of a lattice and the genus of an algebraic ...

**0**

votes

**2**answers

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

**3**

votes

**3**answers

489 views

### For any $n$, does there exist a number field with at least $n$ solutions to the unit equation

Let $n$ be a positive integer.
Does there exist a number field $K$ such that the number of solutions of the unit equation $$a+b =1, \quad a,b\in O_{K}^\ast$$ is at least $n$? Can we write down such a ...

**3**

votes

**0**answers

332 views

### Cyclotomic fields and singular moduli

Let $\mu$ be the roots of unity and $S$ be the image under the modular $j$-function of all imaginary quadratic $\tau$. Then what is $\mathbb{Q}(\mu)\cap\mathbb{Q}(S)$?

**4**

votes

**0**answers

306 views

### Why a certain “Hecke polynomial” is equal to a certain “Galois polynomial”?

Let $f$ be a modular form of weight $k>0$ on $\Gamma_1(N)$ that is an eigenvector for all the Hecke operators $T_\ell$, for $\ell$ prime, and with Nebentype $\epsilon$. If $\ell$ is a prime not ...

**5**

votes

**3**answers

546 views

### Infinite dimensional central simple algebras

When constructing the Brauer group of a field, only the finite-dimensional central simple algebras are considered (because of Artin-Wedderburn's characterization).
But what happens to the ...

**4**

votes

**2**answers

1k views

### A family of polynomials with symmetric galois group

Consider the following family of polynomials in $K[x,y]$, where $K$ has characteristic zero:
$f_n(x,y)=(x+y)^n+(x-1)y^n,$
for $n\geq 3$. I can prove that $f_n(x,y)$ has an irreducible factor of ...

**1**

vote

**1**answer

166 views

### Lower bound on the class group of the p-Hilbert class field of an imaginary quadr. field

Let K be an imaginary quadratic field, A(K) its p-class group, and H(K) its p-Hilbert class field. If rk(A(K))=2, a result due to Arrigoni tells us that p^3 divides the order of the class group of ...

**1**

vote

**1**answer

290 views

### The union of the totally split primes

Let $R$ be a Dedekind domain with quotient field $K$, let $L$ be a finite separable extension of $K$, and let $S$ be the integral closure of $R$ in $L$. If $\mathfrak{p}$ is a nonzero prime ideal of ...