Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

13
votes
4answers
2k views

Beginner's text for Algebraic Number Theory

What's good book for learning Algebraic Number Theory with minimum prerequisites? Assume that the reader has done an basic abstract algebra course.
13
votes
2answers
580 views

Different formulations of Class Field Theory

I was reading up on class field theory, and I have a question. On wiki (http://en.wikipedia.org/wiki/Artin_reciprocity), one formulation is that there's some modulus for which ...
13
votes
2answers
2k views

Proof that $26$ is the one and only number between square and cube

$x^2 + 1 = z = y^3 - 1$ Why $z = 26 $ and only $26$ ? Is there an elementary proof of that ?
13
votes
3answers
2k views

What are the units of cyclotomic integers?

This question made me realize I had a misconception about the cyclotomic integers: I thought the units were exactly the roots of unity. There are only finitely many units but infinitely many integers ...
13
votes
2answers
520 views

Consequences of the Langlands program

I have been reading the book Fearless Symmetry by Ash and Gross.It talks about Langlands program, which it says is the conjecture that there is a correspondence between any Galois representation ...
13
votes
2answers
357 views

Find a composite number $n$ satisfies $(2+3I)^n≡2-3I\pmod{n}$

As we know if $p$ is an odd prime number then $$(a+bI)^p\equiv a+(-1)^\frac{p-1}2bI\pmod{p},$$ where $I=\sqrt{-1}$. However, is there any composite number $n$ that satisfies ...
13
votes
1answer
364 views

2-Torsion Group Scheme

Consider the elliptic curve $zy^2 + z^2y = x^3.$ I would like to explictly compute the 2-torsion group scheme, $E[2],$ over $\mathbf{Spec}(\mathbb{Z}_2),$ but I'm having a tough time writing down the ...
13
votes
1answer
196 views

What's so cool about local compactness?

As I study more algebraic number theory, I hear more and more often about local compactness: locally compact fields, locally compact topological groups, Stone-Čech compactification of locally compact ...
12
votes
1answer
375 views

Why is $(\sqrt{2}+\sqrt{3})^{2008}$ so close to an integer?

Using 5000-digit precision in PARI/GP, I discovered that the fractional part of $(\sqrt{2}+\sqrt{3})^{2008}$ is extremely small, less than $10^{-999}$. Is there a simple explanation for this fact ? ...
12
votes
5answers
645 views

How does a Class group measure the failure of Unique factorization?

I have been stuck with a severe problem from last few days. I have developed some intuition for my-self in understanding the class group, but I lost the track of it in my brain. So I am now facing a ...
12
votes
2answers
615 views

Ring of integers is a PID but not a Euclidean domain

I have noticed that to prove fields like $\mathbb{Q}(i)$ and $\mathbb{Q}(e^{\frac{2\pi i}{3}})$ have class number one, we show they are Euclidean domains by tessalating the complex plane with the ...
12
votes
1answer
162 views

Is $\sum\frac1{p^{1+ 1/p}}$ divergent?

Is $\displaystyle\sum\frac1{p^{1+ 1/p}}$ divergent? How can we prove that it is divergent or convergent in analytic number theory? I know what bound of the n-th prime number is, and that its order is ...
12
votes
5answers
151 views

Why is quadratic integer ring defined in that way?

Quadratic integer ring $\mathcal{O}$ is defined by \begin{equation} \mathcal{O}=\begin{cases} \mathbb{Z}[\sqrt{D}] & \text{if}\ D=2,3\ \pmod 4\\ ...
12
votes
2answers
718 views

How are the Tate-Shafarevich group and class group supposed to be cognates?

How can one consider the Tate-Shafarevich group and class group of a field to be analogues? I have heard many authors and even many expository papers saying so, class group as far as I know is ...
12
votes
2answers
365 views

Are there Groups of Strictly Primes

Motivation Since Euclid's proof of the infinitude of the primes, the structure and properties of primes has always fascinated mathematicians. This lead to great work in their properties and ...
12
votes
1answer
162 views

Galois Properties of the Values of Modular Forms

Let $f \in S_0(N)$ be a normalized Hecke eigenform. It is well known that its coefficients are algebraic integers, and $f^\sigma$ lies in $S_0(N)$ for $\sigma \in G_{\mathbb{Q}}$. At CM points $z \in ...
12
votes
1answer
220 views

Introduction to the trace formula for people outside number theory

I am looking for references on the trace formula, by which I mean the Selberg trace formula and its successor the Arthur-Selberg trace formula. I am aware that there are "standard references" on the ...
12
votes
2answers
711 views

A weak converse of $AB=BA\implies e^Ae^B=e^Be^A$ from “Topics in Matrix Analysis” for matrices of algebraic numbers.

It is a well known fact that if $A,B\in M_{n\times n}(\mathbb C)$ and $AB=BA$, then $e^Ae^B=e^Be^A.$ The converse does not hold. Horn and Johnson give the following example in their Topics in Matrix ...
12
votes
1answer
133 views

When is a number in $\mathbb{Q}(\sqrt{a_1},\ldots,\sqrt{a_n})$?

Given an algebraic number $\alpha$ with minimal polynomial $P(x)$ of degree $2^n$, how can I decide if there are integers $a_1,\ldots,a_n$ such that ...
12
votes
1answer
273 views

primes represented integrally by a homogeneous cubic form

Expired by this question Show determinant of matrix is non-zero I am moved to ask: Given integers $a,b,c,$ and cubic form $$ f(a,b,c) = a^3+2 b^3-6 a b c+4 c^3 = \left|\begin{bmatrix} a & 2c ...
12
votes
2answers
251 views

Are there applications of noncommutative geometry to number theory?

The marriage of algebraic geometry and number theory was celebrated in the twentieth century by the school of Grothendieck. As a consequence, number theory has been completely transformed. On the ...
11
votes
5answers
1k views

How to tell if a Fibonacci number has an even or odd index

Given only $F_n$, that is the $n$th term of the Fibonacci sequence, how can you tell if $n \equiv 1 \mod 2$ or $n \equiv 0 \mod 2$? I know you can use the Pisano period, however if $n \equiv 1$ or ...
11
votes
3answers
632 views

What is so special about negative numbers $m$, $\mathbb{Z}[\sqrt{m}]$?

This question is based on a homework exercise: "Let $m$ be a negative, square-free integer with at least two prime factors. Show that $\mathbb{Z}[\sqrt{m}]$ is not a PID." In an aside comment in the ...
11
votes
2answers
285 views

So what *is* the Euclidean function for $\mathcal{O}_{\mathbb{Q}(\sqrt{69})}$?

It's my understanding that $\mathcal{O}_{\mathbb{Q}(\sqrt{69})}$ is UFD, PID, and Euclidean, but not norm-Euclidean. If it were norm-Euclidean, there would be a solution to $28 = q \left(\frac{5}{2} ...
11
votes
3answers
465 views

What is the quotient $\mathbb Z[\sqrt{3}]/(1+2\sqrt{3})$?

I am currently doing a past paper and it asks the following: Prove that for $I=(1+2\sqrt{3})$ we have $\mathbb Z[\sqrt{3}]/I$ a field with $11$ elements. If I assume standard algebraic number ...
11
votes
1answer
612 views

What does Tate mean when he wrote “Higher dimensional class field theory” in the new preface to the Artin-Tate book and another question?

This is probably well-known to the experts or many number theory students, but since I am just starting to learn class field theory (with some basic knowledge of algebraic numbers, e.g. the 3 basic ...
11
votes
1answer
332 views

Tate's Thesis: in what sense is Tate's Theorem 4.2.1 the Riemann-Roch theorem for curves?

I am reading Tate's Thesis. Tate derives a theorem which he calls "the number-theoretic analogue of the Riemann-Roch theorem" from an abstract Poisson summation formula. I am accustomed to thinking of ...
11
votes
1answer
941 views

How does one graduate from Hecke Operators to Hecke Correspondences?

I've read (skimmed heartily) basic books on the topic of modular forms. (The last being Silverman's Advanced Topics in the Arithmetic of Elliptic Curves.) I strive for an understanding which is as ...
11
votes
2answers
520 views

Eisenstein and Quadratic Reciprocity as a consequence of Artin Reciprocity, and Composition of Reciprocity Laws

Question 1: I've heard that Eisenstein and Quadratic Reciprocity can be derived from the Artin Reciprocity by applying it to certain field extensions. But I haven't seen on any reference an explicit ...
11
votes
2answers
134 views

Conceptual reason why a quadratic field has $-1$ as a norm if and only if it is a subfield of a $\mathbb{Z}/4$ extension?

I have convinced myself in a computation-heavy, ad-hoc way that a quadratic extension $K$ of $\mathbb{Q}$ occurs as the unique quadratic subfield of a $\mathbb{Z}/4$-extension of $\mathbb{Q}$ if and ...
11
votes
1answer
444 views

what is a “dévissage” argument?

In Serre's "Local Fields" (Chapter 2, section 2, proposition 3) he proves something about field extensions which he breaks into parts: first he dealt with the separable case, and then with the ...
11
votes
1answer
252 views

If $u=\frac{1+\sqrt5}{2}$, then $u^3=2+\sqrt5$, but $u^2=\frac{3+\sqrt5}{2}$. What is the group that measures the power that makes units look nice?

For $A=\mathbb{Z}[x]/(f)$ with quotient field $K$ and ring of integers $B$, does $U(B)/U(A)$ have a name? For instance $u = \tfrac{1+\sqrt{5}}{2}$ is a unit in $\mathbb{Q}[\sqrt{5}]$, but neither ...
11
votes
1answer
118 views

If $p\equiv 1,9 \pmod{20}$ is a prime number, then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$.

I have to prove that if $p\equiv 1,9 \pmod{20}$ is a prime number then there exist $a,b\in\mathbb{Z}$ such that $p=a^{2}+5b^{2}$. I consider the quadratic field $\mathbb{Q}(\sqrt{-5})$, with ring of ...
11
votes
0answers
24 views

Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$.

We consider an analogue of the Dirichlet $L$-function in $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, ...
11
votes
0answers
168 views

CFT via Brauer groups vs via ideles

I am interested in the relationship between the following two versions of CFT: Version 1: (Brauer Group Version) Let $K$ be a number field. One constructs, for every finite place $v$ of $K$, a map ...
10
votes
3answers
1k views

Enlightening proof that the algebraic numbers form a field

The proof I'm familiar with that the algebraic numbers $\mathbb A$ form a field uses the fact that the resultant of two polynomials $p,q\in\mathbb Q[x]$ satisfies the following properties: It is $0$ ...
10
votes
5answers
715 views

Motivation behind the definition of ideal class group

Let $O$ be a Dedekind domain and $K$ its field of fractions. The set of all fractional ideals of $K$ form a group, the ideal group $J_K$ of K. The fractional principal ideals $(a) = aO, a \in K^*$, ...
10
votes
5answers
211 views

Which of these two factorizations of $5$ in $\mathcal{O}_{\mathbb{Q}(\sqrt{29})}$ is more valid?

$$5 = (-1) \left( \frac{3 - \sqrt{29}}{2} \right) \left( \frac{3 + \sqrt{29}}{2} \right)$$ or $$5 = \left( \frac{7 - \sqrt{29}}{2} \right) \left( \frac{7 + \sqrt{29}}{2} \right)?$$ ...
10
votes
5answers
498 views

Are numbers of the form $n^2+n+17$ always prime

Someone claimed that a number, multiplied by the number after it plus 17 is always prime, and showed several cases. I'm not a complete amateur in Number Theory, and I know that $17*18+17=17*19$, so it ...
10
votes
3answers
1k views

How many elements in a number field of a given norm?

Let $K$ be a number field, with ring of integers $\mathcal{O}_k$. For $x\in \mathcal{O}_K$, let $f(x) = |N_{K/\mathbb{Q}}(x)|$, the (usual) absolute value of the norm of $x$ over $\mathbb{Q}$. ...
10
votes
2answers
645 views

Factoring a number of complex integers?

Say you are given a number (ex: $377$) and you express it in a form that allows you to factor it over the complex integers: Notice, $377 = 16^2 + 11^2$ Thus: $(16 + 11i) $ and $(16 - 11i)$ Are ...
10
votes
2answers
485 views

In what senses are archimedean places infinite?

According to Bjorn Poonen's notes here (§2.6), we should add the archimedean places of a number field $K$ to $\operatorname{Spec} \mathscr{O}_K$ in order to get a good analogy with smooth projective ...
10
votes
2answers
2k views

Relationship between Cyclotomic and Quadratic fields

Since $\varphi(p)=p-1$ is even the p'th cyclotomic field contains some quadratic field. Hecke says that in fact every quadratic field is contained by some cyclotomic field. What is this theorem ...
10
votes
2answers
486 views

Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$

1) Suppose $a \in \mathbb{R}$, and $\exists n \in \mathbb{N}$, that $a^n \in \mathbb{Q}$, and $(a + 1)^n \in \mathbb{Q}$. Prove: Is it true that $a \in \mathbb{Q}$? 2) Suppose $a \in \mathbb{C}$, ...
10
votes
1answer
1k views

