We give sharp, explicit estimates for linear forms in two logarithms, simultaneously for several non-Archimedean valuations. We present applications to explicit lower bounds for the fractional part of powers of rational numbers, and to the Diophantine equation ( x n − 1)/( x − 1) = y q .
No takes yet. Share an insight, caveat, or question.
Yann Bugeaud (2002) studied this question.