The tag has no wiki summary.

learn more… | top users | synonyms

7
votes
1answer
295 views

Degree of Kummer extensions of number fields

Let $K$ be a number field and $a\in K^*$ of infinite order in $K^*$. How do I show that $$[K(\sqrt[n]{a},\zeta_n):K]\geq C\cdot n\cdot\varphi(n)$$ holds for all positive integers $n$, with a positive ...
5
votes
2answers
322 views

When does a dyadic prime ramify in a relative quadratic extension?

In a quadratic extension $\mathbb{Q}(\sqrt{d})$of $\mathbb{Q}$ it is clear that 2 ramifies if and only if $d\equiv 2,3\mod 4$ (easy to see if you compute the discriminant). But if I take a relative ...
2
votes
1answer
84 views

Principally split primes with factors in arbitrarily small angular sectors

I wonder if the following is known: let $n$ be a (square-free) positive integer. Is there ever/always a sequence of prime numbers $p$ that can be written in the form $$p = x^2 + ny^2,$$ where $x, y$ ...
1
vote
0answers
167 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
1answer
345 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
0answers
78 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
1answer
64 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
2answers
195 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
2answers
368 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
4answers
583 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
0answers
99 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 ...
14
votes
1answer
562 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
1answer
74 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
2answers
988 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
1answer
164 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
1answer
104 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
6answers
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
2answers
203 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
0answers
289 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
1answer
239 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
2answers
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
1answer
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
1answer
259 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
1answer
120 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
1answer
266 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
0answers
204 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
0answers
193 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
2answers
402 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
2answers
487 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 ...
4
votes
0answers
292 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
1answer
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}$.
2
votes
1answer
208 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
2answers
334 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
0answers
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
1answer
631 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
0answers
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
1answer
428 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 ...
4
votes
2answers
594 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
1answer
348 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
1answer
140 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
1answer
331 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
1answer
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
1answer
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
0answers
209 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
1answer
260 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
1answer
490 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
0answers
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
1answer
295 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
0answers
171 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
1answer
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 ...