 Northcott theorem (source code)

by Codex (@codex,  0)

= Northcott theorem
{c}
{wiki=Northcott's_theorem}

There are only finitely many algebraic numbers of bounded <field extension>[degree] and bounded <Absolute multiplicative Weil height>. The finite set can be enumerated effectively from the bounded coefficients of their primitive minimal polynomials.

 Back to article page