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

**1**

vote

**0**answers

163 views

### $\mathfrak{q}$-ideal class bound

Let $K$ be a number field, $\mathcal{O}_K$ be its ring of integers. Let $\mathfrak{q}$ be a nonzero ideal in $\mathcal{O}_K$.
The $\mathfrak{q}$-ideal class group consists of equivalence classes of ...

**8**

votes

**1**answer

298 views

### Explicit isomorphism for quaternion algebras over $\mathbb{Q}$?

It is known that the isomorphism class of a quaternion algebra $A=\binom{a,b}{K}$ over a number field $K$ is determined by the finite set of places $v$ of $K$ where $A\otimes_K K_v$ is a division ...

**1**

vote

**0**answers

74 views

### Units in residue classes

Let $K$ be a CM-field of degree $2n$. (Quadratic extension of totally real number field)
Let $\mathcal{O}_K$ be the ring of integers in $K$, and $m\geq 1$ an integer. Let $U_K$ be the group of units ...

**1**

vote

**1**answer

53 views

### Integral elements of quaternion algebras with predescribed properties

In the course of doing some calculations I have found myself wanting to answer the following question:
Let $D/\mathbb{Q}$ be a quaternion algebra ramified at a prime $p$ and at $\infty$ and let ...

**1**

vote

**2**answers

191 views

### Double Density Theorem?

A colleague asks me the following: "I wonder if you can give me a reference - or a guidance where to look – from a fact I recall from graduate school. I’m sure it can be generalized quite a bit but ...

**2**

votes

**2**answers

318 views

### Connection between quadratic forms and ideal class group

I'm studying the classic results on binary (integer) quadratic forms and I'm looking for a reference on the following result (maybe a book that contains a proof):
Let $O_k$ be the ring of algebraic ...

**11**

votes

**4**answers

512 views

### Analogy between the nodal cubic curve $y^2=x^3+x^2$ and the ring $\mathbb{Z}[\sqrt{-3}]$?

I'm trying to motivate a bit of algebraic geometry in an abstract algebra course (while simultaneously trying to learn a bit of algebraic geometry), and I thought that it might be nice to present an ...

**0**

votes

**0**answers

83 views

### Cubic field and the corresponding cubic binary form

I am currently reading about binary cubic forms and cubic number fields (mainly about using binary cubic forms with integer coefficients to parametrize orders in the cubic field) and I thought it ...

**10**

votes

**1**answer

502 views

### Chebotarev density theorem for $k$-almost primes

Consider a finite Galois extension $L$ of $\mathbb Q$, of Galois group $G$. Let $k \geq 1$ be a fixed integer. Let $D$ be a subset of $G^k$ invariant by conjugation and by the natural action of the ...

**0**

votes

**1**answer

71 views

### Significance of the sign of the field norm for units in real quadratic fields

Let $k = \mathbb{Q}(\sqrt{m})$, where $m \equiv 1 \pmod{8}$. Let $\epsilon$ be the fundamental unit of $k$ satisfying $\epsilon > 1$.
A paper I'm reading involves studying the 2-torsion fields ...

**7**

votes

**2**answers

928 views

### Linear independence of the square roots over Q

Does there exist a real number $a$ such that the numbers $\sqrt{n^2 + a^2}$ (for all natural $n$) are linearly independent over the field of rational numbers? It is evident that $a$ cannot be ...

**1**

vote

**1**answer

152 views

### Compatibility of two definitions of elliptic elements in GLn

For an element $g$ of a connected reductive group $G$ (over a local field),
$g$ is called $elliptic$ if it is semisimple and the maximal split subtorus of the center of the centralizer of $g$ is ...

**2**

votes

**1**answer

99 views

### Is any/every order on a number field forced by some finite extension?

Say a field extension $E/F$ forces the order on an ordered $F$ if every positive $x$ in $F$ is a sum of squares in $E$. A real closure of $F$ does this. And $\mathbb{Q}$ forces its own sole ...

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

**4**

votes

**2**answers

187 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\}$ ...

**7**

votes

**0**answers

265 views

### Does Hasse-Minkowski help to produce nontrivial rational solutions?

Consider a quadratic form over $\mathbb{Q}$, say, a diagonal one in three variables
$$
F(X, Y,Z) = a · X^2 + b · Y^2 − c · Z^2
$$
with positive integers $a,b,c$. Then $F(X,Y,Z)=0$ has a non-trivial ...

**0**

votes

**0**answers

40 views

### bounds of weighted sum of exponentials (related to Baker's theorem)

Given $n$ integers $a_1, \cdots, a_n$ and $n$ algebraic numbers $b_1, \cdots, b_n$, consider
$S=\sum_{i=0}^n a_i e^{b_i}$, the question is how to give a lower bound of $|S|$ assuming that $S\neq 0$, ...

**2**

votes

**0**answers

175 views

### Cyclotomic integers with given modulus

The following problem was posted to the NMBRTHRY mailing list about a week ago, without eventually getting a satisfactory solution.
Suppose that $p=(n^2+1)/2$ is a prime, with $n\ge 5$ integer. Does ...

**2**

votes

**2**answers

150 views

### Domains $D$ for which for any prime $P$, $D_P$ is a PID

Is there any name or alternative characterization for the class of integral domains $D$ such that for any prime ideal $P$, $D_P$ is a principal ideal domain?

**2**

votes

**1**answer

143 views

### Frohman & Fine's proof about Bianchi groups as HNN extensions (or anyone else's)

Specifically, I am looking for a proof that for squarefree $d\in\mathbb{N}\setminus\{ 1,3\}$, there exists some Kleinian $\Gamma$ and some $\alpha\in$Aut$(PSL(2,\mathbb{Z}))$, such that the Bianchi ...

**2**

votes

**1**answer

254 views

### Mordell-Weil and finiteness of rational points

Let $E$ be a CM elliptic curve defined over a quadratic imaginary field $K$ with maximal order, that is, $\mathrm{End}_K(E)\cong \mathcal{O}_K$. Suppose the class number of $K$ is equal to $1$. Let ...

**1**

vote

**1**answer

113 views

### Definition of level N congruence subgroup of an arithmetic group, useful for computations

My title requests something more general than I actually require right now, so I would settle for an answer to something more specific (details below) but I would like to understand the more general ...

**0**

votes

**0**answers

91 views

### Number fields of given degree and bounded discriminant (Paper request)

I have been searching several Libraries to find the following important paper of Wolfgang Schmidt.
"Schmidt, Wolfgang M.(1-CO), Number fields of given degree and bounded discriminant. (English ...

**3**

votes

**1**answer

234 views

### Unramified extension and class field theory

I am not sure this question is proper for this site, but there is no other places that I can get an answer. So if anyone can give an answer for this, it would be very helpful to me.
Let $F$ be a ...

**0**

votes

**0**answers

191 views

### Understanding Umemura's Theorem for roots of algebraic equations

I am trying to understand Umemura's Theorem for expressing the roots of any algebraic equation by higher genus theta functions. The original paper can be found here: ...

**1**

vote

**0**answers

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

**6**

votes

**2**answers

358 views

### Irreducible polynomials with a root modulo almost all primes

Let $f \in \mathbb{Z}[x]$ be a non-zero polynomial which is irreducible over $\mathbb{Q}$. Suppose that $f$ has a root in $\mathbb{F}_p$ for almost all primes $p$. Must $f$ be linear?
...

**6**

votes

**2**answers

469 views

### Hurwitz integers represented as sums of two squares of Hurwitz integers

I wonder if there exists a characterisation of Hurwitz integers which are represented as sums of two squares of Hurwitz integers, up to multiplication by a unit. And if so, could you please point to a ...

**5**

votes

**0**answers

262 views

### maximal abelian extension of quadratic extension of $\mathbb Q_p$

I read this article "Local class field theory via Lubin-Tate theory" http://arxiv.org/pdf/math/0606108v2.pdf. And I want to find the maximal abelian extensions for quadratic extensions of $\mathbb ...

**-4**

votes

**1**answer

142 views

### $p=4x^2+27y^2$,with $p$ a prime [closed]

p is a prime ,on what condition the Diophantine equation is solvable.what is it Linear expression ,for example ,$x^2+3y^2=p$, $p=3k+1$ ,$x^2+5y^2=p$ ,
$p=1,9\pmod{20}$.

**3**

votes

**1**answer

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

**3**

votes

**2**answers

310 views

### The existence of infinitely many supersingular primes for every elliptic curve over Q

Elkies proved The existence of infinitely many supersingular primes for every elliptic curve over Q. I read his paper, but found the supersingular primes he constructed are all 3(mod 4) type. So, how ...

**3**

votes

**0**answers

139 views

### Is Eisenstein's map from binary cubic forms really injective when $\Delta > 0$?