Euler's remarkable prime-producing polynomial and quadratic UFDs

Good example of a polynomial which produces a finite number of primes is: $$x^{2}+x+41$$ which produces primes for every integer $ 0 \leq x \leq 39$. In a paper H. Stark proves the following result: ...
10
votes
1answer
257 views

What does the German word “Zerlegungsautomorphismus” translate to?

I would like to know if any of our German friends can translate that word for me? Zerlegung is factorisation isn't it? So what is factorisation automorphism? This is taken from Deuring's paper “Die ...
10
votes
2answers
865 views

Ideal class group of a one-dimensional Noetherian domain

Let $A$ be a one-dimensional Noetherian domain. Let $K$ be its field of fractions. Let $B$ be the integral closure of $A$ in $K$. Suppose $B$ is finitely generated $A$-module. It is well-known that B ...
10
votes
3answers
260 views

Does $\mathbb{F}_p((X))$ has only finitely many extension of a given degree?

We know that $\mathbb{Q}_p$ has only finitely many extensions of a given degree in its algebraic closure. Is it the same for $\mathbb{F}_p((X))$?
10
votes
2answers
301 views

Classifying splittings of primes?

I was wondering what general strategies are available to figure out if a prime splits? I know for quadratic extensions there aren't too many possibilities for how a prime can split, so we essentially ...
10
votes
1answer
1k views

What's a BETTER way to see the Gauss's composition law for binary quadratic forms?

There is a group structure of binary quadratic forms of given discriminant $d$: Let $[f]=[(a,b,c)], [f']=[(a',b',c')],$ where $d=b^2-4 a c=b'^2-4 a' c'.$ The composition of two binary quadratic ...