Relative discriminant (${\mathfrak{d}}_{L/K}$)

The relative discriminant ${\mathfrak{d}}_{L/K}$ of a finite extension of number fields is the discriminant ideal of ${\mathcal{O}}_L$ over ${\mathcal{O}}_K$. It satisfiesand its prime divisors are exactly the ramified finite primes.