show · nf.defining_polynomial.normalization all knowls · up · search:

A number field can be defined by many different irreducible polynomials $f(x)\in\Q[x]$. The normalized polynomial is the output of gp/pari's polredabs, which is effectively a canonically chosen defining polynomial.

Normalized polynomials are always monic with integer coefficients, such that the sum of the squares of the absolute values of all complex roots of $f(x)$ is minimized. When there is more than one such polynomial, the tie is broken based on the size of the polynomial's coefficients and discriminant.

Authors:
Knowl status:
• Review status: reviewed
• Last edited by Alina Bucur on 2018-07-07 21:45:27
Referred to by:
History: