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

**11**

votes

**4**answers

577 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

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

**13**

votes

**1**answer

550 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

73 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

975 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

161 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

102 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

198 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

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

**2**

votes

**1**answer

236 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

154 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

147 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

257 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

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

**3**

votes

**1**answer

262 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

202 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

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

**7**

votes

**2**answers

392 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

480 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

282 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

146 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

205 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

328 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

149 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

617 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

78 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

420 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

576 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

334 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

137 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

330 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

188 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

460 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

205 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

259 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

484 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

202 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

294 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

170 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

61 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

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

**4**

votes

**1**answer

223 views

### Reduction mod $p$ of units in a ring of integers

Let $\mathcal{O}_k$ be the ring of integers in an algebraic number field $k$ and let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_k$. I'm looking for conditions on $k$ and $\mathfrak{p}$ which ...

**2**

votes

**0**answers

153 views

### Lang's preprint “Cyclotomic points, very anti-canonical varieties, and quasi-algebraic closure”

I am trying to find the following preprint of Serge Lang, which supposedly discusses his C1 conjecture:
"Cyclotomic points, very anti-canonical varieties, and quasi-algebraic closure".
I have not ...

**1**

vote

**1**answer

238 views

### Rational points of non-rational curves

An algebraic curve (in this question) is the zero set $C = f^{-1}(X\ Y)$ of any polynomial $f\in\mathbb R[X\ Y]$; we say then that $f$ represents $C$. ...

**8**

votes

**2**answers

364 views

### property of trace modulo $n$

I recently noticed an interesting (at least to me) property of the trace but have been unable to prove it.
Let ${\mathbb K}$ is an algebraic number field with ${\mathcal O}$ as its ring of integers, ...

**1**

vote

**2**answers

250 views

### Question about ring of integers of cyclotomic field [closed]

Let $\zeta=e^{\frac{2\pi i}{p^n}}$, $p$ is an odd prime. Is $\mathbb{Z}[\zeta]$ a UFD?
Thank you for watching.

**2**

votes

**1**answer

188 views

### RefReq: Algorithms for standard operations in Algebraic Number theory

Given an algebraic number field $F$ (I actually don't have an idea how to implement this data already, except for splitting fields of polynomials, but there is something in SAGE) is there free code ...

**5**

votes

**0**answers

185 views

### Salem and Perron polynomials

If $P(t)\in \mathbb{Z}[t]$ is a polynomial, let $d$ be its degree and let $P_{*}(t)$ denote its reciprocal polynomial, i.e. $P_{*}(t) := t^d\, P(1/t)$.
Let $Q_n(t) \in \mathbb{Z}[t]$ be a polynomial ...

**1**

vote

**1**answer

576 views

### An integral representation of the Riemann zeta function

I am referring to the equality in equation $3.29$ (page 12) and $4.20$ (page 17) in this paper.
I am unable to recognize where this comes from or what is the general expression for values other than ...