Small archimedean value of a large unit
ID: small-archimedean-value-of-a-large-unit
Write in a fixed fundamental-unit basis. The logarithmic embedding is injective on the exponent lattice and lands in the weighted sum-zero hyperplane. Norm equivalence gives a logarithmic coordinate of size at least a constant times ; the weighted sum-zero relation then forces a negative coordinate of comparable size. There are only finitely many torsion choices. This exponential smallness, together with and a linear form in logarithms of algebraic numbers for the nearby value , bounds the unit exponents effectively.
New to topics? Read the docs here!