A $p$-adic lower bound for a linear form in logarithms

Abstract

Linear forms in logarithms have an important role in the theory of Diophantine equations. In this article, we prove explicit $p$-adic lower bounds for linear forms in $p$-adic logarithms of rational numbers using Pad\'e approximations of the second kind.