ideal class group is finite
We give two proofs of the finiteness of the class group, one using the bound provided by Minkowski’s theorem (http://planetmath.org/MinkowskisConstant) and a second, more elementary, proof that does not provide the same computational benefits as Minkowski’s bound does. Both proofs rely on the following lemma:
If is an algebraic extension of and , then there are only a finite number of ideals of norm .
The norm of a prime ideal of lying over a rational prime is , where is the residue field degree , and there are at most prime ideals lying over any given rational prime. There are thus only a finite number of possibilities for ideals with norm - simply factor into a product of prime powers and note that each prime power must correspond to one of a finite number of possibilities.
The finiteness of the class group now follows trivially from Minkowski’s theorem:
If is an algebraic extension of , then the class group of , denoted , is finite.
Minkowski’s theorem guarantees that each ideal class contains a representative integral ideal whose norm is bounded by a constant depending only on the field, and the lemma shows that there are only a finite number of integral ideals with norm less than that constant.
Minkowski’s theorem gives enough information about the size of the class group to be computationally useful in some cases (see the topic on using Minkowski’s constant to find a class number). It does, however, require quite a bit of machinery. To see in a more elementary way that is finite, one can proceed as follows:
Proof. (alternate proof of theorem)
By the lemma, it suffices to show that there is some constant , depending only on , such that every class in has a representative with . For , denote by the linear map left multiplication by , and let be a basis of as a -module (where ). Then if , it follows that
is a polynomial of total degree at most in the , whose coefficients are functions of the and thus depend only on (and not on ). Let be the sum of the magnitude of those coefficients.
Let be a class in and let be a representative of the class . Consider . The cardinality of is strictly greater than , while . So by the pigenhole principle, two distinct elements of are in the same -coset of . Taking their difference, we get an element , where not all the are zero, and .
so that .
|Title||ideal class group is finite|
|Date of creation||2013-03-22 17:57:23|
|Last modified on||2013-03-22 17:57:23|
|Last modified by||rm50 (10146)|