Norm of the different ideal
ID: norm-of-the-different-ideal
The relative discriminant of a finite extension of number fields is the relative norm of a fractional ideal applied to its different ideal. Consequently, at ,where is the residue-field degree and is the different exponent. Over , .
New to topics? Read the docs here!