Absolute logarithmic Weil height
ID: absolute-logarithmic-weil-height
The Absolute logarithmic Weil height is the logarithm of the absolute multiplicative height of an algebraic number. If its primitive integer minimal polynomial is , thenThus it is the logarithm of the Mahler measure divided by the degree.
For a reduced rational , . It satisfies for nonzero and integral . Unlike a single absolute value, it records denominator complexity and the behavior of all conjugates, making it suitable for arithmetic bounds that should not depend on a chosen embedding.
New to topics? Read the docs here!