Height bound for a polynomial evaluation
ID: height-bound-for-a-polynomial-evaluation
Let have degree at most in . Thenwhenever the quotient is defined. At each non-Archimedean place, the integral coefficients contribute at most one; at the Archimedean places, the triangle inequality contributes the polynomial length. Multiplying these local estimates and using the product formula gives the claim.
New to topics? Read the docs here!