Some consequences of Masser’s counting theorem on elliptic curves

We use Masser’s counting theorem to prove a lower bound for the canonical height in powers of elliptic curves. We also prove the Galois case of the elliptic Lehmer problem, combining Kummer theory and Masser’s result with bounds on the rank and torsion of some groups of rational points on an elliptic curve.