Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

92
votes
1answer
7k views

What's the significance of Tate's thesis?

I've just sat through several lectures that proved most of the results in Tate's thesis: the self-duality of the adeles, the construction of "zeta functions" by integration, and the proof of the ...
58
votes
4answers
4k views

Fibonacci number that ends with 2014 zeros?

This problem is giving me the hardest time: Prove or disprove that there is a Fibonacci number that ends with 2014 zeros. I tried mathematical induction (for stronger statement that claims that ...
52
votes
5answers
5k views

Are all algebraic integers with absolute value 1 roots of unity?

If we have an algebraic number α with (complex) absolute value 1, it does not follow that α is a root of unity (i.e., that αn=1 for some n). For example, (3/5 + 4/5 i) is not a root of ...
46
votes
5answers
2k views

Golden Number Theory

The Gaussian $\mathbb{Z}[i]$ and Eisenstein $\mathbb{Z}[\omega]$ integers have been used to solve some diophantine equations. I have never seen any examples of the golden integers ...
45
votes
3answers
1k views
39
votes
4answers
8k views

The Langlands program for beginners

Assuming that a person has taken standard undergraduate math courses (algebra, analysis, point-set topology), what other things he must know before he can understand the Langlands program and its ...
35
votes
3answers
768 views

The resemblance between Mordell's theorem and Dirichlet's unit theorem

The first one states that if $E/\mathbf Q$ is an elliptic curve, then $E(\mathbf Q)$ is a finitely generated abelian group. If $K/\mathbf Q$ is a number field, Dirichlet's theorem says (among other ...
33
votes
3answers
3k views

Sums of roots of unity

If the integral linear combination of some $n$th roots of unity has magnitude 1, does this necessarily imply that this linear combination is some root of unity as well? More precisely, Let ...
33
votes
0answers
614 views

Serge Lang Never Explains Anything Round II

I'm reading the second edition of Lang, Algebraic Number Theory, page 221. I quote: Let $F$ be a local field, i.e. the completion of a number field at an absolute value. Let $L$ be an abelian ...
31
votes
1answer
685 views

Is my field algebraically closed?

For a field $L$, let $\widetilde L$ be the splitting field of all irreducible polynomials over $L$ having prime-power degree. Question: Do we have $\widetilde{\mathbf Q}=\overline{\mathbf Q}$? ...
30
votes
1answer
447 views

Are elementary and generalized hypergeometric functions sufficient to express all algebraic numbers?

Are (integers) plus (elementary functions) plus (generalized hypergeometric functions) sufficient to represent any algebraic number? For example, the real algebraic number $\alpha\in(-1,0)$ ...
30
votes
6answers
636 views

Other interesting consequences of $d=163$?

Question: Any other interesting consequences of $d=163$ having class number $h(-d)=1$ aside from the list below? Let $\tau = \tfrac{1+\sqrt{-163}}{2}$. We have (see notes at end of list), ...
29
votes
4answers
1k views

Fermat's Last Theorem and Kummer's Objection

In 1847 Lamé had announced that he had proven Fermat's Last Theorem. This "proof" was based on the unique factorization in $\mathbb{Z}[e^{2\pi i/p}]$. However, Kummer, proved that when $p=23$ we do ...
29
votes
1answer
2k views

Relation between the Dedekind Zeta Function and Quadratic Reciprocity

I was trying to learn a little about the Dedekind zeta function. The first place I looked at was obviously the Wikipedia article above. So my question comes from a sentence by the end of the article ...
29
votes
4answers
971 views

Can a Mersenne number ever be a Carmichael number?

Can a Mersenne number ever be a Carmichael number? More specifically, can a composite number $m$ of the form $2^n-1$ ever pass the test: $a^{m-1} \equiv 1 \mod m$ for all intergers $a >1$ ...
27
votes
6answers
2k views

Easy way to show that $\mathbb{Z}[\sqrt[3]{2}]$ is the ring of integers of $\mathbb{Q}[\sqrt[3]{2}]$

This seems to be one of those tricky examples. I only know one proof which is quite complicated and follows by localizing $\mathbb{Z}[\sqrt[3]{2}]$ at different primes and then showing it's a DVR. ...
26
votes
1answer
869 views

Are Primes a Self-Fulfilling Prophecy?

Assume the following process: Let's start with the set of primes $\{p_k\}$ Then we use the Euler product being equivalent to Riemann's Zeta function $$ \prod_{p \text{ prime}} \frac{1}{1-p^{-s}} = ...
25
votes
2answers
577 views

Algebraic numbers that cannot be expressed using integers and elementary functions

Can we give an explicit${^*}$ example of a real algebraic number that provably cannot be represented as an expression built from integers and elementary${^{**}}$ functions only? ${^*}$ explicit ...
24
votes
1answer
301 views

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$?

Does there exist two non-constant polynomials $f(x),g(x)\in\mathbb Z[x]$ such that for all integers $m,n$, gcd$(f(m),g(n))=1$? I think there are no such polynomials, but how to prove?
23
votes
4answers
793 views

Why is it “easier” to work with function fields than with algebraic number fields?

I just bought a copy of Jürgen Neukirch's book Algebraic Number Theory. While browsing through it I found a section titled § 14. Function Fields in chapter I. In it the author describes ...
23
votes
2answers
896 views

Why is it harder to prove which integers are sums of three squares rather than sums of two squares or four squares?

Background: Let $n$ be an integer and let $p$ be a prime. If $p^{e} || n$, we write $v_{p}(n) = e$. A natural number $n$ is a sum of two integer squares if and only if for each prime $p \equiv 3 \pmod ...
23
votes
1answer
418 views

Intuition for Class Numbers

So I've been thinking about the analytic class number formula lately, and class numbers in general and I'm trying to develop a good intuition for them. My basic question, which may be too ...
23
votes
2answers
453 views

Are irrational numbers order-isomorphic to real transcendental numbers?

I know that rational numbers are order-isomorphic to real algebraic numbers. Does it imply that irrational numbers are order-isomorphic to real transcendental numbers? I know that the order type of ...
22
votes
1answer
688 views

Connectedness of the spectrum of a tensor product.

Let $A$, $B$ be finite free $\mathbb{Z}$-algebras such that $\operatorname{Spec}(A)$ and $\operatorname{Spec}(B)$ are both connected. Is $\operatorname{Spec}(A\otimes_{\mathbb{Z}} B)$ connected?
22
votes
1answer
285 views

Homogeneous forms of degree $n$ in $n$ indeterminates over $\mathbb{Z}$: which ones come from the norm of a number field?

Is there a characterization of the homogeneous forms of degree $n$ in $n$ indeterminates over $\mathbb{Z}$ which occur as the norm of some algebraic number ring with a suitable $\mathbb{Z}$-basis? ...
21
votes
5answers
1k views

Elementary results from Algebraic Number Theory

The purpose of this question is to motivate me to study algebraic number theory. Let me explain. My motivation for studying number theory is to learn about beautiful results with simple, accessible ...
21
votes
1answer
623 views

Why did Gauss think the reciprocity law so important in number theory?

Gauss's Disquitiones Arithmeticae centers around the quadratic reciprocity law. It seems that he developed the genus theory of integral binary quadratic forms to find a natural proof of the quadratic ...
21
votes
1answer
680 views

Ring of integers in p-adic field

How do we compute the ring of integers in a finite extension of $\mathbb{Q}_p$? Say, for example, in $\mathbb{Q}_p(i)$. Over $\mathbb{Q}$ we would guess $\mathbb{Z}[i]$, compute the discriminant of ...
20
votes
2answers
1k views

Unramification of a prime ideal in an order of a finite Galois extension of an algebraic number field

Is the following proposition true? If yes, how would you prove this? Proposition Let $K$ be an algebraic number field. Let $L/K$ be a finite Galois extension. Let $A$ and $B$ be the rings of ...
20
votes
1answer
878 views

Brave New Number Theory

I suppose this is an extremely general question, so I apologize, and perhaps it should be deleted. On the other hand it's an awesome question. Is it clear exactly how much (assumedly algebraic) ...
20
votes
1answer
333 views

Serge Lang never explains anything

On page 149 of Algebraic Number Theory by Serge Lang, I'm trying to understand why the inclusion $$k^{\ast}N_k^K(J_K) \cap J_c \subseteq \psi^{-1}(P_c \mathfrak N(c))$$ is true. I've been trying for ...
20
votes
0answers
3k views

What are some strong algebraic number theory PhD programs? [closed]

I am currently applying for PhD programs in the US. My main interests are number theory and algebra. More specifically, I am interested in algebraic number theory (number fields, Galois groups, ...
18
votes
2answers
1k views

Why do we use this definition of “algebraic integer”?

A number is an "algebraic integer" if it is the root to a monic polynomial with integer coefficients. Artin says (Algebra, p. 411): The concept of algebraic integer was one of the most important ...
18
votes
3answers
327 views

What sort of ring is the integral closure of $\mathbb{Z}$ in $\overline{\mathbb{Q}}$?

I begin losing intuition when I start dealing with infinitely generated fields over $\mathbb{Q}$... The naive guess is that it is noetherian of krull dimension 1. Is this correct? A related question ...
18
votes
1answer
740 views

Are $\pi$ and $e$ algebraically independent?

Update Edit : Title of this question formerly was "Is there a polynomial relation between $e$ and $\pi$?" Is there a polynomial relation (with algebraic numbers as coefficients) between $e$ or $\pi$ ...
18
votes
2answers
347 views

Without using Heegner-Stark-Baker, $\mathbb{Q}(\sqrt{-11})$ has class number $1$.

Prove that $\mathbb{Q}(\sqrt{-11})$ is of class number $1$. I have found that the ideal $(2)$ of the integer ring $\mathbb{Z}[(1 + \sqrt{-11})/2]$ of $\mathbb{Q}(\sqrt{-11})$ is a prime ideal. ...
18
votes
1answer
396 views

Class group and factorizations

There is a common characterization of the class group ${\rm Cl}(R)$ as a kind of measure of how badly factorization fails to be unique. The most obvious justification for this sentiment is that the ...
18
votes
0answers
420 views

Which number fields can appear as subfields of a finite-dimensional division algebra over Q with center Q?

I have some idle questions about what's known about finite-dimensional division algebras over $\mathbb{Q}$ (thought of as "noncommutative number fields"). To keep the discussion focused, let's ...
17
votes
3answers
625 views

Can a prime in a Dedekind domain be contained in the union of the other prime ideals?

Suppose $R$ is a Dedekind domain with a infinite number of prime ideals. Let $P$ be one of the nonzero prime ideals, and let $U$ be the union of all the other prime ideals except $P$. Is it possible ...
17
votes
3answers
330 views

How to prove summation, multiplication, subtraction of two roots of $1+x+\frac{x^2}{2!}+\cdots+\frac{x^p}{p!}=0$ aren't rationals?

Assume $a$, $b$ are distinct roots of the following equation: $$1+x+\frac{x^2}{2!}+\cdots+\frac{x^p}{p!}=0,$$ where $p$ is a prime number and $p \gt 2$. How to prove that $ab$, $a+b$, $a-b$ are not ...
17
votes
2answers
251 views

Enumerating Bianchi circles

Background: Katherine Stange describes Schmidt arrangements in "Visualising the arithmetic of imaginary quadratic fields", arXiv:1410.0417. Given an imaginary quadratic field $K$, we study the Bianchi ...
17
votes
1answer
422 views

Equilateral polygon in a plane

Let $n$ be a positive integer. Suppose we have an equilateral polygon in the Euclidean plane with the property that all angles except possibly two consecutive ones are an integral multiple of ...
16
votes
5answers
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.
16
votes
2answers
453 views

Galois Group of the Hilbert Class Field

Let $K/\mathbb{Q}$ be a number field with Galois group G and let $L/K$ be the Hilbert class field of $K.$ It is easy to show that $L$ is Galois over $\mathbb{Q}$ and I am interested in knowing this ...
16
votes
5answers
233 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\\ ...
16
votes
2answers
451 views

What would change in mathematics if we knew $\pi+e$ is rational?

It is well known that there's no conclusion now whether $\pi+e$ is rational or not. What would happen if we knew that $\pi+e$ is rational? Specifically, are there related open problems that would be ...
15
votes
5answers
243 views

Is 'Algebraic Number Theory' the study of the theory of algebraic numbers, or is it the study of the theory of numbers from an algebraic viewpoint?

Is Algebraic Number Theory the study of the theory of algebraic numbers? Or is it the study of the theory of numbers from an algebraic viewpoint? Or is it both? I know I can just find a wiki article ...
15
votes
3answers
754 views

Finite abelian groups as class groups

Is it known whether every finite abelian group is isomorphic to the ideal class group of the ring of integers in some number field? If so, is it still true if we consider only imaginary quadratic ...
15
votes
3answers
907 views

What is the intuition behind Gauss sums?

Let $ \chi $ be a character on the field $ F_p $, and fix some $a \in F_p $. We define a Gauss sum to be: $g_a (\chi) = \sum_{t\in F_p}\chi(t)\zeta^{at}$ where $\zeta$ is a primitive $p^{th}$ root of ...
15
votes
2answers
896 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 ...