In this installment of our series on algebraic number theory, we’re going to do two things. First, we’ll look at how a prime ideal of one ring of algebraic integers factors into multiple prime ideals in the ring of integers of a larger field. This is an absolutely central concern of the theory. We’ll look at some simple examples. Second, we’ll make some general definitions that are used to describe this factorization. These definitions will be needed in most of what follows.

In order to understand what’s discussed here, you’ll need to recall a great deal of what’s been discussed before. You can find a list of all previous installments here if you need to review.

Suppose E⊇F is a field extension and O_{E}, O_{F} are the corresponding rings of integers. We have O_{F} ⊆ O_{E}, and if I is any ideal of O_{F} then of course I ⊆ O_{E}. I isn’t an ideal of O_{E}, because it isn’t closed under multiplication by elements of O_{E}, but I⋅O_{E} *is* an ideal of O_{E}.

If P is a prime ideal of O_{F}, we have no good reason to expect that P⋅O_{E} is prime in O_{E}, and in fact it generally is not. For example, let’s look at quadratic extensions of ℚ. So suppose F=ℚ, d is a square-free integer, positive or negative, and d ≠ 0 or 1. Let p∈ℤ be a positive prime. We can ask whether (the ideal corresponding to) p is still a prime ideal of the ring of integers of E=ℚ(√d). That is, we can ask what happens to the prime, principal ideal (p) in O_{ℚ(√d)}. (With principal ideals, we can usually get away without specifying what ring they are contained in.)

Consider the Diophantine equation ±p=a^{2}-b^{2}d. If we can solve it by finding a,b∈ℤ that make the equation true, then we can verify that we have a factorization of the ideal (p) in O_{ℚ(√d)} expressed by the equation of principal ideals (p)=(a+b√d)(a-b√d). (Proof: p∈(a+b√d)(a-b√d) since ±p=a^{2}-b^{2}d, so (p)⊆(a+b√d)(a-b√d). But by the definition of a product of ideals, all members of (a+b√d)(a-b√d) are a product of an element of O_{ℚ(√d)} and the number [a+b√d][a-b√d]=±p, and so (a+b√d)(a-b√d)⊆(p).)

So solutions of a certain Diophantine equation tell us about how an ideal (p) of ℤ factors in the integers of a quadratic extension. And in fact, if the equation can be solved, then the prime ideal (p) of ℤ is *not* also a prime ideal of O_{ℚ(√d)}. Is there a converse, that is, can we infer solutions of a Diophantine equation from how ideals factor in extensions? Unfortunately, the situation is more complicated. For instance, if O_{ℚ(√d)} is not a PID, then it is possible for (p) to not be a prime ideal of O_{ℚ(√d)}, yet there may be no solutions of ±p=a^{2}-b^{2}d. One of the reasons that algebraic number theory is useful and interesting is that it helps get a handle on the complications, as we shall see.

For simplicity, suppose d≡3 (mod 4). Then we have remarked that the integers of ℚ(√d) are given by O_{ℚ(√d)} = {a+b√d | a,b∈ℤ}. Suppose we could find some integer α∈ℚ(√d) such that the norm N_{ℚ(√d)/ℚ}α = ±p. (For short, write Nα for the norm.) So if α=a+b√d with a,b∈ℤ, we have ±p=Nα=a^{2}-b^{2}d. When this happens, we can write ±p=(a+b√d)(a-b√d). Since Nα is a prime (in ℤ), α=a+b√d must be a prime of O_{ℚ(√d)} – and p is *not* a prime in that ring. To make things really easy for showing examples, let d=3. Trying a few values for a and b, let α=4+√3, so Nα=13=(4+√3)(4-√3). Or if α=8+5√3, then Nα=-11=(8+5√3)(8-5√3). So both 11 and 13 are not primes in O_{ℚ(√3)}.

This translates directly to a factorization of the principal ideal (13) in O_{ℚ(√d)}, namely (13)=(4+√3)(4-√3). Clearly (13) isn’t a prime ideal, since it has two distinct nontrivial prime factors. (11)=(-11) is likewise not a prime ideal. (ℚ(√3) happens to be a PID, but that isn’t crucial here.) In general, then, if p∈ℤ is a prime, the principal ideal (p) is a prime ideal of ℤ, but for any square-free d∈ℤ (with d≠0,1), (p) **splits** into the product of two distinct ideals in the integers of the quadratic extension ℚ(√d) if we can find a,b∈ℤ, with a≠0, such that ±p = N(a±b√d) = a^{2}-b^{2}q. In that case, we have a factorization of (p) in O_{ℚ(√d)} into principal ideals such that (p)=(a+b√d)(a-b√d), and the factors are prime ideals. If a≠0, these will be distinct ideals. (Since p is assumed to be prime in ℤ, if a=0, we must have b=±1, and the two ideals will be the same. In this special case, one actually says that p “ramifies” in the extension field.)

