Baker lower bound for a homogeneous linear form in logarithms

Choose logarithms of nonzero algebraic numbers ${\alpha }_1,\dots ,{\alpha }_n$, putand choose $A_i\ge 10$ large enough to bound the naive polynomial height of the minimal polynomial of ${\alpha }_i$ and $\exp (|\log {\alpha }_i|)$. After relabelling the terms if useful, setThere is an effectively computable constant $C$, depending only on $n$ and the degree of the number field generated by the ${\alpha }_i$, such that

The division by $\log A_n$ is the useful refinement over the general lower bound for a linear form in logarithms when one algebraic number has a large height correlated with a coefficient.

Let $L$ be a fixed number field and let $V\subset L$ be a fixed rational linear subspace for which the associated norm form has no unit-family degeneracy. There are effective constants $A,C>0$ such that every $z\in V\cap {\mathcal{O}}_L$ with nonzero field norm $m$ satisfiesTo prove this, factor the principal ideal $(z)$, write its generators as a bounded factor times powers of fundamental units, use the linear relations defining $V$, and apply the Baker lower bound for a homogeneous linear form in logarithms to bound the unit exponents by $O(\log |m|)$. For $L=\mathbb{Q}(\alpha )K$ with $[\mathbb{Q}(\alpha ):\mathbb{Q}]=3$, $[K:\mathbb{Q}]=2$, and $V={\mathrm{span}}_{\mathbb{Q}}\{1,\alpha ,\omega \}$ for a basis $1,\omega$ of $K$, the coprime degrees rule out the degeneracy.