Generalization of a Pohst's inequality

From MaRDI portal
Publication:2043472



Abstract: Let Pn(y1,ldots,yn):=prod1leqi<jleqnleft(1−fracyiyjight) and Pn:=sup(y1,ldots,yn)Pn(y1,ldots,yn) where the supremum is taken over the n-ples (y1,ldots,yn) of real numbers satisfying 0<|y1|<|y2|<cdots<|yn|. We prove that Pnleq2lfloorn/2floor for every n, i.e., we extend to all n the bound that Pohst proved for nleq11. As a consequence, the bound for the absolute discriminant of a totally real field in terms of its regulator is now proved for every degree of the field.












This page was built for publication: Generalization of a Pohst's inequality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2043472)