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!