Last time we examined Dedekind domains in finite separable field extensions. One advantage to using a separable field extension that we did not use is that we can base extend to a finite Galois extension, where as we see the action of Galois forces the splitting of primes to be very uniform.
First we define things. Let be a Dedekind Domain, the fraction field of , a Galois extension of with Galois group and the integral closure of in .
We know already that acts on and fixes and thus pointwise. This of course means that must act on , in fact fixing any monic minimal polynomial in which defines an element in . We also know that since can be viewed as being made up of ring automorphisms of , so if is a prime of then is a prime of for all . Additionally if then
We say, in light of these findings that acts on the primes of lying over . In fact as we show now, permutes the primes lying over .
Theorem: Let be as above. Then if there exists some such that .
Suppose not, so is not contained in for any , and so there exists which is not in any . Since is finite, is a finite set of primes lying over .Then we can use the Chinese Remainder Theorem to make this precise and find some such that and . By the second condition, for all , so . Since the identity automorphism is in , , but also note that is Galois invariant,so Thus we have a contradiction.
Corollary: If is the factorization of in a Galois extension, then , for all .
In the above expression, let and be a corresponding prime ideal. Thus . For any non-negative integer , implies . If then by the chinese remainder theorem we can select an element of in .
By definition, each but by the last theorem, for each there is some such that . But then implies that , so and each of the ‘s are equal.
For the ‘s we recall that . Thus if we can induce an isomorphism fixing we have the result.
To do this, consider the surjective composite map , which has kernel . Moreover if we precompose with the inclusion we get the quotient map , so is fixed pointwise. Thus we have our result, but we also have a notion of mapping (or at least the stabilizer of ) to the automorphism group of over .
Definition: The stabilizer of in is called the decomposition group
Theorem: Under the conditions set above, the field extension is normal and there is a surjective homomorphism .
Remark: I’ve said nothing about being Galois, because it need not be separable. Following Brian Conrad’s note we can construct degree Galois extensions with residue field extensions which are purely inseparable. For now I will resist the temptation to derail this post with any specifics and simply suggest the reader check out the note.
Independent of the rest of the theorem, the map described above is naturally multiplicative in and thus in the decomposition group so we have a homomorphism. To see that the field extension is normal, let and be the minimal polynomial for . If reduces to and is the minimal polynomial for then is a root of the equivalence class of polynomials . Thus divides . Since is normal, any polynomial in splits into a product of linear factors when viewed as an element of but a monic polynomial in can only have roots in an integral extension so splits into a product of linear factors when viewed as an element of , splits into a product of equivalence classes of linear factors and so considered as an element of splits into a product of linear factors. Thus is a normal extension of .
We are left to prove that our map is surjective. Consider the maximal separable subextension . Let be a primitive element for and correspond as before. Let , so that is a root of . Thus there is a root of , say such that .
Now here comes the tricky part: we can certainly find such that . What we’d like for a map here to make sense is that ANY representative of to be taken to a representative of . Thus if , we’d like , i.e. . It’s not clear that there is an overlap between and the subset of taking to . To show there is an overlap, we do what reasonable people do and change the problem into something easier!
Definition: The Decomposition Field of a prime in a Galois extension is the fixed field of the decomposition group at . By the fundamental theorem of Galois theory, is Galois over the decomposition field with Galois Group .
Theorem: Let . Then
- is a prime ideal in the integral closure of in
- for some integer .
- , in particular .
The first statement follows from the content of the post on finite separable extensions, in particular as a quick double containment argument shows.
The second statement follows from that fact that acts transitively on the primes above , but is one such prime and by definition the decomposition group fixes it.
If are representatives for the coset space , we already know that where . Then certainly are all primes of lying above . This is everything, as we see now. We know that where and since , . If then since is a finite separable extension of degree , but , so they must be equal. Thus . Then since are a set of coset representatives for , if , then (although it’s not always true that if that because is not always a normal subgroup of ).
Returning to the proof that we have a surjective map , we consider that if is as above, we could instead consider the monic minimal polynomial of over to be since . If we select a root from the roots of this new such that , it need only differ from our earlier by an element of . Now when we pick a such that we are guaranteed that so we have a surjective map.
Definition: The kernel of the map is called the inertia group . It is an easy observation that .
Thus we have a tower of groups
which by Galois Theory gives the following tower of fields
and the splitting of the primes occurs as expected(up to normality of the various subgroups), i.e. the splitting of a prime occurs between and the Decomposition Field, the residue field extension occurs between the Decomposition field and the Inertia field and the ramification occurs between the Inertia field and . For this reason the inertia group is sometimes called the 0-th ramification group and there exists a compatible theory of “higher ramification groups”.
An Application to Computing Galois Groups: Say is a finite field of size , then since , is also a finite field. Every finite extension of finite fields is Galois, and in fact cyclic, generated by the Frobenius map . Considering a lift of this element to the Decomposition group (for details, consult Milne’s algebraic number theory page 136) we get an cycle in .
This is particularly useful in the most commonly asked case, where is always finite. In fact if is generated by the roots of the monic separable polynomial , and does not divide the conductor of we can determine the cycle structure of from the factorizations of . An example showing how one might do this is found in Milne’s notes.
Next time, we examine number fields a little more closely, showing in particular that the Picard group is finite and some nice things about the group of units.