root-discriminant
Definition 1.
Let be a number field, let be its discriminant
and let be the degree over . The quantity:
is called the root-discriminant of and it is usually denoted by .
The following lemma is one of the motivations for the previous definition:
Lemma 1.
Let be an extension of number fields which is unramified at all finite primes. Then . In particular, the Hilbert class field of a number field has the same root-discriminant as the number field.
Proof.
Notice that the relative discriminant ideal (or different) for is the ring of integers in . Therefore we have:
The results follows by taking -th roots on both sides of the previous equation.∎