Conversely, what if, for the given d, there are no integers a,b∈ℤ that satisfy the equation ±p = a^{2}-b^{2}d – can we conclude that p doesn’t split in O_{ℚ(√d)}? Actually, no, we can’t in general. We could if O_{ℚ(√d)} happens to be a PID, since, because d≡3 (mod 4), the factor ideals would have to have the form (a±b√d) for some a,b∈ℤ, which would yield a solution of the equation, contrary to supposition. (And remember, by the general theory of Dedekind rings, the same is true if O_{ℚ(√d)} has unique factorization, since a ring of integers of a field is a Dedekind ring, and therefore is a PID, if and only if it has unique factorization.)

However, and this is a major “however”, if O_{ℚ(√d)} isn’t a PID, or equivalently if it doesn’t have unique factorization of elements, then we could have a factorization of ideals where (p)=AB into prime ideals that are not principal. (The prime ideal factors themselves are uniquely determined, which, do not forget, is always true in Dedekind rings.) In that case, the factorization doesn’t necessary give us a solution of ±p = a^{2}-b^{2}q. Thus it’s possible to have primes p where (p) splits in O_{ℚ(√d)} even if the equation has no integer solutions. We might even have A=B, in which case (p) ramifies.

So one key thing this discussion illustrates is that there is a close, though not entirely simple, connection between solving simple Diophantine equations (like ±p=a^{2}-b^{2}q) and determining how prime ideals of a subfield split into prime ideals in an extension field. Further, these equations arise from asking what numbers can occur as norms of some integer of an extension field. But the situation is more complicated if the ring of integers of the extension field doesn’t have unique factorization (or equivalently, if it’s not a principal ideal domain). This is another reason uniqueness of factorization (or the lack of it) is rather important.

To give some idea of where this leads, we’ll just say that **class field theory**, which we will be coming to shortly, originated in trying to deal with such questions, in the form of saying someting about how prime ideals split in extension fields, and also about when nonprincipal ideals can become principal ideals in extension fields. It helps us deal with the complexities that result from failure of unique factorization of numbers, and from the equalivalent untidiness of having ideals that are not principal ideals.

But before proceeding, let’s establish some general conventions and terminology. The terminology will be used to keep the upcoming discussion succinct, so unfortunately you’ll need to memorize the details or else plan to refer back here if you want to follow beyond this point. As a reward, we’ll be able to state some fairly simple rules for when primes of ℤ do or do not split in extension fields of ℚ.

Let’s set out the terminology to describe the general possibilities for how prime ideals split in arbitrary extension fields. We continue to suppose E⊇F is a finite extension, of degree n=[E:F], not necessarily Galois. Let P be a prime ideal of O_{F}. P⋅O_{E} is an ideal of O_{E}, so it factors in a unique way as a product of powers of distinct ideals that are prime in O_{E}:

P⋅O

_{E}= ∏_{1≤j≤g}Q_{j}^{ej}

We say that each Q_{j} is a prime **lying above** P in E. Since every Q_{j} divides P, each one contains P: Q_{j}⊇P. In fact, P=Q_{j}∩O_{F} for each j.

If we start with a prime ideal P of the integers of an extension of ℚ, then P∩ℤ is a prime ideal (p) of ℤ for some rational prime p, and P lies above (p). Given the factorization of P shown above, each Q_{j} also lies above (p). By general commutative ring theory, since Q_{j} is a prime of O_{E}, the quotient ring O_{E}/Q_{j} is a finite field 𝔽_{q} where q is some power of p. (In Dedekind domains, any prime ideal is a maximal ideal, and for any commutative ring R with identity, the quotient of R by a maximal ideal is a field.) Likewise, since P is prime in O_{F}, O_{F}/P is a finite field 𝔽_{q′} where q′ is also a power of p (and divides q). Each field O_{E}/Q_{j} is a finite extension of the field O_{F}/P, and we denote its degree by f_{j}. Finally, it turns out that P⋅O_{E} is a vector space of degree n=[E:F] over the field O_{F}/P.

These facts allow one to make the following definitions. The exponent e_{j} is called the **ramification index** of Q_{j} (relative to the given extension). The degree f_{j} is the **inertial degree** of Q_{j}. And g is called the **decomposition number**. All of these numbers are specific to how the prime P of O_{F} splits (or **decomposes**) in O_{E}. These numbers are the key data one wants to have for each prime P for any given extension E⊇F. A prime P is said to be **ramified** unless all exponents e_{j}=1, in which case it is **unramified**. Primes that ramify tend to make life more complicated, but fortunately there are only finitely many for any particular extension. All these numbers are related as follows:

n = [E:F] = ∑

_{1≤j≤g}e_{j}f_{j}

If P is unramified and all inertial degrees are 1, then we must have g=n, and one says that P **splits completely**. This is a fairly unusual circumstance. Although only finitely many primes are ramified, most have some inertia.

If E⊇F is a Galois extension, things are much simpler. In that case, all e_{j} have the same value, say e, and all f_{k} have the same value, say f. (This is because the Galois group G(E/F) acts on the various Q_{j} and permutes them among themselves. Since each σ∈G(E/F) is an automorphism, these ideals are all essentially alike.) Hence [E:F]=efg. So there are exactly g primes lying above P in E, and each has the same ramification index and inertial degree.

In the next installment we’ll, look at more examples involving quadratic extensions of ℤ, and state the rules for how primes split. The rules will turn out to be based on the classical law of “quadratic reciprocity”.

Tags: algebraic number theory, ring theory, ideal theory