Today’s post is a record of a very small observation from my time at PROMYS this summer. Below, by I mean a commutative ring regarded as an object in the opposite category .
Archive for the ‘algebraic number theory’ Category
In the previous post we showed that the splitting behavior of a rational prime in the ring of cyclotomic integers depends only on the residue class of . This is suggestive enough of quadratic reciprocity that now would be a good time to give a full proof.
The key result is the following fundamental observation.
Proposition: Let be an odd prime. Then contains .
Quadratic reciprocity has a function field version over finite fields which David Speyer explains the geometric meaning of in an old post. While this is very much in line with what we’ve been talking about, it’s a little over my head, so I’ll leave it for the interested reader to peruse.
If you haven’t seen them already, you might want to read John Baez’s week205 and Lieven le Bruyn’s series of posts on the subject of spectra. I especially recommend that you take a look at the picture of to which Lieven le Bruyn links before reading this post. John Baez’s introduction to week205 would probably also have served as a great introduction to this series before I started it:
There’s a widespread impression that number theory is about numbers, but I’d like to correct this, or at least supplement it. A large part of number theory – and by the far the coolest part, in my opinion – is about a strange sort of geometry. I don’t understand it very well, but that won’t prevent me from taking a crack at trying to explain it….
Before we talk about localization again, we need some examples of rings to localize. Recall that our proof of the description of also gives us a description of :
Theorem: consists of the ideals where is irreducible, and the maximal ideals where is prime and is irreducible in .
The upshot is that we can think of the set of primes of a ring of integers , where is a monic irreducible polynomial with integer coefficients, as an “algebraic curve” living in the “plane” , which is exactly what we’ll be doing today. (When isn’t monic, unfortunate things happen which we’ll discuss later.) We’ll then cover the case of actual algebraic curves next.
Probably the first important result in algebraic number theory is the following. Let be a finite field extension of . Let be the ring of algebraic integers in .
Theorem: The ideals of factor uniquely into prime ideals.
This is the “correct” generalization of the fact that , as well as some small extensions of it such as , have unique factorization of elements. My goal, in this next series of posts, is to gain some intuition about this result from a geometric perspective, wherein one thinks of a ring as the ring of functions on some space. Setting up this perspective will take some time, and I want to do it slowly. Let’s start with the following simple questions.
- What is the right notion of prime?
- Why look at ideals instead of elements?
In this series I will assume the reader is familiar with basic abstract algebra but may not have a strong intuition for it.