On the ideal discriminant of some relative pure extensions

Abstract

Let L = K(α) be an extension of a number field K where α satisfies the monic irreducible polynomial P(X) = Xp −a ∈ R[X] of prime degree p and such that a is pth power free in R := OK (the ring of integers of K). The purpose of this paper is to give an explicit formula for the ideal discriminant DL/K of L over K involving only the prime ideals dividing the principal ideals aR and pR. As an illustration, we compute the discriminant DL/K of a family of septic and quintic pure fields over quadratic fields. Hence a slightly simpler computation of discriminant DL/K is obtained.