The four binary cubic forms, homogeneous cubics of the form $C_j(x,y) = a x^3 + b x^2 y + c x y^2+d y^3 = (a,b,c,d)$,
$C_1 = (1,3,-15,-23)$, $C_2 = (1,3,-51,-203)$, $C_3 = (1,3,-33,-113)$, $C_4 = ...

**14**

votes

**1**answer

556 views

### Growth of the “denominator” of powers of an algebraic number

Let $z \in \overline{\bf Q}$ be an algebraic number. Define the "denominator" of z to be the least natural number $n$ such that $nz$ is an algebraic integer.
By a rather ad hoc argument (playing ...

**6**

votes

**0**answers

76 views

### Constructing a polyhedron of maximal possible volume from given bounds on areas of its faces

Consider $n$ variables $a_1,...,a_n$ ranging over $\mathbb{R}^+$. Suppose we are given $n$ pairs of positive rational numbers $(p_1,q_1),...,(p_n,q_n)$ where each pair imposes bounds on the ...

**4**

votes

**1**answer

385 views

### About principal ideal theorem in number fields

I usually consider a cyclic extension $K$ of degree an odd prime $p$ over the rational field $\mathbf{Q}$.
In this case, there is a well-known result that "every ambiguous class in the class group ...

**3**

votes

**2**answers

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

**5**

votes

**1**answer

306 views

### Minimal polynomial of sums of roots of unity with constant term $\pm1$

Let prime $p$ and given $\zeta_p = e^{2\pi i/p}$. It is well-known that the minimal polynomial of $x = \zeta_p + \zeta_p^{p-1}$ has a constant term either $\pm 1$ and, for certain $p$, the sum of ...

**1**

vote

**1**answer

133 views

### Algebraic numbers abhorrent to cyclotomic fields

Consider an algebraic number $\alpha$, which can be taken to be an
integer. With $\deg\alpha$ a prime number, one can easily arrange that
to be such that all powers $\alpha^n$ to be of the same ...

**7**

votes

**1**answer

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

**-1**

votes

**1**answer

184 views

### A characterization of the module function on a locally compact division ring

The same question was asked in Math StackExchange about 3 months ago.
Since nobody has answered to it, I would like to post it here.
References:
Weil's Basic Number Theory(denoted by BNT).
...

**9**

votes

**1**answer

453 views

### The Dissertation of F. J. van der Linden

Does anyone have access to the 1984 dissertation of Franciscus Jozef van der Linden under Hendrik Lenstra? It is called Euclidean Rings with two infinite primes. The theory is that this has the ...

**3**

votes

**0**answers

188 views

### Euclidean real quadratic fields

It is known that, under GRH, a real quadratic field is Euclidean iff it is a UFD. So, assuming the conjecture of Gauss and GRH, we expect that there are infinitely many Euclidean real quadratic ...

**1**

vote

**1**answer

254 views

### Number Field Sieve for factorization with non-monic non-linear polynomial. Can't understand calculating ideal valuations

There is a paper "Factoring integers with the number field sieve" (download it here, for example).
I can't understand how they reason the correctness of computing ideal valuations in the case of ...

**12**

votes

**1**answer

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

**5**

votes

**0**answers

190 views

### Generating congruence subgroups of SL_n over totally imaginary number rings

Fix some $n \geq 3$. Let $k$ be an algebraic number field with ring of integers $\mathcal{O}$ and let $\alpha$ be an ideal of $\mathcal{O}$. Define $\text{SL}_n(\mathcal{O},\alpha)$ to be the ...

**2**

votes

**1**answer

289 views

### Some puzzles about the three conditions in a paper of D.Berend

Recently, I am reading a paper titled "multi-invariant sets on tori" by D.Berend.
I am puzzled by the three necessary and sufficient conditions given there.
Could you provide me with some concrete ...

**4**

votes

**0**answers

168 views

### When is a Number Ring generated by its Norm-1 elements?

In exercise 1.2.11. of Bump's Automorphic Forms and Representations book, he deals with real quadratic fields $K$ in which $\mathcal{O}_K$ is generated (as a ring) by its norm-1 units. In this case ...

**2**

votes

**1**answer

60 views

### Action of GL(2,O_k) on 1d subspaces of (O_k)^2

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$. Let $M$ be a rank $1$ projective module over $\mathcal{O}_k$ (in other words, $M$ is a projective module such that $k ...

**2**

votes

**1**answer

451 views

### Prime splitting in cubic field, congruence [closed]

Let $K$ be a cubic Galois extension of $\mathbb{Q}$.
I wonder if we can find a congruence for prime $p$ such that $p$ does not split completely in $K$. I know that we can do this for quadratic ...